Прикладная логика. Николай Николаевич Непейвода

Описание

Учебник «Прикладная логика» Н. Н. Непейводы является простейшим введением в язык современной математической логики. Рекомендован Государственным комитетом Российской Федерации по высшему образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальностям «Математика», «Прикладная математика», «Лингвистика», «Философия» и «Психология».

Также рекомендуем ознакомиться с тренингом по логическому мышлению на нашем сайте.

Краткое содержание

Книга дает подробное и комплексное описание такой отрасли как прикладная логика, логического аппарата, систематически используемого для решения конкретных практических задач. Отдельные разделы посвящены характеристике следующих важных аспектов:

• язык математики (простейшие высказывания, логические формулы, базовые математические понятия);
• классическая логика (индукция, синтаксис логического языка, семантика, естественный вывод);
• введение в неклассические логики (интуиционистская логика, семантики Крипке, проблема отрицания).

Об авторе

Непейвода Николай Николаевич (род. 1949) – доктор физико-математических наук, профессор, российский учёный в области теоретической информатики и математической логики, преподаватель Удмуртского государственного университета. Окончил механико-математический факультет МГУ. Активно работает над разработкой учебной программы по фундаментальным основам информатики. Автор более 150 печатных трудов.