Практикум по предикатам
[+]
Московский государственный гуманитарный университет имени М.А. Шолохова
Опубликован: 04.04.2015 | Доступ: свободный | Студентов: 304 / 0
Темы: Алгоритмы и дискретные структуры, Математика
Специальности: Программист, Архитектор программного обеспечения, Математик
Лекция 1:

Формальные системы. Свойства, интерпретация, моделирование
Лекция 1
Аннотация: Лекция посвящена формальным системам (ФС). Дается строгое определение ФС, приводятся примеры, рассматриваются свойства ФС.

Дальше >>
Лекция 1

Вопросы и ответы

вопросов: 1
Егор Шишебаров
Егор Шишебаров
Здравствуйте! Материалов курса нет, когда можно будет изучить курс?
ответить