П Р С Т У Ф Х Ц Ч Ш Э Ю Я
исчисление предикатов
Исчисление предикатов - расширение исчисления высказываний путем формализации выводов, основывающихся на внутренней структуре высказываний. Понятие формулы и. п. расширяется путем введения понятия предиката от одного или нескольких предметных переменных.
Источники:
- Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.
|
ПОИСК:
|
В парижской часовне найдены кости времен Французской революции
Ученые обнаружили следы развитых технологий в древней Европе
В озере Титикака нашли идеально сохранившиеся артефакты эпохи Империи инков
История жанров: исторический роман и альтернативная история
История создания системы тестирования знаний
История косметики: от древнеегипетских средств до каталога Avon
В Помпеях нашли дома с балконами
Радиофизика шестидесятников: история двух великих открытий
Космический телескоп «Кеплер» завершил 9-летнюю миссию
Двигатели межпланетной станции 'Вояджер-1' заведены после 37 лет простоя
Миссия «Экзомарс» вступает во вторую стадию
«Хаябуса-2» во второй раз добыл грунт с астероида Рюгу
Шесть способов попасть в космос (и все дорогие)
NASA протестировало новые скафандры для открытого космоса
В сеть выложили коллекционные экспонаты из музея Метрополитен
Маленький крестик позволил узнать историю картины XV века
Завершена реставрация картины Питера Брейгеля Старшего «Триумф смерти»
Для Дега Парижская опера была лабораторией и «его спальней»
Пропавший портрет молодого Диккенса через 150 лет нашли в Африке
Неприкаянные души Адама Хоуи на его многочисленных мрачных холстах
Арт-дилер Ян Сикс объявил, что обнаружил ранее неизвестную картину Рембрандта© FILOSOF.HISTORIC.RU 2001–2023
Все права на тексты книг принадлежат их авторам!
При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'