Элементы математической логики

Содержание и основные понятия

← Вернуться к оглавлению
Alterna · глава 15
Элементы математической логики
Высказывания, операции, таблицы истинности, логические элементы, транзисторы, Excel — фундамент для ОГЭ №3 и ЕГЭ №2,15.
Математическая логика — язык точных рассуждений. Каждый компьютер работает по законам логики. Здесь вы освоите 6 операций, построите собственные логические схемы в drag-and-drop конструкторе, познакомитесь с транзисторами и узнаете, как логика применяется в Excel. Фундамент для алгебры логики (17/26) и дискретной математики.
ФГОС · 8 класс
ФОП · базовый
ОГЭ №3
ЕГЭ №2,15
15
Страницы главы
5 страниц с теорией, интерактивами и банком заданий.
15.1
Высказывания и операции
Определение высказывания. 6 операций: ∧ ∨ ¬ → ↔ ⊕. Приоритет. Законы де Моргана. Аксиомы алгебры логики. Калькулятор формул.
15.2
Таблицы истинности
Алгоритм построения. Тавтологии, противоречия, выполнимые. Кванторы и предикаты (∃, ∀). Калькулятор формул.
Карты Карно
— визуальная минимизация.
15.3
Логика в Excel
И, ИЛИ, НЕ, ЕСЛИ в табличном редакторе. Интерактивная таблица истинности (3 переменные, выбор формулы). Практические примеры.
15.4
Практикум
Банк 50 заданий: 20 ОГЭ + 20 ЕГЭ №2 + 10 ЕГЭ №15 (предикаты) с пошаговыми разборами. Фильтры, прогресс, Excel-网格.
15.5
Экзамен-полигон
Квест 800 XP + тест 10 минут + развёрнутая задача с эталоном. Дашборд результатов.
16.1
Транзисторные схемы →
Транзистор как ключ, NMOS-логика, полусумматор, умножитель. (Глава 16)
🔗
Связи с другими главами
Глава 14
Системы счисления: XOR — основа двоичного сложения.
Глава 17
Алгебра логики: 9 законов, упрощение, СДНФ/СКНФ.
Глава 25
Схемотехника: AND/OR/NOT реализуются транзисторами.