Содержание

Входной контроль

Раздел 1. Основы логики

• Основные понятия
• Из истории возникновения логики
• Формы мышления
• Итоговый тест к ""

Раздел 2. Алгебра высказываний

• Входной тест к ""
• Логическое высказывание
• Высказывательная форма
• Логические связки:
• логическое отрицание (инверсия)
• логическое умножение (конъюнкция)
• логическое сложение (дизъюнкция)
• логическое следование (импликация)
• логическое равенство (эквивалентность)
• Логические выражения, правила составления логических выражений

• Самостоятельная работа "Логические высказывания"   

• Составление таблиц истинности для логических высказываний нескольких переменных

• Практикум №1 "Составление таблиц истинности для логических высказываний нескольких переменных"
• Итоговый контроль к ""

Раздел 3. Логические законы и правила преобразований логических выражений

• Входной тест к ""
• Логические функции двух переменных
• Равносильные логические выражения
• Правила преобразования логических выражений с помощью законов логики
• Практикум №2 "Решение логических задач"
• Итоговый тест к ""

Раздел 4. Логические основы устройства компьютера

• Входной тест к ""
• Базовые логические элементы компьютера
• Сумматор двоичных чисел
• Триггер
• Построение логических схем
• Практикум №3 "Построение логических схем"
• История докомпьютерной эпохи
• Итоговый тест к разделу ""

Итоговая контрольная работа

Литература

Словарь основных понятий и терминов