Логика предикатов
| Категория реферата: Рефераты по философии
| Теги реферата: bestreferat ru, роботы реферат
| Добавил(а) на сайт: Пондяков.
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10
В каждом вспомогательном выводе отдается предпочтение правилам группы с меньшим номером. Если порядок применения правил нарушается, то поиск вывода может не дать искомого результата.
В отличие от классической логики, для поиска выводов в которой имеется одна фигура, в предложенной системе поиска для интуиционистской логики имеется правила “или”-ветвления. Это требует разработки новых программных средств по сравнению с классической логикой
ЛИТЕРАТУРА:1. Асмус В. Ф. Проблема интуиции в философии и математике. — М.: Мысль, 1965.
2. Новиков П. С. Элементы математической логики. — М.: Государственное издательство физико-математической литературы, 1959.
3. Овчаров А. А. Интуиция в модальной логике. — Кемерово: Кузбассвузиздат, 1997.
4. Овчаров А. А. Введение в идеал-реалистическую теорию интуицию. Логика социальных изоморфов. — Кемерово: Кузбассвузиздат, 1999.
5. Целищев В. В., Карпович В. Н., Поляков И. В. Логика и язык научной теории. — Новосибирск: Наука, 1982.
Скачали данный реферат: София, Вилен, Никаев, Мяукин, Анфия, Домышев, Алиев.
Последние просмотренные рефераты на тему: сочинение евгений онегин, курсовик, скачать дипломную работу, бесплатные доклады.
Категории:
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10
Главная