1. Введение в формальные системы

00:00 - причины формализмов 03:50 - про меры и веса 08:10 - язык медицины и юриспруденции 09:56 - появление спецсимволов в математике 12:53 - необходимость формализации логики 14:40 - построение простейшего формализма 20:10 - определение грамматики 25:10 - интерпретация формализма высказываний 26:50 - аксиоматика 30:47 - таблицы истинности 36:42 - формальная теория равенства 40:20 - взаимозаменяемость переменных 43:52 - модели теории равенства 46:50 - равенство как разрешающая способность языка Обсуждаем понятие формального языка, грамматики, формальной теории. 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: