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

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

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

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

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

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

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

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

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

Тема: Контрольная работа №3 вариант 7 Подробнее
Тип: Контрольная
Вуз: ВЗФЭИ
Просмотры: 11659
Тема: задание 1,2,3,4,5,6,7,8 Подробнее
Тип: Контрольная
Вуз: АГАУ
Просмотры: 9120
Тема: производные - вариант № 6 Подробнее
Тип: Контрольная
Вуз: СибАГС
Просмотры: 8107
Тема: КН1 N=7 Подробнее
Тип: Контрольная
Вуз: АГУ
Просмотры: 6823
Тема: Вариант9 Подробнее
Тип: Контрольная
Вуз: АГАУ
Просмотры: 6895
Тема: Контрольная 1 Подробнее
Тип: Контрольная
Вуз: СибУПК
Просмотры: 5151

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


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