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

Читать книгу Математическая логика полностью онлайн бесплатно без регистрации и сокращений.

Жанр: логика, математика, учебники и пособия для вузов.

Автор книги: В. Л. Матросов, М. С. Мирзоев

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

Про что книга

В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы.

Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям.

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

Читать онлайн Математическая логика полностью без сокращений


Читать Купить книгу


admin
Оцените автора
( Пока оценок нет )
Онлайн
Добавить комментарий