Математическая логика и теория алгоритмов

Математическая логика и теория алгоритмов
Автор
 
Год
 
Страниц
 
448
ISBN
 
9785769552007
Издатель
 
Академия
Категория
 
Основания математики. Математическая логика. Теория чисел

Содержание:

Резьба по кости в России XVIII - XIX веков

Описание:

Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (В.И.Игошин Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика".

Похожие книги

ЛогикаЛогика
Автор: В. Ф. Асмус
Год: 2010
Математика и логикаМатематика и логика
Автор: А. Пуанкаре, Л. Кутюра
Год: 2010
Логика. УчебникЛогика. Учебник
Автор: В. Ф. Асмус
Год: 2001
Теория смысла и интенсиональная логикаТеория смысла и интенсиональная логика
Автор: И. Б. Микиртумов
Год: 2006