filmov
tv
В. Б. Шехтман - Алгебраическая логика, лекция 1. Алгебры, морфизмы, конгруэнции.
Показать описание
Темы первой лекции: алгебры и их морфизмы, подалгебры, изоморфизм алгебр, конгруэнции, теорема о гомоморфизме.
Таймкоды:
00:00 - Вводная часть
5:49 - Определения сигнатуры и алгебры
16:30 - Определение морфизма алгебр
19:59 - Свойства морфизмов, изоморфизм алгебры
32:52 - Понятие подалгебры
41:36 - Предложение о соотношении подалгебры и морфизмов
49:26 - Понятие конгруэнции
53:42 - Понятие фактор-алгебры
1:02:14 - Лемма о ядерной конгруэнции
1:06:30 - Теорема о гомоморфизме
1:14:57 - Лемма о соотношении морфизмов с каноническим морфизмом
1:19:20 - Формулировка теоремы о соответствии и вопросы слушателей
Таймкоды:
00:00 - Вводная часть
5:49 - Определения сигнатуры и алгебры
16:30 - Определение морфизма алгебр
19:59 - Свойства морфизмов, изоморфизм алгебры
32:52 - Понятие подалгебры
41:36 - Предложение о соотношении подалгебры и морфизмов
49:26 - Понятие конгруэнции
53:42 - Понятие фактор-алгебры
1:02:14 - Лемма о ядерной конгруэнции
1:06:30 - Теорема о гомоморфизме
1:14:57 - Лемма о соотношении морфизмов с каноническим морфизмом
1:19:20 - Формулировка теоремы о соответствии и вопросы слушателей
1:30:18
1:30:46
1:29:14
1:32:23
1:33:15
1:26:50
1:30:17
1:29:22
1:23:56
1:20:30
1:33:00
1:31:08
1:31:08
1:26:36
0:30:11
1:20:42
1:27:47
1:32:15
1:29:03
1:41:27
1:36:07
1:40:07
1:35:06
1:30:59