Готовые шпоры, шпаргалки
Готовые
шпаргалки


Завалам.НЕТ
 
   Шпаргалки


Комплекты шпаргалок отмеченные free можно скачать бесплатно


   Комментарии пользователей

07 января 2013 г.
Иван
Хорошие шпоры,очень помогли при сдаче))Спасибо тем,кто их составлял))
компл. 1


   Смотри также

   Магазин шпаргалок
Продай свои шпоры получи 100 р. на мобильный или Web-money подробнее

Поиск 
 
например: Первое эволюционное учение Ж.Б. Ламарка

Шпоры шпаргалки по математической логике

Математическая логика. Готовые шпоры, шпаргалки

1
        cкачали: 29    комментарии: 1

Шпаргалки по математической логике.

 Содержание комплекта
1. Математическая логика. Язык логики высказываний. Простые высказывания, сложные высказывания, логические связки. Роль связок в естественном языке.
2. Синтаксис языка логики высказываний: алфавит и правила построения формул. Семантика языка логики высказываний, интерпретация формул.
3. Свойства формул: общезначимость, выполнимость, противоречивость.
4. Основные схемы логически правильных рассуждений
5. Алгебра логики. Функции алгебры логики. k-значные логики.
6. Способы задания функций алгебры логики. Единичные и нулевые наборы функций алгебры логики. Фиктивные (несущественные) переменные. Бинарные функции алгебры логики.
7. Суперпозиции и формулы. Глубина формулы. Способы записи формул. Эквивалентные формулы. Способы установления эквивалентности формул
8. Функционально полные базисы. Булева алгебра логических операций. Основные эквивалентные соотношения (законы) в булевой алгебре. ДНФ, СДНФ, КНФ, СКНФ. Процедуры приведения к ДНФ и КНФ. Алгебра Вебба, алгебра Шеффера, импликативная алгебра, коимпликативная алгебра, алгебра Жегалкина.
9. Понятия формальной системы и формального вывода
10. Аксиоматическая (формальная) теория и принципы ее построения.
11. Вывод и выводимость в формальной теории. Разрешимые и неразрешимые формулы. Доказательство и доказуемость. Теорема формальной теории.
12. Понятие логического следования, проблема дедукции. Принцип дедукции. Правило резолюций, метод резолюций. Стратегии метода резолюций.
13. Методы доказательства в логике предикатов
14. Исчисление предикатов как формальная система. Формальный вывод в исчислении предикатов. Правило переименования свободных переменных. Правило переименования связанных переменных.
15. Выводимость и истинность в логике предикатов. Эквивалентные преобразования
16. Принцип логического программирования
17. Предваренная, сколемовская и клаузальная формы. Алгоритм получения клаузальной формы. Метод резолюций в логике предикатов. Теорема Черча.
18. Исчисление высказываний как формальная система, множественность аксиоматизаций Проблема выводимости. Прямой вывод. Теорема дедукции. Связь выводимости и истинности формул в логике высказываний. Выполнимые и общезначимые формулы.
19. Методы анализа выполнимости и общезначимости формул: семантическое дерево, тривиальный алгоритм, алгоритм Квайна, алгоритм редукции, алгебраический подход, метод Девиса-Патнема, метод резолюций, фразы Хорна. Алгоритм построения резолюций для множества фраз Хорна.
20. Предикат. Предикаты и отношения. Предикаты и функции. Предикаты и высказывания. Синтаксис языка логики предикатов: алфавит, термы, атомы, правила построения формул. Свободные и связанные вхождения переменных. Семантика языка логики предикатов, интерпретация формул.
21. Основные свойства формальных систем: непротиворечивость, полнота, разрешимость. Полнота и непротиворечивость исчисления высказываний. Полнота и непротиворечивость исчисления предикатов.
22. Предпосылки возникновения теории алгоритмов Формальная арифметика. Теорема Генцена о непротиворечивости формальной арифметики.
24. Теоремы о неполноте формальных систем, смысл и значение теорем Геделя для практической информатики
25. Основные требования к алгоритмам. Подходы к уточнению понятия «алгоритм». Три основных типа универсальных алгоритмических моделей.
26. Машина Поста.
27. Рекурсивные функции. Примитивно-рекурсивные функции. Примитивно-рекурсивные операторы. Частично-рекурсивные функции. Тезис Черча.
28. Вычислимость и разрешимость. Нумерация алгоритмов. Алгоритмически разрешимые и неразрешимые задачи. Проблема остановки, проблема самоприменимости, проблема пустой ленты.
29. Требование результативности и теория алгоритмов
30. Разрешимые и перечислимые множества. Связь между разрешимостью и перечислимостью множеств. Теорема Райса.
31. Теория формальных грамматик. Формальные порождающие грамматики. Язык, порождаемый грамматикой. Классификация грамматик и порождаемых ими языков. Неукорачивающие грамматики и разрешимость языка.
32. Метаязык Бэкуса.
33. Контекстно-свободные грамматики. Приведение контекстно-свободных грамматик
34. Алгоритмические проблемы для грамматик.
35. Алгоритмические проблемы для контекстно-свободных грамматик
36. Частичные автоматы и их минимизация.
37. Универсальная машина Тьюринга. Тезис Тьюринга. Проблема остановки как пример алгоритмически неразрешимых проблем.
38. Алгоритмические логики. Принципы построения алгоритмической логики. Алгоритмическая логика Хоара
39. Многозначные логики. Трёхзначная логика Я. Лукасевича. m-значная логика Э. Поста.
40. Машина Тьюринга. Конфигурация машины Тьюринга. Функция, правильно вычислимая по Тьюрингу. Эквивалентные машины Тьюринга. Композиция машин Тьюринга. Вычисление предикатов на машине Тьюринга.
41. Операции над языками. Подстановка контекстно-свободной грамматики. Блочные грамматики.
42. Конечный автомат. Способы задания автоматов. Автоматное отображение и его свойства. Изоморфизм и эквивалентность автоматов. Неотличимые автоматы. Минимальный а
 показать полностью 


 


© Завалам.НЕТ, 2007—2024