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

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

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

Cur síos iomlán

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Верещагин, Н. К. (070)
Formáid:	Книга
Ábhair:	исчисление математическая логика выразимость логика высказывания теория моделей разрешимая теория
Rochtain ar líne:	Перейти к просмотру издания
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

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

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

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

Математическая логика и теория алгоритмов
de réir: Макоха, А. Н., et al.
Foilsithe / Cruthaithe: (2018)

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

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

Дискретная математика
de réir: Асеев Г. Г., et al.

Дискретная математика
de réir: Москинова Г. И.

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

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

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

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

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

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

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

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

Дискретная математика учебное пособие для спо
de réir: Ганичева А. В.
Foilsithe / Cruthaithe: (2023)

Дискретная математика учебное пособие для вузов
de réir: Ганичева А. В.
Foilsithe / Cruthaithe: (2024)

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

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

Дискретная математика
de réir: Куликов В. В.

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

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

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

Справочная книга по математической логике
de réir: Барвайс Дж, et al.

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

Математическая логика
de réir: Лихтарников Л. М., et al.

Теория поиска вывода. Происхождение и философские приложения монография
de réir: Брюшинкин В. Н.
Foilsithe / Cruthaithe: (2012)

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

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

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

Дискретная математика
de réir: Куликов В. В.

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

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

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

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

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

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

Математика для инженеров учебник для вузов
de réir: Ганичева А. В.
Foilsithe / Cruthaithe: (2024)

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