Основной контент книги Математическая логика
Текст PDF

Объем 229 страниц

2020 год

0+

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

450 ₽

О книге

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

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

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

Войдите, чтобы оценить книгу и оставить отзыв
Книга В. Л. Матросова, М. С. Мирзоева «Математическая логика» — скачать в pdf или читать онлайн. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Возрастное ограничение:
0+
Дата выхода на Литрес:
03 февраля 2020
Дата написания:
2020
Объем:
229 стр.
ISBN:
978-5-907244-03-0
Общий размер:
3.5 МБ
Общее кол-во страниц:
229
Правообладатель:
Прометей
Формат скачивания:
Текст PDF
Средний рейтинг 5 на основе 1 оценок
Аудио
Средний рейтинг 4,6 на основе 5 оценок
По подписке
Текст PDF
Средний рейтинг 4,2 на основе 14 оценок
Текст PDF
Средний рейтинг 0 на основе 0 оценок
Текст PDF
Средний рейтинг 5 на основе 3 оценок
По подписке
Текст PDF
Средний рейтинг 0 на основе 0 оценок
По подписке