Библиотека Рефераты Курсовые Дипломы Поиск
Библиотека Рефераты Курсовые Дипломы Поиск
сделать стартовой добавить в избранное
Кефирный гриб на сайте za4eti.ru

Математика Математика

Структура исчисления предикатов построение логического вывода

Коврик для запекания, силиконовый "Пекарь".
Коврик "Пекарь", сделанный из силикона, поможет Вам готовить вкусную и красивую выпечку. Благодаря материалу коврика, выпечка не
202 руб
Раздел: Коврики силиконовые для выпечки
Забавная пачка денег "100 долларов".
Купюры в пачке выглядят совсем как настоящие, к тому же и банковской лентой перехвачены... Но вглядитесь внимательней, и Вы увидите
60 руб
Раздел: Прочее
Фонарь садовый «Тюльпан».
Дачные фонари на солнечных батареях были сделаны с использованием технологии аккумулирования солнечной энергии. Уличные светильники для
106 руб
Раздел: Уличное освещение

Структура исчисления предикатов, построение логического вывода Реферат по математической логике и теории алгоритмов выполнили студенты I-го курса Факультета ИВТ: Зубарев А., Столяров А.,  Докукин А., Китирисов Г. Марийский Государственный Технический Университет Факультет Информатики и Вычислительной Техники Кафедра  ИВС Йошкар-Ола, 2003г. Язык, логика и исчисление предикатов Введение Приступая к изучению языка логики предикатов (сокращенно — ЯЛП), полезно вспомнить основные особенности языков этого типа В ЯЛП явно должны быть представляемы субъектно-предикатные структуры высказываний, от которых происходило отвлечение при введении пропозициональных символов. Выражаемыми должны быть, например, высказывания видов. «a обладает свойством Р», «а и b находятся в отношении Р», «Для всякого предмета из некоторого множества S верно, что он обладает свойством Р», «Для всякого предмета из множества S существует предмет этого множества такой, что эти предметы находятся в отношении R», «Если неверно, что всякие два предмета некоторого множества находятся в отношении R, то существуют по крайней мере два предмета этого множества, не находящиеся в этом отношении», «Если во множестве S существует предмет х, который находится в отношении R с любым предметом у этого множества, то для всякого предмета у того же множества существует предмет х такой, что последний находится в отношении R к первому» и т. п. Ясно, во-первых, что для выражения таких утверждений у нас нет средств в языке логики высказываний. Ясно и то, что для  выражения подобных высказываний в ЯЛП мы должны иметь в числе его исходных символов общие имена предметов; аналогами последних в ЯЛП будут предметные переменные х, у, z, а также они же с числовыми индексами x₁,x₂, . и т.д. Потребность в общих именах при употреблений ЯЛП сохранится лишь для описания областей возможных значений этих переменных, что относится уже не к самому языку, а к метаязыку. Нужны также знаки свойств и отношений. Для выражения высказываний вида «Объем тела а больше объема тела b» или «Синус х меньше косинуса y» и т. п. необходимы, конечно, и предметные функторы. Впрочем, перечислим систематически основные типы выражений описываемого языка, каковыми являются: исходные символы, термы и формулы. Описание этих выражений составит синтаксис ЯЛП. Синтаксис языка логики предикатов (исходные символы, термы, формулы) I. Исходные символы языка. 1. Предметные переменные х, у, z, а также х с числовыми индексами: (бесконечное счетное множество).  2. Предметные константы (аналоги собственных имен естественного языка): (также бесконечное счетное множество). 3. Знаки свойств и отношений различных местностей — предикатные символы, или предикаторы: P¹, Q ¹, R¹, S¹, .; Р2, Q2, R2, S² , .; . Pⁿ,Qⁿ,Rⁿ,Sⁿ и возможно эти символы с нижними индексами: P¹₁ , P¹₂, P¹₃, P²₁ , P²₂, P²₃, и т.д. (верхние индексы указывают на местность предикатора, нижние индексы используются для расширения множества предикаторов той или иной местности; количество предикатных символов той или иной местности вводится в зависимости от предназначения языка.

Однако, поскольку речь идет о языке логики предикатов, должен быть введен, по крайней мере один предикатный символ). 4. Знаки предметных функций различных местностей (предметные функторы): f¹₁ , f¹₂, f²₁ ,f²₂ , . fⁿ₁ , fⁿ₂, (число функциональных символов той или иной местности зависит также от предназначения языка, возможно отсутствие символов этого рода вообще). 5. Логические константы: ⊃,&,",∃,∨,¬ соответственно — импликация, конъюнкция, квантор общности, квантор существования, дизъюнкция и отрицание. (Зачастую вводят лишь некоторые из этих символов. Из кванторов достаточны только ∀ или ∃, из остальных, называемых логическими связками, достаточно : ⊃ и ¬, или  ∨ и ¬ , или & и ¬ . Другие константы, как, впрочем, и другие знаки, могут вводиться по определению.) 6. Технические знаки: (- левая скобка, )-правая скобка, ,- запятая. Предметные константы, предикаторы, предметные функторы и предметные переменные называют дескриптивными терминами языка, при этом три первых категории (в отличие от предметных переменных) суть — дескриптивные постоянные данного языка. II. Термы. Выражения этого типа являются аналогами имен естественного языка. Определение: а) любая предметная переменная и предметная константа есть терм; б) если   есть термы и f¸ⁿ есть -местный предметный функтор, то f¸ⁿ ( есть терм;  в) ничто, кроме указанного в пунктах а) и б), не есть терм. III. формулы. В числе этих выражений имеются аналоги повествовательных предложений естественного языка, а также высказывательные формы — предикаты, представляющие собой особую семантическую категорию, которая не выделяется, — по крайней мере, явным образом — в естественном языке. Определение: а) если  термы и P¸ⁿ  -местный предикатор, то P¸ⁿ ()  есть формула (атомарная); б) если А и В — формулы, то (А⊃В), (А&В), (AvB), ¬A — формулы; в) если х есть предметная переменная и А — формула, то ∀ x A и ∃ x A — формулы; г) ничто, кроме указанного в пунктах а) — в), не есть формула. Договоримся в дальнейшем опускать, когда это удобно, внешние скобки в отдельно взятых формулах; например, вместо (А & В) писать просто А &В. Использованные в определениях терма и формулы символы  и  f¸ⁿ, P¸ⁿ, A, B, x (и в дальнейшем возможно x₁, x ₂ и т. д.) — знаки метаязыка называемые также синтаксическими переменными, возможными значениями которых являются выражения соответствующей категории описываемого (объектного) языка. Формулы А и В, встречающиеся в пунктах б) и в), называются подформулами указанных здесь формул. Введенные понятия исходного символа, терма и формулы языка являются эффективными (иначе: рекурсивными). Последнее означает, что имеется точный способ, с помощью которого всегда можно определить, относится ли некоторый символ к числу исходных символов языка, а для каждой последовательности исходных символов можем определить, представляет ли  она терм или формулу. Для термов и формул такой способ заключен в их индуктивных определениях.

Так, в каждой формуле, содержащей логические константы (знаки логических операций), имеется главная, или, что то же, последняя, в построении формулы операции. Выделив  ее, мы выделяем тем самым собственные подформулы этой формулы. В последних снова выделяем главную операцию и так далее, пока не дойдем до какой-либо атомарной формулы. Если в процессе такого анализа исходного выражения в какой-либо части его, не являющейся атомарной формулой, нельзя выделить знак главной операции, то эта часть не является формулой, а следовательно, таковой не является все выражение. Возможность распознавания атомарных формул среди последовательностей символов является очевидной. (При констатации эффективности введенных понятий подразумевается так называемая абстракция отождествления согласно которой все различные случаи употребления некоторого символа, например а, рассматриваются как различные экземпляры, одного и того же символа, и предполагается, что мы умеем узнавать символ, несмотря на некоторые, всегда имеющиеся различия в его написаниях.) Свободные и связанные вхождения переменых в формулы Каждый случай, когда в последовательности знаков, представляющей собой формулу А, встречается предметная переменная x, называется вхождением этой переменной; каждое вхождение в формулу А предметной переменной x в часть вида ∀x В или ∃ х В, называется связанным. Подформула В формул указанного вида называется областью действия соответственно квантора общности ∀  и квантора существования ∃ с переменной x. Связанным является вхождение переменной, стоящей непосредственно за квантором, и каждое вхождение ее в область действия квантора. Всякое вхождение х в отличие от указанного, называется свободным. Переменная х, имеющая связанные вхождения и формулу А, называется связанной в этой формуле; переменная, имеющая свободные вхождения в формулу А, называется свободной в этой формуле. Обратим внимание на то, что согласно определению свободной и связанной переменной одна и та же переменная в одной и той же формуле может быть свободной и связанной. Такова, например, переменная  x₁ в формуле ∀ x₁ P¹(x₁) ∨ Q²(x₁, x₂);  переменная x₂ является здесь свободной, но не связанной. Мы рассматриваем здесь только такие термы, в которых все переменные могут иметь лишь свободные вхождения, и, значит, являются свободными переменными. Формула и терм, не содержащие свободных переменных, называются соответственно замкнутой формулой и замкнутым т е р м о м (очевидно, что для рассматриваемых здесь термов, если терм замкнут, то он вообще не содержит переменных). Семантика языка логики предикатов Семантику языка, как мы видели при анализе естественного языка, составляет совокупность предметных значений и смысловых содержаний его выражений. Но в данном случае, поскольку речь идет не об анализе уже имеющегося языка, а  о построении — в данном случае логического формализованного языка —то семантикой называют совокупность правил  приписывания значений выражениям этого языка. Точнее говоря, здесь даже не ставится задача построения какого-то определенного языка.

