Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Курс математической логики и теории вычислимости

Main
Курс математической логики и теории...

Курс математической логики и теории вычислимости

Александр Сергеевич Герасимов

0 / 3.0

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Пособие предназначено для студентов, специализирующихся по информатике, а также всех тех, кто желает начать систематическое изучение математической логики

Том:

1

Рік:

2011

Видання:

3

Видавництво:

Лема

Мова:

russian

Сторінки:

284

ISBN 10:

5987092922

ISBN 13:

9785987092927

Файл:

PDF, 2.39 MB

IPFS:

,

russian, 2011

Читати Онлайн

Виконується конвертація в

Конвертація в не вдалась

Можливо вас зацікавить

Колмогоров А.Н., Драгалин А.Г. — Введение в математическую логику

Плиско В.Е., Хаханян В.Х. — Интуиционистская логика

А.Н. Макоха, А.В. Шапошников, В.В. Бережной. — Математическая логика и теория алгоритмов.

коллектив авторов — Математическая логика и теория алгоритмов: учебное пособие. Специальность 10.05.01 – Компьютерная безопасность. Специализация «Математические методы защиты информации». Квалификация выпускника – специалист

Братчиков И.Л. — Конспект лекций «Математическая логика и теория алгоритмов»

Михайлов А.Б., Рыжова Н.И., Швецкий М.В. — Упражнения по основам математической логики. Формальные системы первого порядка

Блатов И. А., Старожилова О. В. — Математическая логика и теория алгоритмов: Учебное пособие

Гладкий А.В. — Математическая логика

Гуц А.К. — Математическая логика и теория алгоритмов

Косовский Н. К. — Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: Учеб. пособие.

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Клини С.К.(Kleene S.C.) — Математическая логика

Глухов М.М., Шишков А.Б. — Математическая логика. Дискретные функции. Теория алгоритмов

Галуев Г.А. — Математическая логика и теория алгоритмов

Журавлев Ю.И., Флеров Ю.А., Вялый М.Н. — Дискретный анализ. Формальные системы и алгоритмы

Семичевская Н.П. — Дискретная математика (ИУС)

Набебин А.А., Кораблин Ю.П. — Математическая логика и теория алгоритмов

Фролов И.С. — Элементы математической логики

Маркин П.М. — Математическая логика

Волосевич А.А. — Теория алгоритмов

Замятин А.П. — Математическая логика и теория алгоритмов

Макоха А. Н., Шапошников А. В., Бережной В. В. — Математическая логика и теория алгоритмов

Блатов И. А. — Конспект лекций по учебной дисциплине «Математическая логика и теория алгоритмов»

Михайлов А.Б., Швецкий М.В — Лекции по основам математической логики. Формальные системы первого порядка

Блатов И. А. — Математическая логика и теория алгоритмов (240,00 руб.)

Плиско В.Е. — Математическая логика. Курс лекций

Плиско В.Е., Хаханян В.Х. — Интуиционистская логика.

Макоха А.Н., Шапошников А.В., Бережной В.В. — Математическая логика и теория алгоритмов

Зюзьков В. М. — Математическое введение в декларативное программирование. Учебное пособие

Терехов Д.В., Куценко Д.А. — Математическая логика и теория алгоритмов. Уч.пособ

Волохович А.В. — Основные понятия и методы теории формальных систем: Методические указания к изучению курса ''Дискретная математика'' и решению задач

Зюзысов В.М. — Математическое введение в декларативное программирование: Учебное пособие

Блатов И.А., Старожилова О.В. — Математическая логика и теория алгоритмов

Тейз А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф. — Логический подход к искусственному интеллекту: от классической логики к логическому программированию

Ключові фрази

множество

множества

исчисления

упражнение

вычислимости

существует

называется

исчислении

определение

тьюринга

математической

алгоритм

дизъюнктов

секвенции

предикатов

интерпретации

герасимов

исчисление

доказательства

переменных

множеств

соответственно

переменной

высказываний

докажите

качестве

переменная

программы

доказательство