wiki-linki.ru - поиск статей википедии и связей между ними

Логика второго порядка


Логика второго порядка — расширяет логику первого порядка, позволяя проводить квантификацию общности и существования не только над атомами, но и над предикатами.


Вопрос по теме Сформулируйте свой вопрос в одном предложении. Для вопросов и ответов используется сервис Отвечай.ru

Проект wiki-linki.ru основан на данных Wikipedia, доступной в соответствии с GNU Free Documentation License.