Матлог 9. Формулы с кванторами. Языки I-го порядка.

05:00 - как строятся формулы; 08:36 - сигнатура; 15:07 - алфавит; 20:15 - термы; 30:13 - интерпретация и оценка; 36:09 - определение значения терма при заданных интерпретации и оценке; 41:41 - определение истинности формулы; 55:53 - параметры терма/формулы; 1:02:36 - теорема об истинности формулы; 1:06:37 - общезначимая формула. Лектор: Мусатов Даниил Владимирович Съемка: Алена Быкова Монтаж: Алексей Попов