Банк рефератов содержит более 364 тысяч рефератов, курсовых и дипломных работ, шпаргалок и докладов по различным дисциплинам: истории, психологии, экономике, менеджменту, философии, праву, экологии. А также изложения, сочинения по литературе, отчеты по практике, топики по английскому.
Полнотекстовый поиск
Всего работ:
364150
Теги названий
Разделы
Авиация и космонавтика (304)
Административное право (123)
Арбитражный процесс (23)
Архитектура (113)
Астрология (4)
Астрономия (4814)
Банковское дело (5227)
Безопасность жизнедеятельности (2616)
Биографии (3423)
Биология (4214)
Биология и химия (1518)
Биржевое дело (68)
Ботаника и сельское хоз-во (2836)
Бухгалтерский учет и аудит (8269)
Валютные отношения (50)
Ветеринария (50)
Военная кафедра (762)
ГДЗ (2)
География (5275)
Геодезия (30)
Геология (1222)
Геополитика (43)
Государство и право (20403)
Гражданское право и процесс (465)
Делопроизводство (19)
Деньги и кредит (108)
ЕГЭ (173)
Естествознание (96)
Журналистика (899)
ЗНО (54)
Зоология (34)
Издательское дело и полиграфия (476)
Инвестиции (106)
Иностранный язык (62792)
Информатика (3562)
Информатика, программирование (6444)
Исторические личности (2165)
История (21320)
История техники (766)
Кибернетика (64)
Коммуникации и связь (3145)
Компьютерные науки (60)
Косметология (17)
Краеведение и этнография (588)
Краткое содержание произведений (1000)
Криминалистика (106)
Криминология (48)
Криптология (3)
Кулинария (1167)
Культура и искусство (8485)
Культурология (537)
Литература : зарубежная (2044)
Литература и русский язык (11657)
Логика (532)
Логистика (21)
Маркетинг (7985)
Математика (3721)
Медицина, здоровье (10549)
Медицинские науки (88)
Международное публичное право (58)
Международное частное право (36)
Международные отношения (2257)
Менеджмент (12491)
Металлургия (91)
Москвоведение (797)
Музыка (1338)
Муниципальное право (24)
Налоги, налогообложение (214)
Наука и техника (1141)
Начертательная геометрия (3)
Оккультизм и уфология (8)
Остальные рефераты (21697)
Педагогика (7850)
Политология (3801)
Право (682)
Право, юриспруденция (2881)
Предпринимательство (475)
Прикладные науки (1)
Промышленность, производство (7100)
Психология (8694)
психология, педагогика (4121)
Радиоэлектроника (443)
Реклама (952)
Религия и мифология (2967)
Риторика (23)
Сексология (748)
Социология (4876)
Статистика (95)
Страхование (107)
Строительные науки (7)
Строительство (2004)
Схемотехника (15)
Таможенная система (663)
Теория государства и права (240)
Теория организации (39)
Теплотехника (25)
Технология (624)
Товароведение (16)
Транспорт (2652)
Трудовое право (136)
Туризм (90)
Уголовное право и процесс (406)
Управление (95)
Управленческие науки (24)
Физика (3463)
Физкультура и спорт (4482)
Философия (7216)
Финансовые науки (4592)
Финансы (5386)
Фотография (3)
Химия (2244)
Хозяйственное право (23)
Цифровые устройства (29)
Экологическое право (35)
Экология (4517)
Экономика (20645)
Экономико-математическое моделирование (666)
Экономическая география (119)
Экономическая теория (2573)
Этика (889)
Юриспруденция (288)
Языковедение (148)
Языкознание, филология (1140)

Реферат: Математическая Логика

Название: Математическая Логика
Раздел: Рефераты по математике
Тип: реферат Добавлен 02:01:29 24 сентября 2005 Похожие работы
Просмотров: 2251 Комментариев: 3 Оценило: 1 человек Средний балл: 5 Оценка: неизвестно     Скачать

Конспекты лекций по математической логике.

1. Теория алгоритмов

1.1 Различные подходы к определению алгоритма:

10 . Неформальное понятие алгоритма (последовательность инструкций для выполнения действия).

20 . Машина с неограниченными регистрами (МНР).

30 Машина Тьюринга – Поста (МТ-П).

40 Нормальные алгоритмы Маркова (НАМ).

1.1.1 Машина с неограниченными регистрами (МНР).

Имеется некое устройство, в котором счетное число ячеек памяти (регистров), в которых хранятся целые числа.

Допустимые команды:

