Онлайн курс на платформе Moodle:
Алгебра Логики
Что такое алгебра логики?
Основные функции. Базис Буля
Обозначения логических элементов
Способы задания функции
Аксиомы
Свойства
Таблица истинности для основных функций
Приоритет операций. Пример Функции
Таблица истинности
Законы Булевой алгебры
Законы Булевой алгебры
Базис. Примеры базисов.
Нормальные формы представления булевых функций
Нормальные формы представления булевых функций
Нормальные формы представления булевых функций
Нормальные формы представления булевых функций
Приведение функции к нормальной форме
Основы Логики Высказываний
Основные понятия
Основные понятия
Пример 1
Пример 2
Пример 3
Пример 4
Пример 5
Построение силлогизмов
Схемы рассуждения
Схемы рассуждения
Логические следствия
Основные понятия
Пример
Основная теорема логического вывода
Приведение к нормальной форме
Приведение к нормальной форме
Метод Резолюции
Адекватность логики высказываний
Пример
Логика предикатов
Кванторы в логике предикатов
Пример
Свойства предикатов
Примеры:
Ограниченный предикат
Конечные автоматы
Устройство конечного автомата
Граф состояния. Пример
Конечный автомат Мили
Пример
Реализация конечных автоматов
Аппаратная реализация
Общий подход к аппаратной реализации
Эквивалентность конечных автоматов
Пример
Эквивалентность конечных автоматов. Прямое произведение.
Эквивалентность конечных автоматов. Прямое произведение.
Минимизация конечных автоматов
Минимизация конечных автоматов
Минимизация конечных автоматов
Минимизация конечных автоматов
Конечный автомат Мура
Конечный автомат Мура
Пример. Триггеры
Машина Тьюринга
Сравнение конечного автомата и машины Тьюринга
Понятие алгоритма
Машина Тьюринга
Алгоритмически неразрешимые проблемы
Сложность алгоритма
13.81M
Похожие презентации:
Логические основы ЭВМ
Логические основы ЭВМ
Основные понятия алгебры логики
Основные понятия алгебры логики
Базовые логические функции. Основные понятия алгебры логики
Базовые логические функции. Основные понятия алгебры логики
Логические основы компьютерной техники
Логические основы компьютерной техники
Схемотехника цифровых устройств. Лабораторные занятия
Схемотехника цифровых устройств. Лабораторные занятия
Лекция 7. Булевая алгебра. Элементы математической логики и теории автоматов
Лекция 7. Булевая алгебра. Элементы математической логики и теории автоматов
Основные положения булевой алгебры
Основные положения булевой алгебры
Асинхронные потенциальные и синхронные автоматы
Асинхронные потенциальные и синхронные автоматы
Арифметические и логические основы компьютера. (Лекция1-2)
Арифметические и логические основы компьютера. (Лекция1-2)
Архитектура ЭВМ и ВС
Архитектура ЭВМ и ВС

Цифровой практикум презентация

1.

Цифровой практикум
Высшая школа управления кибер-физическими системами
Санкт-Петербургский политехнический университет Петра Великого

2. Онлайн курс на платформе Moodle:

https://dl.spbstu.ru/course/view.php?id=5444
Онлайн курс на платформе Moodle
2

3. Алгебра Логики

01

4. Что такое алгебра логики?

Алгебра логики – это раздел математики, изучающий высказывания,
рассматриваемые со стороны их логических значений
(истинности и ложности) и логических операций над
ними.
Булевая функция – это функция, сопоставляющая
двоичным векторам двоичные значения
English     Русский Правила