Скачать Получить на телефон

например +79131234567

txt fb2 ePub html

на телефон придет ссылка на файл выбранного формата

txt fb2 ePub html

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

1. Исчисление высказываний (ИВ). Основные понятия.

   Высказывания - предложения естественного языка, в которых содержится информация о предмете, факте, я...
   подробнее »

2. Исчисление высказываний. Принцип резолюции.

   Выводимость формулы B из множества посылок F1; F2; … Fn равносильна доказательству теоремы ├─ (F1 & ...
   подробнее »

3. Исчисление высказываний. Расширение принципа резолюции (линейность и упорядоченность литер в дизъюнкте).

   см. вопрос 9. Для усиления принципа резолюции оказалось возможным повторное и неоднократное использо...
   подробнее »

4. Исчисление предикатов. Основные понятия.

   В то время, как исчисление высказываний проявляет интерес только к внешним связям простых повествова...
   подробнее »

5. Исчисление предикатов. Алгебра предикатов. Основные логические операции.

   Пусть дан алфавит T = T1  T2  T3  T4  T5  T6  T7, где T1 = {x; y; z; …} – предметные переменны...
   подробнее »

6. Исчисление предикатов. Основные аксиомы вывода.

   Среди множества тождественно истинных формул существует подмножество, являющееся аксиомами исчислени...
   подробнее »

7. Исчисление предикатов. Принцип резолюции.

   Если в результате приведения к виду ПНФ матрица формулы M не будет содержать свободных переменных и ...
   подробнее »

8. Исчисление предикатов. Расширение принципа резолюции (линейность и упорядоченность литер в дизъюнкте).

   см. вопрос 18, 10 Линейная резолюция может быть существенно усилена в исчислении предикатов введение...
   подробнее »

9. Исчисление предикатов. Подстановка и унификация.

   Подстановкой называют конечное множество вида θ = {t1/x1; t2/x2;… tn/xn}, где ti – терм, xi – предме...
   подробнее »

10. Исчисление нечётких множеств. Основные понятия. Алгебра нечётких множеств.

    Если универсальное множество U разбить на подмножества Xi, то для каждого элемента u  U может быть ...
    подробнее »

11. Исчисление нечётких отношений. Основные понятия. Алгебра нечётких отношений.

    Наряду с нечёткими множествами и нечёткими переменными в нечётком исчислении определённую роль играю...
    подробнее »

12. Логика нечётких высказываний. Основные понятия.

    Известно, что для исчисления обычных (чётких) высказываний приняты только два значения истинности су...
    подробнее »

13. Выбор решения при нечётком выводе заключения.

    В результате исполнения алгебраических или логических операций над нечёткими множествами будут получ...
    подробнее »

14. Реляционная логика. Основные понятия.

    Известно, что соответствие, заданное на элементах одного множества X, называют отношением (relation)...
    подробнее »

15. Формальные грамматики типа 0 и 1. Вывод цепочек терминальных символов.

    Грамматика типа 0 - грамматика произвольного типа без каких-либо ограничений на цепочки символов. Пр...
    подробнее »

16. Формальные грамматики типа 2 и 3. Вывод цепочек терминальных символов.

    Грамматика типа 2 - это контекстно-свободная грамматика (КС-грамматика). Правила этой грамматики не ...
    подробнее »

17. Цепочки символов формального языка. Система составляющих.

    Последовательность знаков называют цепочкой. Комбинация знаков в цепочке по заданным правилам языка ...
    подробнее »

18. Синтаксическое дерево и алгоритм его обхода “сверху-вниз”.

    В теории формальных языков для разбора синтаксической конструкции цепочки используют синтаксические ...
    подробнее »

19. Двоичное дерево. Матрица связей и таблица подстановок.

    Особое место в анализе цепочек формального языка занимает двоичное дерево, в состав которого входят ...
    подробнее »