Яворская Т.Л. - Математическая логика - 4. Логика I порядка. Синтаксис и семантика

0:00:19 1. Сигнатура. Структура сигнатуры. 0:07:56 2. Пример 1 0:10:38 3. Язык сигнатуры Σ 0:22:53 4. Пример 1 (продолжение решения) 0:27:52 5. Пример 2 0:43:03 6. Пример 3 0:53:52 7. Пример 4 1:06:33 8. Пример 5 Ссылки плейлист: