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

Автор(ы)

Матросов В.Л, Мирзоев М.С

Год

2020

Издательство

Прометей

Язык

rus

ISBN

978-5-907244-03-0

Библиографическая ссылка

М.: Прометей, 2020. — 228 с.

Теги

Компьютеры и информационные технологии Математика Программирование физика

Аннотация

Математическая логика Год издания : 2020 Автор : Матросов В.Л., Мирзоев М.С. Жанр или тематика : математическая логика Издательство : Прометей ISBN : 978-5-907244-03-0 Язык : Русский Формат : PDF Качество : Издательский макет или текст (eBook) Интерактивное оглавление : Да Количество страниц : 229 Описание : В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей «Информатика и математика», «Физика и информатика», «Технология и информатика», «Математика и информатика», «Прикладная информатика». Может быть полезен широкому кругу читателей, интересующихся основами математической логики. Примеры страниц Оглавление