|
Купить Гарантия | |
| Код работы: | 26028 | |
| Дисциплина: | Математика | |
| Тип: | Реферат | |
| Вуз: | ВЗФЭИ - посмотреть другие работы и дисциплины по этому вузу | |
| Цена: | 390 руб. | |
| Просмотров: | 13178 | |
| Уникальность: | В пределах нормы. При необходимости можно повысить оригинальность текста |
|
| Содержание: |
Содержание Введение 3 1 Предикаты и операции над ними 4 2 Кванторы. Свободные и связанные переменные 7 Заключение 10 Список использованных источников 11 |
|
| Отрывок: |
Введение Не любые высказывания и логические рассуждения могут быть описаны на языке логики высказываний. Высказывания, описывающие некоторые свойства объектов, или отношения между объектами выходят за рамки логики высказываний. Поэтому математики расширили логику высказываний и построили такую логическую систему, в рамках которой можно было бы исследовать структуру и содержание тех высказываний, которые в рамках алгебры высказываний считались бы элементарными. Эта логическая система называется логикой предикатов, а алгебра высказываний есть ее составная часть.Логика предикатов расчленяет высказывание на объект (подлежащее) и предикат (сказуемое). Объект – это то, о чем что-то утверждается в высказывании; предикат – это то, что утверждается об объекте. Из всего вышесказанного вытекает актуальность темы реферата «Предикаты и кванторы». Объект исследования данного реферата – логика предикатов, предмет – предикаты и кванторы. Целью данной работы является изучить предикаты и кванторы. В рамках поставленной цели необходимо решить следующие задачи: пЂ рассмотреть понятия предиката и квантора; пЂ рассмотреть операции над предикатами; пЂ рассмотреть свободные и связанные переменные. В процессе написания данной работы использовались следующие методы исследования: анализ литературных источников, сравнительно-сопоставительный метод, обобщения, описания и другие методы научного познания. Теоретической базой реферата послужила классическая научная литература по математической логике – Игошин В.И., Пайсон Б.Д. | |
|
Купить эту работу Гарантия возврата денег |
||
Другие готовые работы для скачивания, которые могут Вам подойти
| Тема: | в.2 | Подробнее |
| Тип: | Контрольная | |
| Вуз: | НИИ ПТК | |
| Просмотры: | 9738 | |
| Тема: | Математика. Задания 1-10 | Подробнее |
| Тип: | Контрольная | |
| Вуз: | АГУ | |
| Просмотры: | 16112 | |
| Тема: | Линейная алгебра и аналитическая геометрия | Подробнее |
| Тип: | Контрольная | |
| Вуз: | АГАУ | |
| Просмотры: | 11732 | |
| Тема: | КН1 вариант 4 | Подробнее |
| Тип: | Контрольная | |
| Вуз: | АГАУ | |
| Просмотры: | 15669 | |
| Тема: | Математика вариант 11 задания 1,2,3,4 (а-е),5 (а,в),6(а,б),7 (а,б), 8(а,в),9 | Подробнее |
| Тип: | Контрольная | |
| Вуз: | АлтГТУ | |
| Просмотры: | 15766 | |
| Тема: | Задания | Подробнее |
| Тип: | Контрольная | |
| Вуз: | АГАУ | |
| Просмотры: | 12164 | |
Поиск других готовых работ, выполненных в «ИнПро»
