Яворская Т.Л. - Математическая логика - 1. Логика высказываний

0:00:19 1. Вводное слово к курсу
0:01:06 2. Логика высказываний. Что есть высказывание?
0:05:09 3. Операции над высказываниями: логические и нелогические
0:12:38 4. Примеры логических операций
0:17:37 5. Язык логики высказываний
0:39:18 6. Тавтологии, опровержимые формулы: определения
0:48:17 7. Сколько строк в таблице истинности, если переменных n?
0:51:32 8. Задания на определение тавтологий
0:58:56 9. Эквивалентные формулы. Основные эквивалентности
Ссылки плейлист:
• Математическая логика ...