Mahsulot tavsifi
Введение в предикаты. Предикаты в логике первого порядка являются функциями, отображающими аргументы в значения истинности. Унарные предикаты описывают характеристики объектов, а предикаты с двумя и более аргументами устанавливают взаимосвязь между объектами
#предикаты#логика#первый порядок
Muallif
Sotuvchi 115395Tasdiqlangan muallif
- Hujjatlari
- 46 663
- Sotilgan
- 2 146