Z(n) - обнуление регистра Rn .

S(n) - увеличение числа в регистре Rn на 1.

T(m,n) - копирует содержимое Rm в регистор Rn .

I(p,q,n) - если содержимое Rp = Rq то выполняется команда с номером n , если нет

следующая.

Программа для МНР должна быть последовательностью команд Z, S, T, I с определенным порядком, выполняемые последовательно.

Тезис Черча ( Churcha ) : Первое и второе определение алгоритма эквивалентны между собой. Любой неформальный алгоритм может быть представлен в программе для МНР.

1.1.2 Машина Тьюринга - Поста.

Имеется устройство просматривающее бесконечную ленту, где есть ячейки содержащие элементы алфавита: , где - пустой символ (пустое слово), который может принадлежать и не принадлежать А . Также существует управляющая головка (устройство) (УУ)/(УГ), которая в начальный момент расположена в определенном месте, в состоянии. Также существуют внутренние состояния машины:

Слово в данном алфавите - любая конечная упорядоченная последовательность букв данного алфавита, притом длина слова это количество букв в нем (у пустого слова длина 0).

Допустимые команды:

1) ,где .

2) (остановка программы).

Последовательность команд называется программой , если в этой последовательности не встречается команд с одинаковыми левыми частями. Машина останавливается если она не находит команды с левой частью подобной текущей.

1.1.3 Нормальные алгоритмы Маркова.

Тип машины перерабатывающий слова, в которой существует некий алфавит , для которого W - множество всех слов.

Допустимые команды: (Для машин этого типа важна последовательность команд.)

где

Пример:

Программа:

1.1.4 Реализация функции натурального переменного.

но мы допускаем не всюду определенную функцию.

то это означает, что

притом ,если f не определена, то и программа не должна ничего выдавать.

притом ,если f не определена, то и программа не должна ничего выдавать.

(, а числа представляются в виде ,например .)

1.2 Эквивалентность трех подходов к понятию алгоритм.

1.2.1 Теорема об эквивалентности понятия вычислимой функции.

вычислима: ()

1) Если существует программа МНР, которая вычисляет эту функцию.

2) Если существует программа МТ-П, которая вычисляет эту функцию.

3) Если существует программа НАМ, которая вычисляет эту функцию.

Использование НАМ:

Теор .: Классы функций вычислимых на МТ-П, с помощью НАМ и с помощью МНР совпадают.

Пусть которая вычисляется на МТ-П, вычислим её на НАМ.

МТ-П:

НАМ:

Команда МТП: преобразуется по правилам:

Команда МТП:

2. Булевы функции.

2.1 Основные определения

2.1.1 Декартово произведение

- мн-во всевозможных упорядоченных пар элементов из А и В.

Пример :

2.1.2 Декартова степень произвольного множества.

Опр : - множество всевозможных упорядоченных наборов длины n , элементов множества А.

2.1.3 Определение булевой функции от n переменных.

Любое отображение - называется булевой функцией от n переменных, притом множество

2.1.4 Примеры булевой функции.

1) логическая сумма (дизъюнкция).

2) логическое умножение (конъюнкция).

3) сложение по модулю два.

4) логическое следствие (импликация).

5) отрицание.

2.1.5 Основные булевы тождества.

1) (ассоциативность)

2) (коммутативность)

3) (свойство нуля)

4) (закон поглощения для 1)

5) (ассоциативность)

6) (коммутативность)

7) (свойство нуля по умножению)

8) (свойство нейтральности 1 по умножению)

9) (дистрибутивность)

10) (дистрибутивность 2)

11) (закон поглощения)

12) ( Законы

13) де Моргана)

14) (закон снятия двойного отрицания)

15) (tertium non datur – третьего не дано)

16) (ассоциативность)

17)

18)

19)

20)

21) (Свойства

22) идемпотентности)

2.2 Дизъюнктивные нормальные формы.

2.2.1 Основные определения.

- конечный алфавит из переменных.

Рассмотрим слово:

Экспоненциальные обозначения:

- элемент конъюнкции.

S – длина элемента конъюнкции.

ДНФ – дизъюнкция нескольких различных элементарных конъюнкций.

Любая булева функция может быть представлена как ДНФ

2.2.2 Теорема о совершенной ДНФ.

Любая булева функция тождественно не равная 0 может быть разложена в ДНФ следующего вида:

Опр : Носитель булевой функции

.

Лемма :

1) это элементарно

2) возьмем набор

а)

б)

Доказательство: , будем доказывать, что.

