4.
|
VI. Ta’lim texnologiyalari va metodlari:
Ma’ruzalar;
Interfaol keys-stadilar;
Guruhlarda ishlash;
Taqdimotlar tayyorlash;
Individual loyihalar;
Jamoa bo‘lib ishlash va himoya qilish uchun loyihalar.
|
5
|
VII. Kreditlarni olish uchun talablar:
Fanga oid nazariy va uslubiy tushunchalarni to'la o'zlashtirish, tahlil natijalarini to'g'ri aks ettira olish, o'rganilayotgan jarayonlar haqida mustaqil mushohada yuritish va joriy, onliq nazorat shakllarida berilgan vazifa va topshiriqlarni bajarish, yakuniy nazorat bo'yicha yozma ishni topshirish. O'qishni baholash talabalarning butun kurs davomidagi ishtiroki, shuningdek, nazariya bo'yicha yakuniy test 50%, oraliq nazorat 20% va mustaqil ta'lim suhbat natijasiga ko'ra 30% baholish amalga oshiriladi.
|
6.
|
Asosiy adabiyotlar
1. Иван Братко. Пролог - язык логического программирования
Bratko, Ivan, Prolog programming for artificial intelligence. 3. ed.: Harlow: Addison-Wesly, 2001
2. П.Гоше и др. Логический подход к искусственному интеллекту. тома 1,2,3,4 др.с французского, 1990
3. Aнтon Xoломьёв, Yчебник по Haskell, 3.0 Generic license (CC BY-
Qo‘shimcha adabiyotlar
Малиас Дж. Реляционный язык Пролог и его применение. с англ. 1990.
Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог Пер. с англ. 1990
Турчин В.Ф. Феномен науки. 2002
Internet resurslari va saytlari
1.https://www.intuit.ru/studies/courses/44/44/info - Ocнoвы программирования на языке Пролог
2. https://www.intuit.ru/studies/courses/12333/1180/info-Ocнoвы программирования на языке Visual Prolog
3.https://www.intuit.rt язык и библнотекси Нaskell-98
4.https://www.intuit.n Пporрaммирование на языке Нaskell
5.vww.ziyonet.uz - ta'lim portali.
|
7.
|
Muhammad al-Xorazmiy nomidagi Toshkent axborot texnologiyalari universiteti tomonidan ishlab chiqilgan va tasdiqlangan
|
|
Do'stlaringiz bilan baham: |
