Автор: Рахим Давлеткалиев ()
Практические курсы по программированию на русском языке - от первой программы до первой работы →
Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для настоящего программиста.
Полезные ссылки:
- Блог Хекслета. Об образовании
- Освоить профессию программиста на Hexlet (JS-backend, JS-frontend, PHP, Java). Хорошо продуманные, упорядоченные курсы, поддержка ментора и сообщества, 4 реальных проекта в портфолио на github. Сертификат по окончанию курсов.
- Подробнее о проектах.
- Истории успеха.
Таймкоды:
0:00 Приветствие
1:00 Теорема 1.4 и её доказательство
4:44 Система математических доказательств
5:09 Предложения
7:30 Пример: дедукция
8:05 Аксиомы
10:05 Пример
16:30 Правила вывода
17:05 Математический аппарат
18:40 5 утверждений
20:00 Теорема Евклида
21:40 Три варианта действий
22:50 Система аксиом
24:50 Плоскость Фано
25:47 Упражнение
27:24 Что такое полная аксиома
29:10 Определение модели
30:50 Истинность и правила вывода
32:05 Противоречивость
32:50 Доказательство
#IT #математическаяЛогика #логика#обучение #программирование
2 views
16
3
1 week ago 00:31:00 1
ПЕРЕСТАНЬТЕ ТРАТИТЬ ВРЕМЯ – СОСРЕДОТОЧЬТЕСЬ НА СЕБЕ | Мотивация Невилла Годдарда
1 week ago 00:04:15 1
Простые продукты, которые УБЬЮТ здоровье! / Чего НЕ должно быть в вашем рационе?
2 weeks ago 01:35:01 1
Почему питерские рабочие поддержали Октябрь? / Егор Мишин и Егор Яковлев
2 weeks ago 00:37:26 1
Fullstack-разработчица | Рынок труда в 2024 году | Перспективы IT в Казахстане
3 weeks ago 00:00:00 25
Медитация принятия своего одиночества. Игумен Евмений
3 weeks ago 00:01:01 1
ПРИГЛАШАЕМ НА ВОЛШЕБНОЕ ОБУЧЕНИЕ.. ВСПОМИНАНИЕ ЧЕРЕЗ ПРИНЯТИЯ ..ЗАКОНА ЗАКОНОДАТЕЛЯ НЕБЕСНОГО
3 weeks ago 01:05:30 1
СЕКРЕТЫ ИНВЕСТИЦИЙ: 85% доходности - Дмитрий Донецкий о доверительном управлении и аналитике
3 weeks ago 00:48:07 1
Топология в Blender с Нуля. 20+ упражнений.
3 weeks ago 00:00:05 1
Всенародно любимым День народного единства так и не стал - пожаловалась Канделаки #хопорт #новости
3 weeks ago 00:11:44 1
Эминем в зале славы рок-н-ролла
4 weeks ago 00:03:47 1
Саморазвитие и построение новой реальности: шаги к личностному росту
4 weeks ago 00:22:53 1
Почему “Южный Парк“ — Это Культовый Сериал? Николай Жаринов про South Park
1 month ago 00:35:00 1
Вы не Поверите, Что Эти Жесты Рукой Делают с Вашим Мозгом - Мост к секретному коду. Часть 2
1 month ago 00:21:02 1
История Культуры №13: Культура России XVIII века
1 month ago 01:01:43 1
Бои в Курской области: тактика ВСУ | Юрий Кнутов
1 month ago 00:16:57 6
Танк Т-80 против большой колонны УКРАИНСКОЙ техники. Реальный бой
1 month ago 00:42:34 1
Почему у вас НЕТ пробуждения? Работающие ключи!
1 month ago 01:44:16 1
#723 Апостол Пётр. Прямой эфир с фантомом воплощённого Духа. Цикл 12 апостолов, 5 серия
1 month ago 00:04:24 1
ИГРА ЗА СОЛДАТА В MVM ДЛЯ НАЧИНАЮЩИХ [TF2]
1 month ago 00:02:24 1
Американские СМИ сообщили какие страны выступают против принятия Украины в НАТО
1 month ago 00:50:57 1
Борьба с мигрантами после «Крокуса», закрытие границ, ввод виз: что предлагают власти
1 month ago 00:07:45 1
ТАК выглядит ПРАВИЛЬНЫЙ ОБЕД // Что есть на обед? #докторжимба
1 month ago 00:36:02 1
Еда. Опасный элемент. Фильм Аркадия Мамонтова
1 month ago 03:06:59 1
Алистер Кроули МАГИЯ В ТЕОРИИ И НА ПРАКТИКЕ Часть первая