Мекен-жайы: Шымкент қ, А. Байтұрсынов көшесі, н/ү, 319 каб. Тел

жүктеу 202,5 Kb. бет 2/4 Дата 15.09.2022 өлшемі 202,5 Kb. #39268 түрі Бағдарламасы

Навигация по данной странице:

• 3. Курс мазмұны

Курс пререквизиті Информатика, Алгебра, Информатиканың теоретикалық негіздері, Компьютердегі практикум, программалау тілдері, деректер базасы және ақпараттық жүйелер, операциялық жүйелер. Курс постреквизиті Информатиканы оқыту теориясы және әдістемесі, Ықтималдықтар теориясы және математикалық статистика, Тиімділік әдістері, Интернет. 2 Курс саясаты СӨЖ - ге арналған тапсырмалар бірінші аптада беріледі. Студент қатыспаған сабақтарын кафедрада бекітілген кестеге сәйкес тапсырады. Ағымды аптада тапсырманы дер кезінде орындамаған жағдайда бағасы 20% төмендетіледі. Студент семестр барысында оқытушы анықтайтын тізбеге сәйкес 4 тапсырма орындауы тиіс. Әрбір сабақ түрі 100 % көрсеткішпен бағаланып, балл компьтерде есептеледі Межелік бақылаудар 30 балдан болады. Емтиханға 36 балдан кем жинаған студенттер жіберілмейді. Емтихан мин-20, мах-40 балмен бағаланады. Студенттер білімінің қорытынды бағасы Әріптік жүйе Сандық эквивалент %-дық өлшем Дәстүрлі жүйе А 4,0 95-100 өте жақсы А- 3,67 90-94 В+ 3,33 85-89 жақсы В 3,0 80-84 В- 2,67 75-79 С+ 2,33 70-74 қанағаттанарлық С 2,0 65-69 С- 1,67 60-64 Д+ 1,33 55-59 Д 1,0 50-54 F 0 0-49 қанағаттанарлықсыз 3. Курс мазмұны 3.1 Дәріс сабақтарының тақырыптық жоспары 1 МОДУЛЬ. Жасанды интеллект жүйелерінің базалық түсініктері. 1 дәріс. Кіріспе. Жасанды интеллект аймағындағы зерттеуге шолу Жасанды интеллекттің негізгі анықтамалары және түсініктері. Информатика және жасанды интеллект. Жасанда интеллектің тарихы және қолданулары. Жасанды интеллектіні зерттеудің негізгі бағыттары. Жасанды интеллект ғылым ретінде 2 дәріс. Модернизациялау периоды. Жасанды зерде тарихындағы «қысқы ұйқы» және «ояну»кезеңдері. Негізгі ұғымдар және анықтамалар. Есептің кескіндемесі. Есептің табиғи және формалді түрде қойылуы. Тұйық пішінде берілген есептер. Есепті шешудің жалпы әдістері. Есепті толық шешудің мысалдары. Есепті шешуге арналған бастапқы қажетті шарттар. Математикалық таңбалардың және математиканы оқытудың тарихынан үзінділер. 3 дәріс. Негізгі ұғымдар, анықтамалар және жасанды зерде жүйесінің қызметтері. Қолдану аясы. Жасанды зерденің неғұрлым белгілі жүйелері Графтар мен ағаштар. Изоморфизм.Графтар теориясымен байланыс. Байланыстылық. Гамильтондық жазықтық. 4 дәріс. Топтастыру мақсаттарының ұсынулары. Қисынды үлгілер.Орграфтар мен мультиграфтар. Псевдографтар мен гиперграфтар. Ағаштар және олардың эксплициттік берілулері, олардың ара қатынастары. Ағаштарды аралау. Графтардағы іздеу алгоритмдері. Тереңдете теріп шығу алгоритмі. Тең бағалылықтың алгоритмі. Реттелген іздеу алгоритмі. 5 дәріс. Интеллектуальді интерфейс.Түсіну деңгейлерінің классификациясы Формальды жүйелер. Аксиомалар мен қорыту ережелері. Формальды қорытынды. Қорытынды ағаштар. Айтылымдар және предикаттар алгебралары. Формальды жүйенің шешілімділігі және мағынасы. Унификация алгоритмі және оны қолдану мысалдары. 6 дәріс. Пролог және қатынастық тіл. Пролог Логикалық бағдарлау тілі. Пролог. Теоремаларды бағдарлау арқылы дәлелдеу. «Логик-теоретик» бағдарламасы.. Резолюция қағидасы қағидасын қолданып, теоремаларды автоматты дәлелдеу. 7 дәріс. Шешім мақсаттарын дедуктивті таңдау. Шешім мақсаттары, монотондық емес логиканы қолдану, логиканың ықтималдылығы. Есептерді шешудің классикалық әдістері. Тиімді алгоритмдердің мысалдары. Есептерді қиындығына байланысты жіктеу алгоритмі. жүктеу 202,5 Kb. Достарыңызбен бөлісу:

©g.engime.org 2024
әкімшілігінің қараңыз