Математическая логика — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
Строка 12: Строка 12:
 
! Группа !! Преподаватель !! Учебный ассистент || classroom || Чат в телеграм || Консультации
 
! Группа !! Преподаватель !! Учебный ассистент || classroom || Чат в телеграм || Консультации
 
|-
 
|-
| 1 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] || [https://t.me/vslvskyy Василевская Юлия] || g6m5meu |https://t.me/joinchat/4JVat0ZcnuY4YjUy|  
+
| 1 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] || [https://t.me/vslvskyy Василевская Юлия] || g6m5meu || https://t.me/joinchat/4JVat0ZcnuY4YjUy || онлайн, по договорённости в Telegram
|онлайн, по договорённости в Telegram|
+
 
|-
 
|-
 
| 2 || Дашков Евгений Владимирович || Лямзин Алексей || ||  ||  
 
| 2 || Дашков Евгений Владимирович || Лямзин Алексей || ||  ||  
 
|-
 
|-
| 3 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] || Березовский Валерий  || |https://t.me/joinchat/4JVat0ZcnuY4YjUy|  |онлайн, по договорённости в Telegram|  
+
| 3 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] || Березовский Валерий  || ||  ||  
 
|-
 
|-
 
| 4 || [https://www.hse.ru/org/persons/218355200 Запрягаев Александр Александрович] [https://t.me/azapryagaev Telegram] || [https://t.me/AtgshkaSan Шитов Александр] || 3zbutmx  || [https://t.me/joinchat/OEXzV66uIoEwYjQy Группа 4] || онлайн, по договорённости в Telegram
 
| 4 || [https://www.hse.ru/org/persons/218355200 Запрягаев Александр Александрович] [https://t.me/azapryagaev Telegram] || [https://t.me/AtgshkaSan Шитов Александр] || 3zbutmx  || [https://t.me/joinchat/OEXzV66uIoEwYjQy Группа 4] || онлайн, по договорённости в Telegram

Версия 18:14, 7 сентября 2021

О курсе

Курс для студентов 2 курса в 1-2 модулях.

Лектор: Дашков Евгений Владимирович


Семинаристы:

Группа Преподаватель Учебный ассистент classroom Чат в телеграм Консультации
1 Оноприенко Анастасия Александровна Василевская Юлия g6m5meu https://t.me/joinchat/4JVat0ZcnuY4YjUy онлайн, по договорённости в Telegram
2 Дашков Евгений Владимирович Лямзин Алексей
3 Оноприенко Анастасия Александровна Березовский Валерий
4 Запрягаев Александр Александрович Telegram Шитов Александр 3zbutmx Группа 4 онлайн, по договорённости в Telegram

Полезные ссылки

Телеграм-чат курса: https://t.me/joinchat/M0dUGBBjmuJAEs3JmWbU2A

План курса

Лекции

Лекции по вычислимости

Семинары

Листки с задачами для семинаров

Листок 1

Домашние задания

Коллоквиум

Экзамен

Итоговая оценка за курс

Итог = Округление(min(10, 0.3 * ДЗ + 0.35 * К + 0.35 * Э))

  • ДЗ –– средняя оценка за домашние задания
  • К –– оценка за коллоквиум
  • Э –– письменный экзамен

Округление арифметическое.

Автоматы не предусмотрены.

Ресурсы

Литература

1. Н.К. Верещагин, А. Шень. Вычислимые функции. М.:МЦНМО, 2017.

2. Н.К. Верещагин, А. Шень. Языки и исчисления. М.:МЦНМО, 2017.

3. Ч. Чень, Р. Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.