Автор: Е. В. Зайцева

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

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

Е. В. Зайцева

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

Формальные системы. Практикум

Е. В. Зайцева

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

Формальные системы

Е. В. Зайцева

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

Промышленные логистические системы

Е. В. Зайцева

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

Оставайтесь на связи

Будьте в курсе новостей о выходящих книгах, подпишитесь на нашу еженедельную рассылку:
© 2011-2024. Your Lib. All Rights Reserved.