Контрольная Логика. Конспект
Предмет:Логика Тип работы:Контрольная Количество страниц:50
«Содержание
Тема 1. Предмет и значение логики 3
Тема 2. Логика и язык 6
Тема 3. Основные методологические принципы логики 7
Тема 4. Суждение 8
Тема 5. Выражение суждений на языке логики предикатов 11
Тема 6. Логическая характеристика вопросов 13
Тема 7. Норма 14
Тема 8. Умозаключение. Дедуктивные умозаключения 16
Тема 9. Категорический силлогизм 17
Тема 11. Индуктивные умозаключения 18
Тема 13. Аналогия 19
Тема 14. Понятие 20
Тема 15. Отношения между понятиями 22
Теме 16. Виды определений 26
Тема17. Правила определения. Ошибки 27
Тема 18. Деление и его виды. Ошибки 29
Тема 19. Классификация 32
Тема 20. Аргументация и доказательство 35
Тема 21. Стратегия и тактика аргументации и критики 37
Тема 22. Правила построения логических правил 38
Тема 23. Проблема и гипотеза 40
Тема 24. Теория 43
Тема 25. Управленческое решение 46″
Цена:490 руб.
Выдержка из подобной работы:
….
Конспекты лекций по математической логике
….. hha):
Первое и второе определение алгоритма эквивалентны между собой. Любой неформальный
алгоритм может быть представлен в программе для МНР.
1.1.2 Машина Тьюринга — Поста.
Имеется устройство
просматривающее бесконечную ленту где есть ячейки содержащие элементы
алфавита: где —
пустой символ который может принадлежать и не принадлежать А. Также
существует управляющая головка / которая в
начальный момент расположена в определенном месте в состоянии . Также существуют внутренние состояния
машины:
Слово
в данном алфавите — любая конечная
упорядоченная последовательность букв данного алфавита притом длина слова это
количество букв в нем .
Допустимые
команды:
1)
где .
2)
.
Последовательность
команд называется программой если
в этой последовательности не встречается команд с одинаковыми левыми частями.
Машина останавливается если она не находит команды с левой частью подобной
текущей.
1.1.3 Нормальные алгоритмы Маркова.
Тип
машины перерабатывающий слова в которой существует некий алфавит для которого W — множество
всех слов.
Допустимые
команды:
где
Пример:
Программа:
1.1.4 Реализация функции натурального переменного.
но мы допускаем не всюду определенную
функцию.
то это означает что
притом
если
1.2 Эквивалентность трех
подходов к понятию алгоритм.
1.2.1 Теорема
об эквивалентности понятия вычислимой функции.
вычислима:
1)
Если существует программа МНР
которая вычисляет эту функцию.
2)
Если существует программа МТ-П
которая вычисляет эту функцию.
3)
Если существует программа НАМ
которая вычисляет эту функцию.
Использование
НАМ:
Теор.: Классы функций вычислимых
на МТ-П с помощью НАМ и с помощью МНР совпадают.
Пусть
которая вычисляется на МТ-П вычислим её
на НАМ.
МТ-П:
НАМ:
Команда
МТП: преобразуется по правилам:
Команда
МТП:
2. Булевы функции.
2.1 Основные определения
2.1.1 Декартово произведение
— мн-во всевозможных упорядоченных пар
элементов из А и В.
Пример:
2.1.2 Декартова степень произвольного множества.
Опр: — множество
всевозможных упорядоченных наборов длины переменных.
Любое
отображение — называется булевой функцией от
логическая
сумма .
2)
логическое
умножение .
{
w[] || [];
w»