| To‘liq matnni ko‘chirib olish uchun kutubxonaga a'zo bo‘lish shart | |
|---|---|
| Fayl formati: | |
| Fayl format turi: | application/pdf |
| Fayl hajmi: | 4.31 MB |
| Hujjat turi: | Darslik |
| Nashr tili: | Ruscha |
| Kataloglashtirish manbai: | Kiril |
| Hujjat tipi: | Faqat elektron (pdf va boshqa) |
| Kirish huquq turi: | YOPIQ KIRISH |
Математическая логика и теория алгоритмов
Kitob mualliflari
Игошин В.И.,
Данный курс посвящён изучению логических систем, формальных языков и алгоритмов. Он рассматривает законы логического вывода, методы доказательства, а также принципы построения и анализа алгоритмов. Особое внимание уделяется понятиям вычислимости, сложности алгоритмов и формальным моделям вычислений.
| Bilimlar sohasi: | | |
|---|---|
| UDK | 510 |
| Kitob nashriyoti nomi: | Академяси |
| Kitob nashr qilingan shahar: | Москва |
| ISBN: | 978-5-7695-4593-1 |
| Kitob nashr qilingan yili: | 2008 Yil |
| Betlar Soni: | 452 |
Kitobga aloqador kitoblar
PEDAGOGIKA NAZARIYASI VA TARIXI (I-qism)
S.O‘. Sharifzoda,
O.A. Otajonov,
N.R. Kutlimurotova,
A.A. Matmurotov,
A.D. Raximova.,
PEDAGOGIKA NAZARIYASI VA TARIXI (II-qism)
S.O‘. Sharifzoda,
O.A. Otajonov,
X.S. Salavatova,
H.Q. Karimov,
M.Z. Yunusxo‘jayev.,
Hozirgi o'zbek tili (kirish, Fonologik-fonetik sath, Leksik-semantika sath)
Sayfullayeva R.R,
Mengliyev B.R.,
Abuzalova M.Q.,
Yuldasheva D.N.,