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

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

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

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

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

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

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

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

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

Тема: Вариант 14 Подробнее
Тип: Контрольная
Вуз: АГМУ
Просмотры: 6370
Тема: Вариант 8 Подробнее
Тип: Контрольная
Вуз: Неизвестен
Просмотры: 5780
Тема: КН1 N=7 Подробнее
Тип: Контрольная
Вуз: АГУ
Просмотры: 6826
Тема: Вариант9 Подробнее
Тип: Контрольная
Вуз: АГАУ
Просмотры: 6898
Тема: Вариант 5 Подробнее
Тип: Контрольная
Вуз: СГУ Путей Сообщения
Просмотры: 7273
Тема: Дифференциальное исчисление функций одной переменной, функций нескольких переменных Вариант 1 Подробнее
Тип: Контрольная
Вуз: АлтГТУ
Просмотры: 6575

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


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