| To‘liq matnni ko‘chirib olish uchun kutubxonaga a'zo bo‘lish shart | |
|---|---|
| Формат файла: | application/pdf |
| Тип формата файла: | application/pdf |
| Размер файла: | 7.75 MB |
| Тип: | O'quv qo'llanma |
| Язык: | |
| Написание книг: | |
| Тип текста: | |
| Тип доступа: |
Мантиқ
Авторы книг
Шарипов М.,
Файзихўжаев Д.,
Мазкур ўқув қўлланмада формал мантиқнинг ҳозирги пайтдаги ўзига хослигини белгилаб берадиган формаллашган тилини нисбатан чуқурроқ ёритилган ҳамда унинг ёрдамида мулоҳазалар мантиғи ва предикатлар мантиғи системалари тўғрисида бошланғич маълумотлар берилган.
| Научное направление: | | Logika | |
|---|---|
| УДК | |
| Название книжного издательства: | Ғафур Ғулом номидаги нашриёт-матбаа ижодий уйи |
| Город, в котором вышла книга: | Тошкент |
| ISBN: | 5-635-02233-2 |
| Год выхода книги: | 2004 Yil |
| Количество страниц: | 216 |
Kitobga aloqador kitoblar
Механизация и автоматизация хранения и переработки сельскохозяйственной продукции
Худоёров З. Ж.,
Мирзаходжаев Ш. Ш.,
Мустафаева Н. А.,