Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.
Регистрация
Вход
Электронный адрес:
*
Пароль:
*
Забыли пароль?
Запомнить меня
Авторизоваться
Зайти как гость
Твой путь к знаниям!
Учеба
Академии
Учителя
Рейтинг
Вопросы
Магазин
Сведения об образовательной организации
Новости
Помощь
О проекте
Курсы
Школа
Мини-МБА
Профессиональная переподготовка
Повышение квалификации
Сертификации
О курсе
Информация
Глоссарий
Дипломы
Вопросы и ответы
Студенты
Рейтинг выпускников
Мнения
Курс на Altube
Учебные программы
План занятий
Лекция 1
Лекция 2
Лекция 3
Лекция 4
Лекция 5
Лекция 6
Лекция 7
Лекция 8
Экзамен
Вы можете
поддержать
этот курс.
Практикум по предикатам
[+]
Московский государственный гуманитарный университет имени М.А. Шолохова
Опубликован:
04.04.2015
| Доступ:
свободный
| Студентов:
306
/
0
Темы:
Алгоритмы и дискретные структуры
,
Математика
Специальности:
Программист
,
Архитектор программного обеспечения
,
Математик
Записаться
|
Вам нравится?
|
Поделиться
|
Поддержать курс
|
Скачать видеокурс (mp4)
Лекция 1:
Формальные системы. Свойства, интерпретация, моделирование
Лекция 1
Аннотация:
Лекция посвящена формальным системам (ФС). Дается строгое определение ФС, приводятся примеры, рассматриваются свойства ФС.
Дальше >>
Лекция 1
Вопросы и ответы
вопросов: 1
Егор Шишебаров
Здравствуйте! Материалов курса нет, когда можно будет изучить курс?
ответить
