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

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

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

Fuld beskrivelse

Сохранить в:

Bibliografiske detaljer
Hovedforfatter:	Верещагин, Н. К. (070)
Format:	Книга
Fag:	исчисление математическая логика выразимость логика высказывания теория моделей разрешимая теория
Online adgang:	Перейти к просмотру издания
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

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

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

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

Математическая логика и теория алгоритмов
af: Макоха, А. Н., и др.
Udgivet: (2018)

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

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

Дискретная математика
af: Асеев Г. Г., и др.

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

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

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

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

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

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

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

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

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

Дискретная математика учебное пособие для спо
af: Ганичева А. В.
Udgivet: (2023)

Дискретная математика учебное пособие для вузов
af: Ганичева А. В.
Udgivet: (2024)

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

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

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

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

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

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

Справочная книга по математической логике
af: Барвайс Дж, и др.

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

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

Теория поиска вывода. Происхождение и философские приложения монография
af: Брюшинкин В. Н.
Udgivet: (2012)

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

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

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

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

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

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

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

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

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

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

Математика для инженеров учебник для вузов
af: Ганичева А. В.
Udgivet: (2024)

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