Международный женский день
Пасха
День Победы
Выберите Ваш город X

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

Купить Гарантия
Код работы: 26028
Дисциплина: Математика
Тип: Реферат
Вуз:ВЗФЭИ - посмотреть другие работы и дисциплины по этому вузу
   
Цена: 290 руб.
Просмотров: 7028
Уникальность: В пределах нормы. При необходимости можно повысить оригинальность текста
   
Содержание: Содержание

Введение 3
1 Предикаты и операции над ними 4
2 Кванторы. Свободные и связанные переменные 7
Заключение 10
Список использованных источников 11

   
Отрывок: Введение

Не любые высказывания и логические рассуждения могут быть описаны на языке логики высказываний. Высказывания, описывающие некоторые свойства объектов, или отношения между объектами выходят за рамки логики высказываний. Поэтому математики расширили логику высказываний и построили такую логическую систему, в рамках которой можно было бы исследовать структуру и содержание тех высказываний, которые в рамках алгебры высказываний считались бы элементарными. Эта логическая система называется логикой предикатов, а алгебра высказываний есть ее составная часть.Логика предикатов расчленяет высказывание на объект (подлежащее) и предикат (сказуемое). Объект – это то, о чем что-то утверждается в высказывании; предикат – это то, что утверждается об объекте.
Из всего вышесказанного вытекает актуальность темы реферата «Предикаты и кванторы».
Объект исследования данного реферата – логика предикатов, предмет – предикаты и кванторы.
Целью данной работы является изучить предикаты и кванторы.
В рамках поставленной цели необходимо решить следующие задачи:
 рассмотреть понятия предиката и квантора;
 рассмотреть операции над предикатами;
 рассмотреть свободные и связанные переменные.
В процессе написания данной работы использовались следующие методы исследования: анализ литературных источников, сравнительно-сопоставительный метод, обобщения, описания и другие методы научного познания.
Теоретической базой реферата послужила классическая научная литература по математической логике – Игошин В.И., Пайсон Б.Д.

Купить эту работу
Гарантия возврата денег

 
Не подходит готовая работа? Вы можете заказать курсовую, контрольную, дипломную или другую студенческую работу профессиональным авторам!
 
Вернуться к рубрикатору дисциплин »
 

Другие готовые работы для скачивания, которые могут Вам подойти

Тема: Вариант №3 Контрольная работа №6 Подробнее
Тип: Контрольная
Вуз: ОмГУПС
Просмотры: 11382
Тема: Вариант 4 КН 1, 2, 3, 4, 5, 6. Подробнее
Тип: Контрольная
Вуз: АлтГПА
Просмотры: 9429
Тема: Вариант 2 Подробнее
Тип: Контрольная
Вуз: АлтГТУ
Просмотры: 5103
Тема: В.10 Подробнее
Тип: Контрольная
Вуз: АПЭК
Просмотры: 8484
Тема: Простые и составные числа Подробнее
Тип: Курсовая
Вуз: Иной
Просмотры: 9515
Тема: Задание 1,2,3,4,5,6,7,8,9,10 N=14 Подробнее
Тип: Контрольная
Вуз: АГУ
Просмотры: 9945

Поиск других готовых работ, выполненных в «ИнПро»


Не нашли готовую работу? Отправьте заявку - закажите работу по нужной теме нашим авторам!
 
Вы также можете: Вернуться к рубрикатору дисциплин »