Языки и исчисления учебное пособие

Языки и исчисления учебное пособие

В учебном пособии рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Издание включает в себя около 200 задач различной трудности. Предназначено для...

保存先:

書誌詳細
第一著者:	Верещагин, Н. К. (070)
フォーマット:	Книга
主題:	исчисление математическая логика выразимость логика высказывания теория моделей разрешимая теория
オンライン･アクセス:	Перейти к просмотру издания
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Математическая логика учебное пособие
著者:: Бесценный, И. П.

Математическая логика и теория алгоритмов учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий
著者:: Гамова, А. Н.

Классификация счётных моделей полных теорий в 2 частях. Ч.1 монография
著者:: Судоплатов, С. В.

Математическая логика и теория алгоритмов
著者:: Макоха, А. Н., 等
出版事項: (2018)

Математическая логика учебное пособие
著者:: Ткаченко, С. В.

Математическая логика и теория алгоритмов методические указания к самостоятельной работе

Дискретная математика
著者:: Асеев Г. Г., 等

Дискретная математика
著者:: Москинова Г. И.

Математика для гуманитариев
著者:: Грес П. В.

Математика для гуманитариев
著者:: Грес П. В.

Математическая логика и теория алгоритмов учебное пособие
著者:: Маньшин, М. Е.

Лекции по дискретной математике. Математическая логика учебное пособие
著者:: Зарипова, Э. Р.

Классическая и неклассические логики — необходимый компонент науки и современного образования научно-методическое пособие для аспирантов всех специальностей
著者:: Гетманова, А. Д.

Введение в дискретную математику
著者:: Яблонский С. В.

Элементы дискретной математики
著者:: Семенчин Е. А.

Введение в дискретную математику
著者:: Яблонский С. В.

Дискретная математика учебное пособие для спо
著者:: Ганичева А. В.
出版事項: (2023)

Дискретная математика учебное пособие для вузов
著者:: Ганичева А. В.
出版事項: (2024)

Классификация счётных моделей полных теорий в 2 частях. Ч.2 монография
著者:: Судоплатов, С. В.

Эндоморфизмы и универсальные теории разрешимых групп монография
著者:: Тимошенко, Е. И.

Дискретная математика
著者:: Куликов В. В.

Математическая логика и теория алгоритмов учебник
著者:: Горюшкин, А. П.

Информатика и математика учебное пособие для студентов вузов, обучающихся по специальности «юриспруденция» (030501)
著者:: Попов, А. М.

Задачник по математической логике и теории алгоритмов учебное пособие
著者:: Мачикина, Е. П.

Справочная книга по математической логике
著者:: Барвайс Дж, 等

Логика как часть теории познания и научной методологии
著者:: Войшвилло Е. К., 等

Математическая логика
著者:: Лихтарников Л. М., 等

Теория поиска вывода. Происхождение и философские приложения монография
著者:: Брюшинкин В. Н.
出版事項: (2012)

Математическая логика учебное пособие
著者:: Афанасьев, С. Г.

Математическая логика учебное пособие для спо
著者:: Афанасьев, С. Г.

Математическая логика учебное пособие
著者:: Унучек, С. А.

Дискретная математика
著者:: Куликов В. В.

Логика учебник
著者:: Малыхина, Г. И.

Математическая логика и теория алгоритмов учебное пособие
著者:: Вайнштейн, Ю. В.

Математическая логика и теория алгоритмов учебное пособие
著者:: Балюкевич, Э. Л.

Квазиматричная (квазифункциональная) логика
著者:: Ивлев Ю. В.

Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений учебное пособие
著者:: Грес, П. В.

Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений учебное пособие
著者:: Грес, П. В.

Математика для инженеров учебник для вузов
著者:: Ганичева А. В.
出版事項: (2024)

Математическая лингвистика и автоматическая обработка текстов на естественном языке учебное пособие
著者:: Батура, Т. В.