Skip to navigation Skip to content

Главная
Калькулятор по математической логике
Учебные материалы

Схемы для ЭВМ

Логические схемы
Сумматор
Шифратор
Дешифратор
Триггер

Определение булевой функции
Элементарные булевы функции
Задание булевых функций посредством элементарных
Существенные и несущественные переменные
Эквивалентные функции
Основные эквивалентности
Функциональная полнота
Нормальные формы
Совершенные нормальные формы
Минимизация ДНФ методом Квайна
Карты Карно
Полином Жегалкина
Высказывания
Предикаты
Кванторы
Определение формальной теории
Исчисление высказываний
Теорема о дедукции. Полнота ИВ
Автоматическое доказательство теорем
Метод резолюций в ИВ
Определение алгоритма
Машина Тьюринга
Рекурсивные функции
Алгоритмически неразрешимые задачи
Алгоритмы и их сложности

Непозиционные системы счисления
Позиционные системы счисления
Двоичная система счисления
Сложение в двоичной системе счисления
Вычитание в двоичной системе счисления
Умножение в двоичной системе счисления

Логические схемы
Сумматор
Шифратор
Дешифратор
Триггер

Алгоритм. Основные понятия.
Способы описания алгоритмов
Виды алгоритмов и основные принципы составления алгоритмов
Исполнение алгоритмов
Отладка алгоритмов
Простейшие линейные алгоритмы
Разветвляющиеся алгоритмы. Понятия и определения.
Составление разветвляющихся алгоритмов
Отладка разветвляющихся алгоритмов
Линейные алгоритмы с массивами

Множества и их спецификации
Подмножества
Операции над множествами
Свойства операций над множествами
Декартово произведение
Отношения
Графическое представление бинарных отношений
Свойства отношений
Матрица бинарного отношения
Отношение эквивалентности
Отношение порядка
Функции
Мощность множеств
Представление множеств в ЭВМ

Определение графов
Смежность, инцидентность, степени
Маршруты, пути, циклы
Изоморфизм графов
Представление графов в ЭВМ
Полные графы и двудольные графы
Операции с графами
Связность в неориентированных графах
Связность в орграфах
Нахождение компонент связности на ЭВМ
Обходы графов
Графы и отношения
Достижимость и частичное упорядочение
Нахождение кратчайших маршрутов
Свободные деревья
Ориентированные деревья
Упорядоченные деревья
Бинарные деревья
Обходы бинарных деревьев
Деревья сортировки
Алгоритмы на дереве сортировки
Сравнение представлений ассоциативной памяти
Кратчайший остов

@ 2010 - 2024 tablica-istinnosti.ru