Математическая логика и теория алгоритмов (Елена Вячеславовна Зайцева) - скачать книгу в FB2, EPUB, PDF на Bookz
bannerbanner
Математическая логика и теория алгоритмов (Елена Вячеславовна Зайцева)
Математическая логика и теория алгоритмов
Оценить:
Математическая логика и теория алгоритмов

4

Поделиться

Описание аудиокниги:

Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики. Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».

Другие книги автора

Все книги
img
Формальные системы
Елена Вячеславовна Зайцева
img
Формальные системы. Практикум
Елена Вячеславовна Зайцева
img
Промышленные логистические системы
Елена Вячеславовна Зайцева
Спасибо за оценку! Будем признательны, если Вы оставите комментарий о данном произведении.

Добавить отзыв:

bannerbanner