Е. В. Зайцева
Скачать бесплатно все книги автора в электронных форматах pdf, fb2, epub, mobi и др. или читать онлайн, а также в формате аудиокниг, которые можно также прослушать онлайн или скачать в формате mp3 бесплатно.
-
Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. -
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикат -
Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализова