Творческие работы Личной студии Ровеб Устный доклад

Математическая логика и теория алгоритмов

Устный доклад для Личной студии Roweb
Модуль 02

Кликните на тему, чтобы заказать работу для Личной студнии Ровеб, тип занятия "Устный доклад":

Алгоритмические проблемы в теории автоматов. Что могут и что не могут конечные автоматы
Алгоритмические проблемы в теории грамматик
Аналитический и табличный методы  приведения  пропозициональных формул к совершенным нормальным формам
Булевы функции и способы их представления. Многочлены Жегалкина. Определение полноты систем булевых функций
Высказывания и операции над ними.  Построение таблиц  истинности пропозициональных формул
Замкнутые классы и их связь с функциональной полнотой. Монотонные функции и их свойства. Определение монотонной функции в терминах решеток
Исчисление высказываний.  Использование аксиом и правил для организации логического вывода
Исчисление предикатов. Организация логического вывода в исчислении предикатов
Логические функции, логические схемы и бинарные программы
Метод резолюций в логике предикатов
Минимизация булевых функций с использованием алгоритма Квайна
Минимизация булевых функций с использованием карт Карно
Непротиворечивость и полнота логических исчислений. Семантическая и формальная непротиворечивость
Общая схема доказательства эквивалентности машин Тьюринга и рекурсивных функций
Основная идея доказательства существования универсальной машины Тьюринга и блок-схема ее построения
Основные равносильности  логики  предикатов. 
Понятие неоднозначности в теории грамматик. Привести примеры неоднозначных грамматик и неоднозначного вывода в них
Понятие сложности вычислений. Схемы алгоритмов и потоков данных
Предикаты. Использование кванторных предикатов для записи различных предложений.  Определение выполнимости и  общезначимости предикатных формул
Приведение предикатных формул к клаузальной форме
Приведение предикатных  формул  к  нормальной форме и сколемовской стандартной форме
Приведение пропозициональных формул к дизъюнктивной и конъюнктивной нормальной формам
Применение булевых функций для анализа и синтеза дискретных устройств. Анализ  и  синтез релейно-контактных схем. 
Проверка логической правильности рассуждений.  Логическое следствие
Связь формальных грамматик и конечных автоматов
Сравнение сложности вычислений на одноленточной и многоленточной машинах Тьюринга на примере распознавания палиндромов в двухбуквенном алфавите
Упрощение и преобразование логических схем
Упрощение логических выражений с использованием  основных тождеств алгебры логики
Формальные грамматики и их свойства
Формальные грамматики. Классификация Хомского. Грамматики типа 2 и их использование при построении трансляторов
Заказать работу
Тип: Устный доклад
Предмет: Математическая логика и теория алгоритмов
от 500
от 1 дня
По всем требованиям Личной студии, с гарантией сдачи