В.Б.Шехтман 'Введение в теорию моделей'. Лекция 4

preview_player
Показать описание
Осенний курс 2023 года "Введение в теорию моделей", читаемый на факультете математики Валентином Борисовичем Шехтманом
  1. Логика в Москве
Рекомендации по теме
В.Б.Шехтман 'Введение в 1:15:47

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 1

Шехтман В. Б. 1:29:23

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Эквивалентность моделей...

Шехтман В. Б. 1:28:15

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теории и модели...

В.Б.Шехтман 'Введение в 1:24:18

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 4

Шехтман В. Б. 1:33:30

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Нормальные модели...

В.Б.Шехтман 'Введение в 1:16:18

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 5

В.Б.Шехтман 'Введение в 1:23:01

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 7

В.Б.Шехтман 'Введение в 1:19:32

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 3

В.Б.Шехтман 'Введение в 1:03:26

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 2

Шехтман В. Б. 1:35:47

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теория алгоритмов...

В.Б.Шехтман 'Введение в 1:20:42

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 6

В.Б.Шехтман 'Введение в 0:40:01

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 9. Часть 2...

В.Б.Шехтман 'Введение в 0:36:39

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 9. Часть 1...

Шехтман В. Б. 1:30:00

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теория множеств Цермело...

В.Б.Шехтман 'Введение в 1:24:34

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 14

В.Б.Шехтман 'Введение в 1:21:26

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 11

В.Б.Шехтман 'Введение в 1:19:16

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 10

Шехтман В. Б. 1:25:59

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Оценки. Булевы функции...

Шехтман В. Б. 1:27:39

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Модальная логика 1...

В.Б.Шехтман 'Введение в 1:16:16

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 13

Шехтман В. Б. 1:28:17

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Система аксиом...

Шехтман В. Б. 1:31:51

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Преобразование формул...

Шехтман В. Б. 1:29:30

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логика предикатов...

В.Б.Шехтман 'Введение в 1:19:18

В.Б.Шехтман 'Введение в теорию моделей'. Лекция 12