🎯 Загружено автоматически через бота: 🚫 Оригинал видео: 📺 Данное видео является собственностью канала Лекторий ФПМИ. Оно представлено в нашем сообществе исключительно в информационных, научных, образовательных или культурных целях. Наше сообщество не утверждает никаких прав на данное видео. Пожалуйста, поддержите автора, посетив его оригинальный канал: @lectory_fpmi. ✉️ Если у вас есть претензии к авторским правам на данное видео, пожалуйста, свяжитесь с нами по почте support@, и мы немедленно удалим его. 📃 Оригинальное описание: 00:00:00 - Языки первого порядка 00:09:29 - Построение формул 00:16:56 - Примеры символов разных валентностей 00:24:30 - Конструкция термов 00:32:21 - Атомарная формула 00:34:49 - Формула 00:41:20 - Свободные и связанные вхождения переменных 00:49:28 - Множество параметров, интерпретация, оценка 01:04:37 - Какие значения принимает формула Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Карплюк Ксения Монтажёр: Сиомаш Иван Плейлист:
Hide player controls
Hide resume playing