Другими словами, при непустых классах сущностей все модусы силлогистики Аристотеля выводятся в исчислении предикатов. Иная ситуация возникает при допущении пустых классов сущностей. В исчислении предикатов предикаты с пустыми областями для аргументов ведут себя совсем не так, как такие же предикаты с непустыми областями. В этих условиях оказываются невыводимыми все модусы силлогистики, в которых вывод носит частный характер, а обе посылки носят общий характер. Например, оказываются невыводимыми модусы AAI и ЕАО первой фигуры: Хотелось бы обратить внимание читателей на только что полученный результат моделирования. Даже в области дедуктивных рассуждений, дающих всегда достоверные результаты, характер человеческих рассуждений может быть различным. И он не обязан совпадать (как это показывает случай с силлогистикой) с теми схемами рассуждений, которые демонстрирует исчисление предикатов. Общая схема вывода Опишем общую схему выводов, лежащую в основе большого количества моделей человеческих достоверных рассуждений. Она приведена на рис. 19

1. Принцип резолюции в исчислении высказываний и логике предикатов и его модификации

2. Порядок исчисления налога на прибыль организаций торговли на примере ЗАО «…»

3. Реляционное исчисление

4. Интеграл по комплексной переменной. Операционное исчисление и некоторые его приложения

5. Учет затрат и исчисление себестоимости продукции молочного скотоводства

6. Порядок исчисления и уплаты в бюджет налога на имущество предприятий (Доклад)
7. Основы фрактального исчисления
8. Самое важное из истории интегрального исчисления

9. Элементы дифференциального и интегрального исчисления в книге П. Я. Гамалеи "Вышняя теория морского искусства"

10. НДС Особенности исчисления НДС по основным средствам и нематериальным активам

11. Порядок исчисления и уплаты в бюджет налога на имущество предприятий

12. Налог на имущество: проблемные вопросы исчисления

13. Порядок исчисления и уплаты НДС строительно-монтажными организациями

14. Системы заработной платы, порядок ее исчисления

15. Исчисление высказываний

16. Проблемы исчисления единого налога по специальным налоговым режимам и пути их решения

Настольная игра "Матрешкино".
В сказочной деревне Матрешкино сегодня с самого утра переполох! Юные красавицы затеяли хитрую игру: каждая матрешка придумала свое
418 руб
Раздел: Карточные игры
Увлекательная настольная игра "Делиссимо", новая версия.
В этой милой игре вам предстоит немало потрудиться, так как вы работаете на известную и уважаемую итальянскую пиццерию «Делиссимо». Её
632 руб
Раздел: Карточные игры
Крышка силиконовая универсальная, 31 см.
Универсальная силиконовая крышка изготовлена из высококачественного пищевого силикона — экологичного и долговечного материала. Не теряет
318 руб
Раздел: Крышки

17. Порядок исчисления и уплаты земельного налога

18. Исчисление и уплата страховых взносов во внебюджетные фонды

19. Состояние и пути совершенствования учета затрат на производство и исчисления себестоимости продукции молочного скотоводства на примере СПК "Коммунар" Кировского района Калужской области

20. Исчисление НДС по истечении 60 дней с момента отгрузки товаров (выполнения работ, оказания услуг, передачи имущественных прав на объекты интеллектуальной собственности)

21. Практические вопросы исчисления и уплаты ЕСН в адвокатских образованиях, являющихся юридическими лицами

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

25. Особенности исчисления и уплаты НДС при реализации товаров по регулируемым ценам

26. Сроки защиты прав, их исчисление, течение и окончание

