Задачи и упражнения по математической логике и теории алгоритмов

Kitob mualliflari Игошин В.И.,

Пособие содержит разнообразные задачи и упражнения по основным разделам математической логики и теории алгоритмов. Оно помогает студентам лучше понять формальные логические системы, освоить методы доказательства и научиться анализировать алгоритмы. Задания варьируются по уровню сложности — от базовых до более продвинутых.

Bilimlar sohasi: |
UDK 510
Kitob nashriyoti nomi: Академия
Kitob nashr qilingan shahar: Москва
ISBN: 5-7695-3728-0
Kitob nashr qilingan yili: 2007 Yil
Betlar Soni: 0
To‘liq matnni ko‘chirib olish uchun kutubxonaga a'zo bo‘lish shart
Fayl formati: pdf
Fayl format turi: application/pdf
Fayl hajmi: 7.53 MB
Hujjat turi: Darslik
Nashr tili: Ruscha
Kataloglashtirish manbai: Kiril
Hujjat tipi: Faqat elektron (pdf va boshqa)
Kirish huquq turi: YOPIQ KIRISH

Kitobga aloqador kitoblar