1) Докажем, что . Возьмем он попадает в число суммируемых наборов и по нему будет проводиться сумирование.

2) Докажем, что . Возьмем другой набор из

Следовательно

2 .2.3 Некоторые другие виды ДНФ.

Опр: - называется минимальной ДНФ , если она имеет - наименьшую возможную длину из всех ДНФ данной функции.

Опр: - называется тупиковой ДНФ , если из неё нельзя выбросить ни одного слагаемого с сохранением булевой функции.

(Легко понять, что любая минимальная ДНФ является тупиковой, а обратное не верно.)

Опр: К-мерной гранью называется такое подмножество , которая является носителем некоторой элементарной конъюнкции длины: n-k.

Опр: Предположим дана функция и есть . Грань называется отмеченной , если она целиком содержится в носителе Т .

Опр: Максимальная грань – это такая грань, которая не содержится ни в какой грани более высокой размерности.

Предложение: Любую отмеченную грань можно вложить в максимальную грань.

Предложение:

(Носитель любой функции можно разложить в объединение нескольких граней разной размерностей)

Предложение: Носитель любой функции разлагается в объединение всех своих максимальных граней.

Опр: Элементарная конъюнкция называется минимальной , если её носитель является максимальной гранью. Следовательно всякая булева функция разлагается в дизъюнкцию всех своих элементарных конъюнкций.

Опр: Сокращенная ДНФ – разложение данной булевой функции в соответствующие ДНФ, которые соответствуют объединению её максимальных граней.

Теор: Минимальная ДНФ может быть получена из сокращенной отбрасыванием некоторого количества слагаемых, возможно пустого.

3 Логические Исчисления.

3.1 Исчисления высказывания (ИВ).

3.1.1 Определения.

Опр: Vсловом в алфавите А , называется любая конечная упорядоченная последовательность его букв.

Опр: Формативная последовательность слов – конечная последовательность слов и высказываний , если они имеют формат вида:

Опр: F – формулой ИВ , называется любое слово, входящее в какую-нибудь формативную последовательность.

Пример:

Опр: Аксиомы – специально выделенное подмножество формул.

1)

2)

3)

4)

5)

6)

7)

8)

9)

10)

11)

Reg – правила вывода ИВ (некоторые правила преобразования первого слова в другое).

a – символ переменной

- произвольное слово ИВ (формула)

Отображение действует так, что на место каждого вхождения символа а , пишется слово .

Пример:

Правило modus ponens :

3.1.2 Формальный вывод. (простейшая модель доказательства теоремы)

Опр: Последовательность формул ИВ, называется формальным выводом, если каждая формула этой последовательности имеет следующий вид:

Опр: Выводимый формулой (теоремой) ИВ называется любая формула входящая в какой-нибудь формальный вывод. - выводимая формула ИВ.

Пример:

1)
2)
3)
4)
5)
6)

Правило одновременной подстановки.

Замечание : Если формула выводима, то выводима и

Возьмем формативную последовательность вывода и добавим в неё , получившаяся последовательность является формальным выводом.

(Если выводима то если , то выводима )

Теор: Если выводимая формула , то ( - различные символы переменных) выводима

Выберем - символы переменных которые различны между собой и не входят не в одну из формул , сделаем подстановку и последовательно применим и в новом слове делаем последовательную подстановку: , где - является формальным выводом.

3.1.3 Формальный вывод из гипотез.

Опр: Формальным выводом из гипотез (формулы), называется такая последовательность слов , каждая из которых удовлетворяет условию:

если формулу можно включить в некоторый формальный вывод из гипотез .

Лемма: ; : то тогда

Напишем список:

Лемма :

Док:

3.1.4 Теорема Дедукции.

Если из

1) и 2а) , где по правилу m.p., ч.т.д.

2б) - уже выводили , ч.т.д.

Базис индукции: N=1 - формальный вывод из длинного списка

(только что доказано), осуществим переход по индукции:

по индукции

и по лемме 2

Пример:

по теореме дедукции

3.2 Критерий выводимости в ИВ.

3.2.1 Формулировка теоремы.

- тавтология

при любой интерпретации алфавита (символов переменных)

3.2.2 Понятие интерпретации.

символ переменной переменную поставим в соответствие.

, где - проекция на .

; - только символ

переменных, т.к.

это заглавное слово

формативной последо-

вательности вида:

Где:

3.2.3 Доказательство теоремы.

формальный

вывод

(1)

3.3 Непротиворечивость ИВ.

3.3.1 Определение.

