Mahsulot tavsifi
Mantiqiy dasturlash texnologiyasining nazariy asoslari, propozitsion va birinchi tartibli mantiq, unifikatsiya algoritmlari, deklarativ hamda protsedural talqin, semantikasi, qarorlilik masalalari, qidiruv strategiyalari va inkor
#mantiqiy ifodalar#formalizm#prolog tili
Muallif
Brend UzTasdiqlangan muallif
- Hujjatlari
- 74 898
- Sotilgan
- 2 236
