Поиск

Полнотекстовый поиск:
Где искать:
везде
только в названии
только в тексте
Выводить:
описание
слова в тексте
только заголовок

Рекомендуем ознакомиться

'Документ'
Рассмотрев вопросы состояния туризма в Российской Федерации, участники «круглого стола» отмечают, что несмотря на то, что за последние годы проблемы ...полностью>>
'Документ'
Выходящая в сад комната большого усадебного дома в Дербишире, апрель 1809 года. Прямо – несколько высоких и узких не занавешенных стеклянных дверей в...полностью>>
'Документ'
В целях реализации мер, направленных на содействие устойчивому развитию коренных малочисленных народов Севера муниципального образования город Салеха...полностью>>
'Закон'
В соответствии с Положением о Федеральном агентстве воздушного транспорта, утвержденным постановлением Правительства Российской Федерации от 30 июля ...полностью>>

Логика высказываний. Основные понятия и определения. Логические функции одной и двух переменных

Главная > Закон
Сохрани ссылку в одной из сетей:

Логика высказываний. Основные понятия и определения. Логические функции одной и двух переменных.

Основные законы булевой алгебры. Классификация логических функций.

Полнота и замкнутость системы логических функций. Введение в формальные аксиоматические теории. Исчисление высказываний. Построение доказательств, метод резолюций. Синтаксис и семантика языка логики предикатов. Нормальные пренексные формулы. Неклассические логики.

Понятие алгоритмической системы. Формализация понятия алгоритма. Модели алгоритмов. Способы записи алгоритмов. Рекурсивные функции. Алгорифм Маркова. Машина Поста. Машина Тьюринга. Тезис Черча, алгоритмически неразрешимые задачи. Меры сложности алгоритмов. Классы задач P и NP, проблема их эквивалентности.



Скачать документ

Похожие документы:

  1. Алгебра логики высказываний

    Документ
    Исходным понятием логики высказываний является простое высказывание. Это понятие не определяется через другие понятия, так как является базовым. Под высказыванием обычно понимают всякое повествовательно предположение, утверждающее что-либо о чем-либо.
  2. Программа дисциплины по кафедре Прикладная математика и информатика математическая логика и теория алгоритмов

    Программа дисциплины
    Программа разработана в соответствии с требованиями государственного образовательного стандарта, предъявляемыми к минимуму содержания дисциплины и в соответствии с примерной программой дисциплины,
  3. 2. Основы математической логики

    Документ
    Основными понятиями математической логики, с которыми мы будем постоянно оперировать, являются логические высказывания, высказывательные формы (или пропозициональные формулы), предикаты и кванторы.
  4. 1. Основные понятия информатики. Определение понятия информатика. Предмет и задачи

    Документ
    Информатика – это основанная на использовании компьютерной техники дисциплина, изучающая структуру и общие свойства инф-ции, а также закономерности и методы ее создания, хранения, поиска, преобразования, передачи и применения в различных
  5. Логические основы построения компьютера

    Документ
    Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные в 4 веке до нашей эры древне-греческими мыслителями.

Другие похожие документы..