Книга: Джесси Рассел «Логика первого порядка»
Серия: "-" Логика первого порядка (исчисление предикатов) — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Издательство: "VSD" (2012)
ISBN: 978-5-5129-0997-3 |
Другие книги автора:
Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|
Карликов, Вячеслав Александрович | Вячеслав Александрович Карликов (15 (27) декабря 1871, Сырдарьинская область — 17 октября 1937, Бутовский полигон… — VSD, - Подробнее... | бумажная книга | ||
Инфракрасная фотография | Данное издание представляет собой компиляцию сведений, находящихся в свободномдоступе в среде Интернет в… — VSD, - Подробнее... | бумажная книга | ||
Очень голодная гусеница | Данное издание представляет собой компиляцию сведений, находящихся в свободномдоступе в среде Интернет в… — VSD, - Подробнее... | бумажная книга |
См. также в других словарях:
Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
Нечёткая логика первого порядка — Эта страница требует существенной переработки. Возможно, её необходимо викифицировать, дополнить или переписать. Пояснение причин и обсуждение на странице Википедия:К улучшению/8 августа 2012. Дата постановки к улучшению 8 августа 2012. Нечёткая… … Википедия
Логика второго порядка — в математической логике формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… … Википедия
Терм (логика первого порядка) — … Википедия
Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия