прошлый семестр
11.02.2013 \2нед\ 1-2 лекции
аудиозапись + пдф + ртф
скачать (rar архив):
версия для Notability:
часть 2 - https://www.box.com/s/qwxfw8fo766099s67zlk
презентация, как дополнение: http://www.ai.mit.edu/courses/6.863/lecture1.pdf
18.02.2013 \3нед\ 3 лекция
-coming soon-
25.02.2013 \4нед\ 4 лекция
-coming soon-
презентация, как дополнение: http://www.ai.mit.edu/courses/6.863/lecture1.pdf
18.02.2013 \3нед\ 3 лекция
-coming soon-
25.02.2013 \4нед\ 4 лекция
-coming soon-
12.02.2013 \2нед\ 1-2 лекции
аудиозапись + пдф + ртф
скачать (rar архив) - https://www.box.com/s/thu486kmq65ltyc8iqfdскачать (zip архив) - https://www.box.com/s/sobrhqlnbp0edbr3zwil
версия для Notability - https://www.box.com/s/3mhheg4oopt3jbopf9kr
задание к занятию 19го февраля (файл .docx)
19.02.2013 \3нед\ 3-4 лекции
аудиозапись + пдф + ртф
скачать (rar архив) -
скачать (zip архив) -
версия для Notability -
26.02.2013 \4нед\ 5-6 лекции
аудиозапись + пдф + ртф
скачать (rar архив) - https://www.box.com/s/8llwbzo2e1r85skj4ccl
скачать (zip архив) - https://www.box.com/s/505nhqk5iy6w274ordlc
версия для Notability - https://www.box.com/s/a6zl2sqgo29fmorr6yu7
Что надо на экзамен: из лекций выбрать любую тему и написать её
Экзамен состоится 18.01 (ПТ) в 11:00 в аудитории B 404
Уже взяли: алгебраически замкнутые поля,
теорему о дедукции для ИВ,
частичные порядки,
построение логических исчислений,
линейные порядки,
алгебраические поля,
теорема цермело,
синтаксис, построение логических исчислений
(можно и повторяться, но зачем? =))
теорему о дедукции для ИВ,
частичные порядки,
построение логических исчислений,
линейные порядки,
алгебраические поля,
теорема цермело,
синтаксис, построение логических исчислений
(можно и повторяться, но зачем? =))
Лекции в пдф тут -> для просмотра необходимо войти в мыло группы