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

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

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

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

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

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

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

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

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

Тема: Контрольная работа по математика Подробнее
Тип: Контрольная
Вуз: АГУ
Просмотры: 8544
Тема: Контрольная работа 1 и 3 - вариант 2 Подробнее
Тип: Контрольная
Вуз: АГАУ
Просмотры: 10163
Тема: Контрольная работа 2 N=19 (9) Подробнее
Тип: Контрольная
Вуз: АГУ
Просмотры: 6404
Тема: математика 5,26,47,58,69,90,91,112 (вариант5) Подробнее
Тип: Контрольная
Вуз: РГАЗУ
Просмотры: 7353
Тема: Вариант 9 Подробнее
Тип: Контрольная
Вуз: ТюмГУ
Просмотры: 4656
Тема: Задача 3,23,43,63,83 Подробнее
Тип: Контрольная
Вуз: АГАУ
Просмотры: 6205

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


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