Математическая логика — различия между версиями
Материал из Wiki - Факультет компьютерных наук
| Строка 53: | Строка 53: | ||
== Литература == | == Литература == | ||
| + | |||
| + | 1. Н.К. Верещагин, А. Шень. [https://www.mccme.ru/free-books/shen/shen-logic-part3-5ed.pdf Вычислимые функции]. М.:МЦНМО, 2017. | ||
| + | |||
| + | 2. Н.К. Верещагин, А. Шень. [https://www.mccme.ru/free-books/shen/shen-logic-part2-5ed.pdf Языки и исчисления]. М.:МЦНМО, 2017. | ||
| + | |||
| + | 3. Ч. Чень, Р. Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983. | ||
Версия 17:28, 7 сентября 2021
Содержание
О курсе
Курс для студентов 2 курса в 1-2 модулях.
Лектор: Дашков Евгений Владимирович
Семинаристы:
| Группа | Преподаватель | Учебный ассистент | classroom | Чат в телеграм | Консультации |
|---|---|---|---|---|---|
| 1 | Оноприенко Анастасия Александровна | Василевская Юлия | g6m5meu | ||
| 2 | Дашков Евгений Владимирович | Лямзин Алексей | |||
| 3 | Оноприенко Анастасия Александровна | Березовский Валерий | |||
| 4 | Запрягаев Александр Александрович Telegram | Шитов Александр | 3zbutmx | Группа 4 | онлайн, по договорённости в Telegram |
Полезные ссылки
Телеграм-чат курса: https://t.me/joinchat/M0dUGBBjmuJAEs3JmWbU2A
План курса
Лекции
Домашние задания
Коллоквиум
Экзамен
Итоговая оценка за курс
Итог = Округление(min(10, 0.3 * ДЗ + 0.35 * К + 0.35 * Э))
ДЗ –– средняя оценка за домашние задания
К –– оценка за коллоквиум Э –– письменный экзамен.
Округление арифметическое.
Автоматы не предусмотрены.
Литература
1. Н.К. Верещагин, А. Шень. Вычислимые функции. М.:МЦНМО, 2017.
2. Н.К. Верещагин, А. Шень. Языки и исчисления. М.:МЦНМО, 2017.
3. Ч. Чень, Р. Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.
