Все публикации

1:33:15

В. Б. Шехтман – Логики предикатов, лекция 12. Пучки

1:26:04

В. Б. Шехтман – Логики предикатов, лекция 11. Селективные подмодели

1:28:17

В. Б. Шехтман – Логики предикатов, лекция 10. Теорема о полноте

1:27:20

В. Б. Шехтман – Логики предикатов, лекция 9. Предикатные модели Крипке

1:25:06

В. Б. Шехтман – Логики предикатов, лекция 8. Модальная логика предикатов

1:24:14

В. Б. Шехтман – Логики предикатов, лекция 7. Неразрешимость логики предикатов

1:26:53

В. Б. Шехтман – Логики предикатов, лекция 6. Интерполяция и определимость

1:28:35

В. Б. Шехтман – Логики предикатов, лекция 5. Теорема Эрбрана и интерполяция

1:24:10

В. Б. Шехтман – Логики предикатов, лекция 4. Теорема о сколемовской нормальной форме

1:25:12

В. Б. Шехтман – Логики предикатов, лекция 3. Исчисление предикатов с равенством

1:30:08

В. Б. Шехтман – Логики предикатов, лекция 2. Теорема Гёделя о полноте исчисления предикатов

1:30:56

В. Б. Шехтман – Логики предикатов, лекция 1. Исчисление предикатов

1:13:32

Д. Рогозин - Функциональное программирование, семинар 10

1:04:18

С. Кузнецов - Функциональное программирование, лекция 10

1:00:39

С. Кузнецов - Функциональное программирование, лекция 9

1:20:59

Д. Рогозин - Функциональное программирование, семинар 9

0:50:45

Д. Рогозин - Функциональное программирование, семинар 8

1:04:20

С. Кузнецов - Функциональное программирование, лекция 7

1:15:40

Д. Рогозин - Функциональное программирование, семинар 7

1:11:18

С. Кузнецов - Функциональное программирование, лекция 6

1:12:53

Д. Рогозин - Функциональное программирование, семинар 6

0:55:03

С. Кузнецов - Функциональное программирование, лекция 5

1:09:06

Д. Рогозин - Функциональное программирование, семинар 5

1:23:34

Ю. Сыровецкий - Функциональное программирование, семинар 4