Введение в логику, урок 2: Представление функций

Автор: Рахим Давлеткалиев () Практические курсы по программированию на русском языке - от первой программы до первой работы → Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для настоящего программиста. Полезные ссылки: - Блог Хекслета. Об образовании - Освоить профессию программиста на Hexlet (JS-backend, JS-frontend, PHP, Java). Хорошо продуманные, упорядоченные курсы, поддержка ментора и сообщества, 4 реальных проекта в портфолио на github. Сертификат по окончанию курсов. - Подробнее о проектах. - Истории успеха. Таймкоды: 0:00 Приветствие 0:45 Функция f 1:58 Функция g0 3:47 Функция g1 4:22 Функция h 6:18 Примеры значений 7:36 ДНФ 7:53 Функция f=0 8:56 КНФ 10:50 Другие параметры 12:28 Теорема 1.2 13:06 Теорема 1.3 14:20 Доказательство 15:12 Базис Жегалкина 16:20 Пример: выражение импликации в базисе Жегалкина 17:30 Обратная задача 18:30 Требование: транзитивность 20:28 Домашнее задание #IT #математическаяЛогика #логика#обучение #программирование