27. Единицы измерения информации. Системы исчисления

28. Вариации при исчислении

29. Дифференциальное исчисление функций

30. Применение дифференциального и интегрального исчисления к решению физических и геометрических задач в MATLab

31. Элементы интегрального исчисления в курсе средней школы

32. Аспекты исчисления налогов в условиях наличия обособленных подразделений

Кружка фарфоровая "FIFA 2018. Забивака. Германия", 480 мл.
Объем: 480 мл. Материал: фарфор.
389 руб
Раздел: Кружки, посуда
Счеты "Совята".
Счёты "Совята" - это красочная равзвивающая игрушка для детей в возрасте от 3-х лет. Счёты состоят из 5-ти осей с разноцветными
321 руб
Раздел: Счетные наборы, веера
Магнитный лабиринт "Домашние животные".
Магнитный лабиринт "Домашние животные" - увлекательная игрушка для детей, развивающая мелкую моторику рук, координацию движений,
679 руб
Раздел: Сортеры, логические игрушки

33. Исчисление земельного налога

34. Исчисление и уплата налога на добавленную стоимость заказчиком

35. Исчисление и уплата НДС при реализации за пределы РБ товара, приобретенного в РФ

36. Исчисление налогов на прибыль организаций и на доходы физических лиц

37. Командировка работника и исчисление НДС

38. Методы исчисления налогов с юридических лиц
39. Механизм исчисления государственной пошлины
40. Налоги и их исчисление

41. Налогообложение прибыли коммерческих организаций: действующий механизм исчисления и уплаты

42. Особенности исчисления налога на доходы физических лиц в ООО "Магнум"

43. Порядок исчисления НДС переработчиком давальческого сырья (материалов)

44. Правила исчисления и уплаты региональных и местных налогов

45. Проблемы исчисления и взимания сельскохозяйственного налога БГУ

46. Государственная пошлина: особенности исчисления и уплаты организациями РФ

47. Динамика общей суммы налога на прибыль в форме индексов. Темпы роста исчисленных показателей

48. Особенности исчисления НДС транспортными организациями

Коллекция "Гардероб".
Кукольный гардероб для одежды кукол. У гардероба две распашные дверцы, нижний ящик с откидной крышкой, внутренние полочки, перекладина для
362 руб
Раздел: Гардеробные, прихожие
Коробка подарочная "Прованс".
Коробка подарочная. Материал: мелованный, ламинированный, негофрированный картон плотностью 1100 г/м2. Отделка: полноцветный декоративный
302 руб
Раздел: Коробки
Стержень для шариковых ручек "QuinkFlow", синий, F.
Стержень для шариковых ручек "QuinkFlow". Цвет чернил: синий. Длина: 98 мм. Линия письма: F.
343 руб
Раздел: Стержни для ручек

49. Великобритания (расширенный вариант реферата 9490)

50. Реферат о Пугачеве

51. Реферат перевода с английского языка из книги “A History of England” by Keith Feiling

52. Реферат по книге Фернана Броделя

53. Субъект преступления ("подновлённая" версия реферата 6762)

54. Психология труда (Обзорный реферат по психологии труда)
55. "Русский Тарзан" (реферат о российском пловце Александре Попове)
56. Реферат по статье П. Вайнгартнера «Сходство и различие между научной и религиозной верой»

57. Генезис капитализма в Мексике. Реферат по истории экономики

58. Выбор логической структуры процессора

59. реферат

60. Обзорный реферат по творчеству Ф.И. Тютчева

61. Аргументация и доказательство, как ее логическая основа. Структура доказательства

62. Реферат - Физиология (Транспорт веществ через биологические мембраны)

63. США и Канада в АТР: набор рефератов

64. Как написать хороший реферат?

Штатив с Bluetooth для создания снимков "selfie" (Camera Stick - Selfie Stick).
Поднимите искусство селфи на новый уровень со штативом. Путешествуйте и фотографируйтесь на фоне живописных пейзажей. Находите самые
309 руб
Раздел: Держатели и подставки
Подгузники Merries для новорожденных, 0-5 кг, экономичная упаковка, 90 штук.
Большая экономичная упаковка мягких и тонких подгузников для новорожденных. Подгузники пропускают воздух, позволяя коже малыша дышать.
1374 руб
Раздел: 0-5 кг
Форма для выпечки на 9 ячеек "Паровозик", 21,5x29x4,5 см (силикон).
Форма для выпечки на 9 ячеек "Паровозик". Силиконовые формы изготовлены из специального силиконового материала, благодаря
333 руб
Раздел: Формы и формочки для выпечки

