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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Добавлена страница математической логики)
 
м (О курсе)
Строка 1: Строка 1:
 
== О курсе ==
 
== О курсе ==
  
Курс для студентов 2 курса в 3-4 модулях.
+
Курс для студентов 2 курса в 1-2 модулях.
  
 
'''Лектор:''' Дашков Евгений Владимирович
 
'''Лектор:''' Дашков Евгений Владимирович
Строка 24: Строка 24:
 
=== Полезные ссылки ===
 
=== Полезные ссылки ===
  
Телеграм-чат курса:  
+
Телеграм-чат курса:
  
 
== План курса ==
 
== План курса ==

Версия 13:04, 7 сентября 2021

О курсе

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

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


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

Группа Преподаватель Учебный ассистент classroom Чат в телеграм Консультации
1 Оноприенко Анастасия Александровна Василевская Юлия
2 Дашков Евгений Владимирович Лямзин Алексей
3 Оноприенко Анастасия Александровна Березовский Валерий
4 Запрягаев Александр Александрович Шитов Александр

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

Телеграм-чат курса:

План курса

Лекции

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

Коллоквиум

Экзамен

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

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

ДЗ –– средняя оценка за домашние задания

КР –– оценка за коллоквиум Э –– письменный экзамен.

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

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

Литература