| To‘liq matnni ko‘chirib olish uchun kutubxonaga a'zo bo‘lish shart | |
|---|---|
| Fayl formati: | application/pdf |
| Fayl format turi: | application/pdf |
| Fayl hajmi: | 7.75 MB |
| Hujjat turi: | O'quv qo'llanma |
| Nashr tili: | O'zbekcha |
| Kataloglashtirish manbai: | Kiril |
| Hujjat tipi: | Bosma shaklda |
| Kirish huquq turi: | OCHIQ KIRISH |
Мантиқ
Kitob mualliflari
Шарипов М.,
Файзихўжаев Д.,
Мазкур ўқув қўлланмада формал мантиқнинг ҳозирги пайтдаги ўзига хослигини белгилаб берадиган формаллашган тилини нисбатан чуқурроқ ёритилган ҳамда унинг ёрдамида мулоҳазалар мантиғи ва предикатлар мантиғи системалари тўғрисида бошланғич маълумотлар берилган.
| Bilimlar sohasi: | | Logika | |
|---|---|
| UDK | |
| Kitob nashriyoti nomi: | Ғафур Ғулом номидаги нашриёт-матбаа ижодий уйи |
| Kitob nashr qilingan shahar: | Тошкент |
| ISBN: | 5-635-02233-2 |
| Kitob nashr qilingan yili: | 2004 Yil |
| Betlar Soni: | 216 |
Kitobga aloqador kitoblar
Механизация и автоматизация хранения и переработки сельскохозяйственной продукции
Худоёров З. Ж.,
Мирзаходжаев Ш. Ш.,
Мустафаева Н. А.,