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

Автор: Рахим Давлеткалиев (rakh.im/)
Практические курсы по программированию на русском языке - от первой программы до первой работы → ru.hexlet.io/?utm_source=youtube&utm_medium=link&utm_campaign=description-box
Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для настоящего программиста.
Полезные ссылки:
ru.hexlet.io/blog/categories/education?utm_source=youtube&utm_medium=link&utm_campaign=description-box - Блог Хекслета. Об образовании
ru.hexlet.io/professions?utm_source=youtube&utm_medium=link&utm_campaign=description-box - Освоить профессию программиста на Hexlet (JS-backend, JS-frontend, PHP, Java). Хорошо продуманные, упорядоченные курсы, поддержка ментора и сообщества, 4 реальных проекта в портфолио на github. Сертификат по окончанию курсов.
ru.hexlet.io/projects?utm_source=youtube&utm_medium=link&utm_campaign=description-box - Подробнее о проектах.
ru.hexlet.io/blog/categories/success?utm_source=youtube&utm_medium=link&utm_campaign=description-box - Истории успеха.
Таймкоды:
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 #математическаяЛогика #логика#обучение #программирование

Category : Программирование и IT

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

    0 Comments and 0 replies
icon