65. Сборник рефератов о конфликтах

66. Реферат кондитерское изделие

67. Реферат по статье Гадамера Неспособность к разговору

68. Реферат Евро

69. Реферат о прочитаной на немецком языке литературы

70. Лесные пожары - реферат
71. ДЫХАНИЕ - реферат за 9-й класс
72. Реферат по Мексике

73. Перевод реферата "Acquaintance with geometry as one of the main goals of teaching mathematics to preschool children"

74. Проектирование сложных логических структур на МДП-транзисторах

75. Типы и элементы планировочной структуры города

76. Структура организации материи

77. Анализ устойчивости и поддержание орбитальной структуры космической системы связи

78. Структура и состояние водоснабжения и водосброса, подземных вод и артезианских скважин города Киева

79. Роль и значение машиностроительного комплекса в структуре народного хозяйства России

80. Структура транспорта в Европе

Машинка "Бибикар (Bibicar)" с полиуретановыми колесами, красная.
Детская машинка «Бибикар» станет идеальным источником не только развлечения, но и развития для любого ребёнка, которому уже исполнилось 3
2650 руб
Раздел: Каталки
Пенал-косметичка "Pixie Crew" с силиконовой панелью для картинок (чёрный, синий).
Повседневные вещи кажутся скучными и однотонными, а тебе хочется выглядеть стильно и быть не как все? "Pixie Crew" сделает твою
799 руб
Раздел: Без наполнения
Набор детской посуды "Холодное сердце. Дисней", 3 предмета.
Детский набор посуды сочетает в себе изысканный дизайн с максимальной функциональностью. Предметы набора выполнены из высококачественной
387 руб
Раздел: Наборы для кормления

81. Аппарат государственной власти и его структура

82. Нормы права. Структура норм права

83. Структура государственных органов США по Конституции 1787 года

84. Двухпалатная структура Федерального Собрания

85. Отчет по учебно-ознакомительной практике (c правовыми основами местного самоуправления, формированием представительных и исполнительных органов власти, структурой и функциями органов местного самоуправления)

86. Понятие и структура компетенции местного самоуправления
87. Структура налоговых органов РФ права, обязанности и функции
88. Структура налоговых органов Российской Федерации

89. Цели, задачи и структура Федерального закона № 122-ФЗ

90. Структура нормы права

91. Структура правоотношения. Классификация правоотношений: критерии и виды

92. Семантические типы предикатов, выраженных глаголами эмоционально-оценочной группы appreciate, cherish, value

93. Сравнительное описание слоговых структур английского и каракалпакского языков

94. Структура культуры. Классификация ее видов

95. Загальна структура мовної системи

96. Предложения с именным предикатом состояния и их коммуникативные функции

Цветные карандаши Color Peps Maxi, трехгранные, 12 цветов.
Широкий грифель: плотное закрашивание, толстый карандаш удобен для самых маленьких.
371 руб
Раздел: 7-12 цветов
Телескопическая вилка.
Прикольный подарок, который рассмешит участников любого застолья. При помощи этой вилки Вы можете с невозмутимым видом «подцепить»
427 руб
Раздел: Прочее
Штора для ванной комнаты (арт. RPE-730020).
Размер: 200х200 см. Материал: полиэстер. В комплекте 12 крючков.
375 руб
Раздел: Занавески

97. Трансформация жанровой структуры литературы Древнего Египта

98. Структура ораторской речи

99. Основные компоненты систем управления документооборотом. Фрейм: его структура и понятие


Поиск Рефератов на сайте za4eti.ru Вы студент, и у Вас нет времени на выполнение письменных работ (рефератов, курсовых и дипломов)? Мы сможем Вам в этом помочь. Возможно, Вам подойдет что-то из ПЕРЕЧНЯ ПРЕДМЕТОВ И ДИСЦИПЛИН, ПО КОТОРЫМ ВЫПОЛНЯЮТСЯ РЕФЕРАТЫ, КУРСОВЫЕ И ДИПЛОМНЫЕ РАБОТЫ. 
Вы можете поискать нужную Вам работу в КОЛЛЕКЦИИ ГОТОВЫХ РЕФЕРАТОВ, КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ, выполненных преподавателями московских ВУЗов за период более чем 10-летней работы. Эти работы Вы можете бесплатно СКАЧАТЬ.