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

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

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

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

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

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

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

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

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

Тема: Вариант 9 Подробнее
Тип: Контрольная
Вуз: АГАУ
Просмотры: 5631
Тема: Математика Вариант 10 Подробнее
Тип: Контрольная
Вуз: Ранхингс
Просмотры: 7104
Тема: Вариант 9 Подробнее
Тип: Контрольная
Вуз: Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ)
Просмотры: 8715
Тема: Контрольная работа 3 по теории вероятности вариант 8 Подробнее
Тип: Контрольная
Вуз: ВЗФЭИ
Просмотры: 12170
Тема: КН 4,5,6 вариант 23 Подробнее
Тип: Контрольная
Вуз: АлтГТУ
Просмотры: 7282
Тема: вариант 2 (1,2,3 задания) Подробнее
Тип: Контрольная
Вуз: Школа № 103
Просмотры: 7595

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


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