1) ИВ противоречиво , если формула А выводима в нем. .

2) формула выводима в ИВ)ИВ противоречиво .

3) ИВ противоречиво .

ИВ непротиворечиво , если оно не является противоречивым.

Теорема : ИВ является непротиворечивым исчислением по отношению к любому из трех определений.

Док-во : (1) Если , то соответствующая ей булева функция будет тождественно равна 1.

(2) Если любая формула выводима, то выводима и А , что соответствует пункту 1.

(3) Пусть и - булева функция

- противоречие.

3.4 Формальные исчисления.

Алфавит – конечное или счетное множество символов, возможно, разбитых на группы. Алфавит должен быть упорядоченным множеством.

Слово – конечная упорядоченная последовательность символов алфавита, в т.ч. пустое слово.

V – множество всех слов.

Вычислимая функция от нескольких натуральных переменных

( f – может быть не всюду определенной )

f – называется вычислимой , если такая машина Тьюринга, которая её вычисляет.

- разрешимое множество, если характеристическая функция

- является вычислимой.

Множество называется перечислимым, если такая вычислимая функция

М - разрешимо М и N \M перечислимы.

М – перечислимо М – область определения некоторой вычислимой функции.

Множество всех формул F – некоторое разрешимое подмножество V .

Т – счетное множество, если его биективное отображение на V .

- обозначение счетного множества. ( - алеф-нуль)

Если и зафиксировано биективное и вычислимое отображение (вычис.),

то Lансамбль .

V – ансамбль (слова лексикографически упорядочены и занумерованы)

Определение : В произвольном формальном исчислении: - множество всех аксиом – разрешимое подмножество множества всех формул.

Правило вывода:

,при разрешимо. Для ИВ N =2.

Пример :

(пустое слово) ,

1 и 2 – формальные выводы.

3 – не является формальным выводом.

4 Предикаты и кванторы.

4.1 Определение предиката.

- высказывание, содержащее переменную.

- предметная область предиката.

Пусть А – множество объектов произвольной природы (предметная область предиката ).

- местный предикат – произвольное отображение

Множество истинности данного предиката

-

- характеристическая

функция от x на множестве

А - совпадает

с предикатами

4.2 Понятие квантора.

k – связанная переменная

n – свободная переменная

t – свободная, x – связанная.

, a,b,y – свободные переменные, x – связанная.

4.3 Геометрическая интерпретация навешивания кванторов.

- ортогональная проекция на ось x

Пронесение отрицания через кванторы

Геометрическое 'доказательство':

не обладает свойством, что прямая целиком лежит в

ч.т.д.

Оценить/Добавить комментарий
Имя
Оценка
Комментарии:
Где скачать еще рефератов? Здесь: letsdoit777.blogspot.com
Евгений22:22:30 18 марта 2016
Кто еще хочет зарабатывать от 9000 рублей в день "Чистых Денег"? Узнайте как: business1777.blogspot.com ! Cпециально для студентов!
16:09:29 24 ноября 2015
Кто еще хочет зарабатывать от 9000 рублей в день "Чистых Денег"? Узнайте как: business1777.blogspot.com ! Cпециально для студентов!
11:53:31 24 ноября 2015

Работы, похожие на Реферат: Математическая Логика
Элементы теории множеств
Курсовая работа Выполнил студент 3 курса 4 группы физико-математического факультета Данилюк Ярослав Борисович Мозырский государственный педагогический ...
Множества обозначаются прописными буквами латинского или готического алфавита:
Современная теория множеств строится на системе аксиом - утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств.
Раздел: Рефераты по математике
Тип: курсовая работа Просмотров: 3966 Комментариев: 2 Похожие работы
Оценило: 3 человек Средний балл: 3.7 Оценка: неизвестно     Скачать
Проектирование трансляторов
ЛЕКЦИЯ 1 СУЩНОСТЬ ПРЕДМЕТА. СОДЕРЖАНИЕ КП. СРОКИ. ОРГАНИЗАЦИЯ РАБОТ. МАТЕМАТИЧЕСКИЙ АППАРАТ. СТРУКТУРНАЯ СХЕМА ТРАНСЛЯТОРА. ПРОХОДЫ ТРАНСЛЯТОРА ...
Всякая конечная последовательность символов алфавита А назы-
Формальный язык характеризуется алфавитом, лексикой, семан-
Раздел: Рефераты по информатике, программированию
Тип: реферат Просмотров: 655 Комментариев: 3 Похожие работы
Оценило: 1 человек Средний балл: 5 Оценка: неизвестно     Скачать
Булевы функции
1.Основные понятия булевой алгебры Технические вопросы, связанные с составлением логических схем ЭВМ, можно решить с помощью математического аппарата ...
Функция f, зависящая от n переменных x1,x2,...,xn, называется булевой, или переключательной, если функция f и любой из ее аргументов принимают значения только из множества {0,1 ...
Таким образом, областью определения булевой функции n переменных при матричном способе задания является множество всех возможных двоичных наборов длины n, а при геометрическом ...
Раздел: Рефераты по математике
Тип: контрольная работа Просмотров: 8901 Комментариев: 2 Похожие работы
Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать
Конспект лекций по дискретной математике
Приложение Булевой алгебры к синтезу комбинационных схем Двоичная система логики: 1. Элементы Булевой алгебры: а) числа b) переменные с) операции d ...
Булевы (логические, двоичные) переменные называются переменными, принимающими значение из множества - ноль и единица.
В булевой алгебре доказывается теорема о возможности представления любой булевой функции от n переменных с помощью полинома Жегалкина n-ой степени.
Раздел: Рефераты по математике
Тип: реферат Просмотров: 1650 Комментариев: 4 Похожие работы
Оценило: 2 человек Средний балл: 2 Оценка: неизвестно     Скачать
Дискретная математика
Министерство образования и науки Российской Федерации Российский химико-технологический университет им. Д.И. Менделеева Новомосковский институт ...
В силу теоремы Поста функция х | у образует полную систему, т. е. с помощью штриха Шеффера можно получить любую булеву функцию.
... в том или ином виде автомату отображения "вход-выход", осуществляемого этим автоматом; часто такое отображение можно интерпретировать как вычисление предиката, и поскольку каждый ...
Раздел: Рефераты по математике
Тип: учебное пособие Просмотров: 5201 Комментариев: 2 Похожие работы
Оценило: 1 человек Средний балл: 2 Оценка: неизвестно     Скачать
Интерпретатор языка Пролог
Аннотация В рамках данного дипломного проекта разработан интерпретатор языка Пролог с визуальным вводом программы и возможностью работы с ...
Иными словами мы хотим иметь возможность находить доказательство того, что некоторая правильно построенная формула W в исчислении предикатов логически следует из некоторого ...
Иными словами, мы хотели бы знать, следует ли логически правильно построенная формула , и если да, то каков тот частный случай переменной x. Проблема поиска доказательства ...
Раздел: Рефераты по информатике, программированию
Тип: дипломная работа Просмотров: 1007 Комментариев: 2 Похожие работы
Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать
Теория искусственного интеллекта
Создание высокоавтоматизированных производств предполагает автоматизацию не только физического, но и умственного труда человека. В последние ...
Начиная с 1960 г., был разработан ряд программ, способных находить доказательства теорем в исчислении предикатов (лог. - пропозициональная функция, т.е. выражение с неопределенными ...
Эта программа за 3 минуты работы IBM-704 вывела 220 относительно простых лемм и теорем из фундаментальной математической монографии, а затем за 8.5 мин выдала доказательства еще ...
Раздел: Рефераты по информатике, программированию
Тип: учебное пособие Просмотров: 4435 Комментариев: 2 Похожие работы
Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать
Логика предикатов
... ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ Юридический факультет Кафедра философии РЕФЕРАТ ПО ЛОГИКЕ на тему: "Логика предикатов" Выполнил: студент гр. Ю-993
Теорема. Если формула логики предикатов, содержащая только предикаты от одного переменного, выполнима на некотором поле M, то она выполнима на поле , содержащем не более элементов ...
Для каждой последовательности, содержащей n символов И и Л в произвольном порядке (И, Л, Л, ..., И,), существует часть (может быть, пустая) множества M, содержащая те и только те ...
Раздел: Рефераты по философии
Тип: реферат Просмотров: 2064 Комментариев: 2 Похожие работы
Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать

Все работы, похожие на Реферат: Математическая Логика (3554)

Назад
Меню
Главная
Рефераты
Благодарности
Опрос
Станете ли вы заказывать работу за деньги, если не найдете ее в Интернете?

Да, в любом случае.
Да, но только в случае крайней необходимости.
Возможно, в зависимости от цены.
Нет, напишу его сам.
Нет, забью.



Результаты(150515)
Комментарии (1836)
Copyright © 2005-2016 BestReferat.ru bestreferat@mail.ru       реклама на сайте

Рейтинг@Mail.ru