знания и навыки

учебная и научная литература

учебники и пособия для вузов

технические науки

естественные науки

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



любовные романы

современные любовные романы

современная зарубежная литература

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

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

журналы

литературные журналы

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

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

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

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

Елена Вячеславовна Зайцева