Mahsulot tavsifi
Fikriyifodalarni minimallashtirishda Kamo kartalari usuli 2,3,4 argumentlik funksiyalar uchun. Fikriyifodalarni shakllantirishda predikatlar. Bir, ikki, uch o’rinli predikatlar. Mavjudlik, ixtiyoriylik kvantorlari. MDNSFI, MKNSH dagi fikriy ifodalar uchun Kontakt-rele sxemalarini tuzish usullari. Analiz, sintez masalalari. Graflarning berilish usullari. Bir usulga ko’ra boshqa ko’rinishlarini tiklash qoidalari. Misollar bilan. Graf qo’shnilik, insidentlik matritsalarini tuzish. Matritsalariga ko’ra grafni tiklash.
#analiz
Muallif
seller 1Tasdiqlangan muallif
- Hujjatlari
- 4 825
- Sotilgan
- 585
