ҚОРЫТЫНДЫ СҰРАҚТАР
Дайындаған: магистр, аға оқытушы
Абишова Г.Б.
Шымкент 2016ж
KF 12-06-08
І аралық бақылау
-
Прологта атомдарға мысалдар келтіру.
-
Шешімдер ағашы
-
Ағаш.. Оны ережелерге түрлендіру.
-
Прологта программа құрылымы тұралы түсінік.
-
Жасанды интеллект тұралы түсінік.
-
Машиналық интеллект дегеніміз не?
-
Терім.
-
Құрылым
-
Тізім. Құрылымды ағаш түрінде көрсету.
-
1-ші ретті предикарттар логикасы.
-
Предикарттар логикасы.
-
Қайтару механизмі.
-
Мәліметтерді енгізу шығарудың предикарттары.
-
Жасанды интеллект ұғымы.
-
Жи-тің даму тарихы.
-
Визуал пролог тілінің негізі.
-
Айтылымдар. Факт. Ереже.
-
Айнымалылар.
-
Сұраныстар.
-
Прологтағы унификация.
-
Арифметикалық өрнектер.
-
Операциялар, есептеу реті.
-
Жи-дің қазіргі жағдайы.
-
Эксперттік жүйелер
-
Робототехника.
ІІ – аралық бақылау
-
Автономды агенттер.
-
Чарт-роботтар.
-
Интеллектуалды жүйелер.
-
Интеллектуалды жүйелер, бағыттарына оқытудың мақсаттары мен міндеттері.
-
Интелектуалды жүйелерге оқыту бойынша даярлықты жетілдірудің педагогикалық жүйесі.
-
Экспорттық жүйелер.
-
Экспорттық жүйелер құру кезеңі.
-
Графтар.
-
Экспорттық жүйелердің даму тарихы.
-
Экспорттық жүйелердің қолданылу аймағы.
-
Интеллектуалды жүйелердің зерттеу аймағы.
-
Экспорттық жүйелердің құрылымы мен классификациясы.
-
ЖОО Жи негізінде оқытудың философиясы және әдіснамасы.
-
Мақсат. Берілгендер. Білім қоры.
-
Жеңілдету.
-
Шығару механизмі.
-
Жи жүйесінің компонеттері.
KF 12-06-08
-
Фреймдер.
-
Логикалық модель.
-
Семантикалық тор.
-
Өнімділік модель.
-
Сараптаушы жүйе.
-
Сараптаушы жүйе құрылымы.
-
Сараптаушы жүйені дайындау, әрекеттер еркіндігі.
-
Диалог формасы.
Апталық қорытындылар:
-
Жұмысқа алу сараптаушы жүйесін Визуал Бесик программалау жүйесінде көру.
-
шешімдер ағашы.
-
Ағашты ережелерге түрлендіру.
-
Робот құрылымы
-
Верификациялау деп нені атайды?
-
Жасанды интеллект дегеніміз не?
-
Сараптаушы жүйелерді классификациялау.
-
Формальды жүйе дегеніміз не?
-
градиент стратегиясы.
-
GURU сараптаушы жүйесі.
-
MYCIN, INTERNIST жүйелері.
-
Қабықша жүйе дегеніміз не?
-
Формальды жүйе дегеніміз не, ол қай кезде анықталған деп есептелінеді?
-
жүйені бағалау, түйістіру дегеніміз не?
-
пролог.
-
логикалық операциялар жөнінде түсінік.
-
Предикат. Импликация.
-
импликация қасиеттері.
-
квантор.
-
Турбо прологта пайдалынатын негізгі стандартты облыстар.
-
программаны компиляциялау, сақтау,іске қосу.
-
терм. Құрылым.
-
терім түрлері.
-
тізімге элемент қосу программасын көрсет.
-
тізімге кері жазу программасын көрсет.
Аралық қорытынды:
-
Ай номірін енгізу арқылы, ай атын шығару программасын құру.
-
Аты-жөні енгізу арқылы телефон номірін шығару.
-
<< Сессия >> құрылысын құру, барлық озат оқушыларды (студенттерді) таңдап алу.
-
Доллар – теңге және теңге – доллар қатынасын анықтау.
-
Зауыт құрылымын құру. Қарым – қатынастарын анықтау: бригадир – жұмысшылар, цех.
-
Пролог тілінде вертикальдық кесінді қатынасының бағдарламасын жазу.
KF 12-06-08
-
Егер координаттары берілген болса, тең кесінділер қатынасын анықтау.
-
Егер координаттары берілген болса, кесінді ортасы қатынасын анықтау.
-
Үшбұрыш шыңдары берілген болса, медиана координаттарын анықтау.
-
Екінші курс студенттері туралы мәліметтерді экранға шығару.
-
Оң сандар, теріс сандар қатынастарын анықтаңыз
-
Мына қатынастарды анықтаңыз: логикалық операция және, логикалық операция НЕМЕСЕ.
-
Мына қатынастарды анықтаңыз: логикалық операция ЭКВИВАЛЕНТТІЛІК (егер сандар бірдей шықса, операция нәтижесі 1 – ге тең), логикалық операция ИМПЛИКАЦИЯ (егер А = 1, В = 0 болса, операция нәтижесі 1 – ге тең).
-
Туылған датасы бойынша жұлдызнама тобын анықтау.
-
Адам жасын туған жылы бойынша, сонымен қатар жыл аты бойынша анықтау (мыс.: жылан жылы).
Қабылдаушы: ___________________ магистр, аға оқытушы Абишова Г.Б.
KF 12-06-09
Қазақстан Республикасының білім және ғылым министрлігі
Халықаралық гуманитарлық –техникалық университеті
«Жаратылыстану - техникалық» факультеті
«Есептеу техникасы және стандарттау, сертификаттау» кафедрасы
«Функциональдық және логикалық бағдарламалау» пәні
Білім алушыларды бақылау және оқу жетістіктерін
бағалау туралы мағлұматтар
Т Е С Т
Мамандық «5В070400-Есептеу техникасы және бағдарламалық қамтамасыз ету»
Дайындаған: магистр, аға оқытушы
Абишова Г.Б.
Шымкент 2016ж
KF 12-06-09
1
|
Пайдаланушы интерфейсi
|
^
|
кеңес алуға келген кiсiнiң байланысы орнатылатын программалар жиынтығы.
|
^
|
бiр тiлде жазылған нақты облыстық бiлiмдер жиынтығы (мысалы, фактiлер мен ережелер
|
^
|
пайдаланушы енгiзген берiлгендер мен бiлiм қорында сақталған бiлiмдердi пайдаланып, сараптаушының ой-бағытын өңдеушi программа. Яғни, шешушi жүйенiң “миы”
|
^
|
шығарудың сәйкестiгiн қадағалайтын және нәтиженiң қалай алынғанын не таңдап алынған ұйғарымның қабылданбағаны сияқты сұрақтарға жауап арнайы программа
|
^
|
жасанды интеллект маманына (бiлiм жөнiндегi инженерге) сұхбаттық режимде бiлiм қорын дайындауға мүмкiндiк беретiн программа.
|
2
|
Бiлiм қоры
|
^
|
бiр тiлде жазылған нақты облыстық бiлiмдер жиынтығы (мысалы, фактiлер мен ережелер
|
^
|
кеңес алуға келген кiсiнiң байланысы орнатылатын программалар жиынтығы.
|
^
|
пайдаланушы енгiзген берiлгендер мен бiлiм қорында сақталған бiлiмдердi пайдаланып, сараптаушының ой-бағытын өңдеушi программа. Яғни, шешушi жүйенiң “миы”
|
^
|
шығарудың сәйкестiгiн қадағалайтын және нәтиженiң қалай алынғанын не таңдап алынған ұйғарымның қабылданбағаны сияқты сұрақтарға жауап беретiн арнайы программа
|
^
|
жасанды интеллект маманына (бiлiм жөнiндегi инженерге) сұхбаттық режимде бiлiм қорын дайындауға мүмкiндiк беретiн программа.
|
3
|
Шешушi
|
^
|
пайдаланушы енгiзген берiлгендер мен бiлiм қорында сақталған бiлiмдердi пайдаланып, сараптаушының ой-бағытын өңдеушi программа. Яғни, шешушi жүйенiң “миы”.
|
^
|
бiр тiлде жазылған нақты облыстық бiлiмдер жиынтығы (мысалы, фактiлер мен ережелер
|
^
|
кеңес алуға келген кiсiнiң байланысы орнатылатын программалар жиынтығы.
|
^
|
шығарудың сәйкестiгiн қадағалайтын және нәтиженiң қалай алынғанын не таңдап алынған ұйғарымның қабылданбағаны сияқты сұрақтарға жауап беретiн арнайы программа
|
^
|
жасанды интеллект маманына (бiлiм жөнiндегi инженерге) сұхбаттық режимде бiлiм қорын дайындауға мүмкiндiк беретiн программа.
|
4
|
Түсiнiк берушi iшкi жүйе
|
^
|
шығарудың сәйкестiгiн қадағалайтын және нәтиженiң қалай алынғанын не таңдап алынған ұйғарымның қабылданбағаны сияқты сұрақтарға жауап беретiн арнайы программа
|
KF 12-06-09
^
|
пайдаланушы енгiзген берiлгендер мен бiлiм қорында сақталған бiлiмдердi пайдаланып, сараптаушының ой-бағытын өңдеушi программа. Яғни, шешушi жүйенiң “миы”.
|
^
|
бiр тiлде жазылған нақты облыстық бiлiмдер жиынтығы (мысалы, фактiлер мен ережелер
|
^
|
кеңес алуға келген кiсiнiң байланысы программалар жиынтығы.
|
^
|
жасанды интеллект маманына (бiлiм жөнiндегi инженерге) сұхбаттық режимде бiлiм қорын дайындауға мүмкiндiк беретiн программа.
|
5
|
Бiлiм қоры редакторы.
|
^
|
жасанды интеллект маманына (бiлiм жөнiндегi инженерге) сұхбаттық режимде бiлiм қорын дайындауға мүмкiндiк беретiн программа.
|
^
|
шығарудың сәйкестiгiн қадағалайтын және нәтиженiң қалай алынғанын не таңдап алынған ұйғарымның қабылданбағаны сияқты сұрақтарға жауап беретiн арнайы программа
|
^
|
пайдаланушы енгiзген берiлгендер мен бiлiм қорында сақталған бiлiмдердi пайдаланып, сараптаушының ой-бағытын өңдеушi программа. Яғни, шешушi жүйенiң “миы”.
|
^
|
бiр тiлде жазылған нақты облыстық бiлiмдер жиынтығы (мысалы, фактiлер мен ережелер
|
^
|
кеңес алуға келген кiсiнiң байланысы орнатылатын программалар жиынтығы.
|
6
|
Логика деп –
|
^
|
ой, дүниетану, пікір шығару ережесі жөніндегі ғылым
|
^
|
оның мәні ақиқат не жалған болатын ой, ұйғарым
|
^
|
информацияны өңдеу, іздеу принциптері
|
^
|
предикаттар теориясындағы түрлі функциялар
|
^
|
жасанды интеллектіде түрлі ұйғарымды дәлелдеу
|
7
|
Пікір дегеніміз –
|
^
|
оның мәні ақиқат не жалған болатын ой, ұйғарым
|
^
|
ой, дүниетану, пікір шығару ережесі жөніндегі ғылым
|
^
|
информацияны өңдеу, іздеу принциптері
|
^
|
предикаттар теориясындағы түрлі функциялар
|
^
|
Информацияны іздеу принциптері
|
8
|
Факт деп –
|
^
|
сөзсіз ақиқат болатын жеке мақсат
|
^
|
ереженің егер бөлімі
|
^
|
прологта программа құру
|
^
|
соңғы ережені оқу
|
^
|
прологты іске қосу командасы
|
9
|
Атомдар деп –
|
^
|
сандардан басқа болатын аргументтер, қатыстар және арнайы символдар
|
^
|
Hақты нысандар мен қатыстар
|
^
|
программаға енгізген жазу
|
^
|
нүктенің алдына жазылатын сөз
|
KF 12-06-09
^
|
бос тізім белгісі
|
10
|
Тізім дегеніміз не?
|
^
|
ұзындығы шектелмеген реттелген элементтер тізбегі
|
^
|
Cөйлем
|
^
|
күрделі құрылым түсінігі
|
^
|
ішкі аргументтері бар құрылым
|
^
|
барлық компоненттер үйлесімі
|
11
|
Логика ережелерін пайдаланып, бір ұйғарымды басқа ұйғарымдардан алу дегеніміз –
|
^
|
шығару механизмі
|
^
|
механизм
|
^
|
Eндіру механизмі
|
^
|
теореманы дәлелдеу
|
^
|
логика
|
12
|
Пролог сөйлемдері үш типті:
|
^
|
фактілер, ережелер, сұрақтар
|
^
|
ереже, ақиқат, жалған
|
^
|
дұрыс жауабы жоқ
|
^
|
барлығы да дұрыс
|
^
|
үйлесімділік, дене, ереже
|
13
|
Айнымалы нақтылау деп –
|
^
|
айнымалы сәйкес мәнмен алмастыру
|
^
|
тұрақты сәйкес мәнмен алмастыру
|
^
|
дұрыс жауабы жоқ
|
^
|
нақты фактілерді айтамыз
|
^
|
ережелер жиыны
|
14
|
Прологта бағдарлама емес, қандай тілде есеп шарттарын жазу болып табылады
|
^
|
формальдық логика
|
^
|
графикалық логика
|
^
|
барлық жауабы дұрыс
|
^
|
дұрыс
|
^
|
логикалық емес
|
15
|
Предикат дегеніміз не?
|
^
|
біршама айнымалы не нақты нысандар мен олардың қасиеттері жөнінде пікірлер (предикат - жариялау)
|
^
|
ой, пікір, шығару ережесі жөніндегі ғылым
|
^
|
оның мәне ақиқат не жалған болатын тұжырым
|
^
|
дұрыс жауабы жоқ
|
^
|
пікірлерді, пікірлер арасындағы қатыстарды зерттеуге арналған жүйе
|
16
|
Прологтың бірінші нұсқасы қай жылы жарыққа шықты
|
^
|
1971
|
^
|
1872
|
^
|
1970
|
KF 12-06-09
^
|
1981
|
^
|
1991
|
17
|
Логикалық бағдарламалауға қай тіл жатады?
|
^
|
Пролог
|
^
|
Паскаль
|
^
|
Фортран
|
^
|
Си
|
^
|
Бейсик
|
18
|
Кез-келген сұраққа жүйе қалай жауап береді
|
^
|
иә немесе жоқ
|
^
|
барлығы дұрыс
|
^
|
бар
|
^
|
іздеу керек
|
^
|
дұрыс жауабы жоқ
|
19
|
Салыстыру операциясы былай анықталады:
|
^
|
барлығы дұрыс
|
^
|
ұқсас құрылымдар бір-бірімен салыстырылады.
|
^
|
айнымалы константамен немесе басында белгілі айнымалымен салыстырылады.
|
^
|
екі бос айнымалылар бір-бірімен байланыса алады, және бір-бірімен салыстырылады.
|
^
|
константа тек константамен ғана салыстырылады.
|
20
|
Факті-
|
^
|
бұл аргументтері, константалары болатын предикаттар, объекттер арасында немесе объектілер сипаты қатынасын білдіреді
|
^
|
бұл предикаттар
|
^
|
бұл объектілер арасында немесе обектілер сипаты қатынасы
|
^
|
бұл ереже
|
^
|
барлығы дұрыс
|
21
|
Ереже келесіні анықтауға мүмкіндік береді:
|
^
|
белгілі фактілер негізінде объектілердің арасындағы жаңа қатынастарды.
|
^
|
жаңа фактілерді
|
^
|
жаңа объектілерді
|
^
|
жаңа предикаттарды
|
^
|
барлығы дұрыс
|
22
|
Көрнекі, жоғары дәреже бойынша модельді және оған түрлі өзгерістер мен қосымшалар енгізу қалай аталады?
|
^
|
Өнімдік модель
|
^
|
Білім қоры
|
^
|
Логикалық модель
|
^
|
Білім көзі
|
^
|
Жасанды интеллект
|
23
|
Өнімдік модельді дайындау үшін құрылған бағдарламалау тілі
|
^
|
Пролог
|
KF 12-06-09
^
|
Fox Pro
|
^
|
Делфи
|
^
|
Паскаль
|
^
|
Бейсик
|
24
|
Роботтың ерекшелігі
|
^
|
Pоботтың түрлі механикалық, электромеханикалық және т.б. құрылғылардан жинақталған денесінің кеңістікке жылжуы
|
^
|
Робот адам сияқты бір механикалық не логикалық жұмысты атқаруға арналған білімді өңдейді
|
^
|
Жасанды интеллект негізінде құрылған программаны өңдеп басқаларға үйрету қабілеті
|
^
|
Mеханикалық, электромеханникалық және т.б. құрылғылардан жинақталған техникалық құрылғы
|
^
|
Дұрыс жауап жоқ
|
25
|
Соңғы шыққан робот құрылымына неден тұратын жүйе енгізілген?
|
^
|
Өзгермейтін программадан
|
^
|
Жасанды интеллекттен
|
^
|
Бірінші шыққан робот программаларынан
|
^
|
Сенсорлардан
|
^
|
Барлығы
|
26
|
Робот денесі неден тұрады?
|
^
|
кеңістікте жылжи алатын және сыртқы дүниелік нысандарға әсер ете алатын құрылғылардан
|
^
|
Робот ішінде ортадан түрлі информация қабылдайтын құрылғылар
|
^
|
Логикалық интеллектуалдық ойыншық
|
^
|
Жасанды интеллекттің соңғы технологиясы
|
^
|
Білім жүйесін пайдаланып, құрастырылған логикалық ойыншықтар
|
27
|
Сенсорлар дегеніміз не?
|
^
|
Робот ішінде ортадан түрлі информация қабылдайтын құрылғылар
|
^
|
Роботтың миы
|
^
|
Роботтың денесін басқаратын микроэлектроника
|
^
|
Робот датчигі
|
^
|
Дұрыс жауап жоқ
|
28
|
Роботтың қабылдау жүйесіне не орналастырылады?
|
^
|
Сенсорлар, робот денесін бақылаушы, датчиктер, техникалық көру жүйелері
|
^
|
Роботтың ішіндегі түрлі информация
|
^
|
Логикалық интеллектуалдық ойыншықтар
|
^
|
Жасанды интеллектте қолданылатын түрлі технология
|
^
|
Дұрыс жауап жоқ
|
29
|
Роботтың білім қорында не орналасады
|
^
|
Түрлі білімдер сақталады
|
^
|
Роботтың ішіндегі түрлі информация
|
^
|
Логикалық интеллектуалдық ойыншықтар
|
^
|
Жасанды интеллектте қолданылатын түрлі технология
|
KF 12-06-09
^
|
Дұрыс жауап жоқ
|
30
|
Робот құрылымындағы сұқбаттық процессордың атқаратын қызметі
|
^
|
Білім жүйесін пайдаланып, роботқа келіп түскен мәселені шешу командасын орындайды
|
^
|
Сұхбаттық процессордан келіп түскен команданы тиімді түрде орындауды белгілейді
|
^
|
Жоспарлаушының функциясын орындайды
|
^
|
Роботтың міндетті сыңары, ол өзгермейтін басқару программаларын сақтайды
|
^
|
Дұрыс жауап жоқ
|
31
|
Робот құрылымындағы жоспарлаушы дегеніміз не?
|
^
|
Сұхбаттық процессордан келіп түскен команданы тиімді түрде орындауды белгілейді
|
^
|
Білім жүйесін пайдаланып, роботқа келіп түскен мәселені шешу командасын орындайды
|
^
|
Жоспарлаушының функциясын орындайды
|
^
|
Роботтың міндетті сыңары, ол өзгермейтін басқару программаларын сақтайды
|
^
|
Дұрыс жауап жоқ
|
32
|
Робот құрылымындағы шешушінің атқаратын қызметі
|
^
|
Сұхбаттық процессордан келіп түскен команданы тиімді түрде орындауды белгілейді
|
^
|
Роботтың міндетті сыңары, ол өзгермейтін басқару программаларын сақтайды
|
^
|
Білім жүйесін пайдаланып, роботқа келіп түскен мәселені шешу командасын орындайды
|
^
|
Жоспарлаушының функциясын орындайды
|
^
|
Дұрыс жауап жоқ
|
33
|
Робот құрылымындағы басқару жүйесінің атқаратын қызметі
|
^
|
Роботтың міндетті сыңары, ол өзгермейтін басқару программаларын сақтайды
|
^
|
Сұхбаттық процессордан келіп түскен команданы тиімді түрде орындауды белгілейді
|
^
|
Білім жүйесін пайдаланып, роботқа келіп түскен мәселені шешу командасын орындайды
|
^
|
Жоспарлаушының функциясын орындайды
|
^
|
Дұрыс жауап жоқ
|
34
|
Роботтық техниканың негізгі проблемаларын атаңыз
|
^
|
Блоктардың теориялық принциптері мен техникалық құралдарын дайындап, олардың жұмысын олардың жұмысын программалауға байланысты мәселелер
|
^
|
Роботтың міндетті сыңары - өзгермейтін басқару программаларын сақтайтын стектерге жауап беру
|
^
|
Жоспарлаушының функциясын орындайды
|
KF 12-06-09
^
|
Білім жүйесін пайдаланып, роботқа келіп түскен мәселені шешу командасын орындайды
|
^
|
Сұхбаттық процессордан келіп түскен команданы тиімді түрде орындауды белгілейді
|
35
|
Сұхбаттық процессордан келіп түскен команданы тиімді түрде орындауды белгілейтін қызмет робот құрылымының қай блогы?
|
^
|
Жоспарлаушы
|
^
|
Шешуші
|
^
|
Басқару жүйесі
|
^
|
Сұхбаттық процессор
|
^
|
Білім қоры
|
36
|
Роботтың міндетті сыңары, ол өзгермейтін басқару программаларын сақтайтын қызмет робот құрылымының қай блогы?
|
^
|
Басқару жүйесі
|
^
|
Шешуші
|
^
|
Жоспарлаушы
|
^
|
Сұхбаттық процессор
|
^
|
Білім қоры
|
37
|
Жоспарлаушының функциясын орындайтын қызмет робот құрылымының қай блогы?
|
^
|
Шешуші
|
^
|
Жоспарлаушы
|
^
|
Басқару жүйесі
|
^
|
Сұхбаттық процессор
|
^
|
Білім қоры
|
38
|
Адамға тән қасиет
|
^
|
Жаңа білім алып, оны қажетті жағдайға пайдалану
|
^
|
Өмір сүру
|
^
|
Әрдайым білім алу
|
^
|
Интеллектті дамыту
|
^
|
Өмір сүру, жаңа білім алу
|
39
|
Жасанды интеллект жүйесінде қарастырылатын білім қандай информация?
|
^
|
Программаның интеллектуалды болуына қажет информация
|
^
|
Программалаудың жасанды интеллектін тексеретін информация
|
^
|
Пролог тіліндегі факттарды анықтайтын информация
|
^
|
Жасанды интеллекттің барлық білімі
|
^
|
Машиналық интеллектте қолданылатын білім қоры
|
40
|
Интеллектіні қандай тәсіл деп қарастыруға болады?
|
^
|
Фактілер жиынтығы және мақсатқа жету үшін пайдаланатын тәсіл
|
^
|
Ақиқатты анықтайтын тәсіл
|
^
|
Пролог тілінде қолданылатын тәсіл
|
^
|
Программалаудың негізгі ақиқатын анықтайтын тәсіл
|
^
|
Программалау тілдерінде, әсіресе Пролог тілінде кездесетін фактілер жиыны
|
KF 12-06-09
41
|
ЖИ-де мәселені шешетін программа бөліктері қалай құрылады?
|
^
|
Құрылатын программа бөліктеріне байланыссыз, қарапайым
|
^
|
Құрылатын программа бөліктеріне байланысты, қарапайым
|
^
|
Құрылатын программа бөліктеріне байланыссыз, күрделі
|
^
|
Құрылатын программа бөліктеріне байланысты, күрделі
|
^
|
Құрылатын программа бөліктеріне қарамай, күрделі
|
42
|
Білім қоры дегеніміз не?
|
^
|
ЭЕМ-ге түсінікті түрде жазылып, сақталған мәліметтер
|
^
|
Пролог тілінде қолданылатын фактілердің мәліметі
|
^
|
Интеллектуалды машиналарда қолданылатын білім
|
^
|
Программа жазуда кеңінен қолданылатын ақпараттар жиыны
|
^
|
Дұрыс жауап жоқ
|
43
|
Білім қоры қандай мүмкіндіктер береді?
|
^
|
Программа жұмысын оңайлатады және оған ақыл-ой ерекшеліктерін игеретін жаңа блоктар қосуға мүмкіндік береді
|
^
|
Бағдарлама жұмысын оңайлатады және оған интеллект ерекшеліктерін игеретін жаңа блоктар қосуға мүмкіндік береді
|
^
|
Бағдарламалау тілдерін кеңінен ЭЕМ-де қолдануға мүмкіндік береді
|
^
|
Факт және ережелерді анықтауға мүмкіндік береді
|
^
|
Дұрыс жауап жоқ
|
44
|
Білім корының құрылымы неше элементтен тұрады?
|
^
|
2
|
^
|
3
|
^
|
4
|
^
|
5
|
^
|
6
|
45
|
Білім қорының құрылымы қандай элементтерден тұрады?
|
^
|
Факт және ереже
|
^
|
Интеллект
|
^
|
Бағдарламалау тілі
|
^
|
Робот интеллекті
|
^
|
Жасанды интеллект
|
46
|
Жетілдіру дегеніміз не?
|
^
|
Адам нақты жағдайлардың тек қажеттіліктерін ғана таңдап, іске кірістіруі
|
^
|
Жасанды интеллектті бағдарламалау тілінде қолдану
|
^
|
Машиналық интеллектін толық жетілдіру
|
^
|
Логикалық есептерді шешу
|
^
|
Фактілер, ережелер жиыны
|
47
|
Белгілі фактілерден жаңа фактілер алу қалай аталады?
|
^
|
Шығару механизм
|
^
|
Жасанды интеллект
|
^
|
Машиналық интеллект
|
^
|
Логикалық есептер
|
^
|
Фактілер, ережелер
|
KF 12-06-09
48
|
Белгілі шарттар негізінде мүмкін болатын қорытынды жасалатын тізбек
|
^
|
Талқылаудың тіке тізбегі
|
^
|
Жасанды интеллект
|
^
|
Машина интеллекті
|
^
|
Логикалық есеп
|
^
|
Дұрыс жауабы жоқ
|
49
|
Жіберілген қателерді немесе қиындықты бағалауды көрсететін баллдардың қосындысы қалай аталады?
|
^
|
Жалпы салмақтық фактор
|
^
|
Жасанды интеллект
|
^
|
Машиналық интеллект
|
^
|
Логикалық есептер
|
^
|
Фактілер, ережелер және предикаттар
|
50
|
Жасанды интеллект жүйесінің компоненттері
|
^
|
Мақсатты фактпен анықтау, фактілерді анықтау
|
^
|
Жасанды интеллекттегі предикаттар
|
^
|
Машиналық интеллектті дайындау жолдарында кездесетін құралдар
|
^
|
Логикалық есептерді шешу үшін қолданылатын бағдарламалау тілі
|
^
|
Фактілер, ережелер және предикаттар
|
51
|
Жасанды интеллект төмендегі бағдарламалау тілдерінің қайсысында құрыла алады?
|
^
|
Пролог, ЛИСП, Smaltalk
|
^
|
Делфи, Бейсик, Пролог
|
^
|
ЛИСП, Пролог, Ассемблер
|
^
|
Делфи, Пролог, Smaltalk
|
^
|
ЛИСП, Делфи, Ассемблер
|
52
|
Компьютерде сақтаулы білім қорын пайдаланып, нақты жағдайға қолданылатын динамикалық бағдарлама құру бағыты қалай аталады?
|
^
|
Машиналық интеллект
|
^
|
Интеллект
|
^
|
Пролог
|
^
|
Интеллектуалды машиналар
|
^
|
Интеллектуалды әрекеттер
|
KF 12-06-10
Қазақстан Республикасының білім және ғылым министрлігі
Халықаралық гуманитарлық –техникалық университеті
«Жаратылыстану - техникалық» факультеті
«Есептеу техникасы және стандарттау, сертификаттау» кафедрасы
«Функциональдық және логикалық бағдарламалау» пәні
Білім алушыларды бақылау және оқу жетістіктерін
бағалау туралы мағлұматтар
Е М Т И Х А Н Б И Л Е Т І
Мамандық «5В070400-Есептеу техникасы және бағдарламалық қамтамасыз ету»
Дайындаған: магистр, аға оқытушы
Абишова Г.Б.
Шымкент 2016ж
KF 12-06-10
Қазақстан Республикасының білім және ғылым министрлігі
Халықаралық гуманитарлық –техникалық университеті
«Жаратылыстану-техникалық» факультеті
«Есептеу техникасы және стандарттау, сертификаттау» кафедрасы
«Функциональдық және логикалық бағдарламалау» пәні
Емтихан билеті №_1_
№
|
Сұрақтар
|
Балл
(max/min)
|
1
|
Айнымалылар
|
|
2
|
Құрылымдар
|
|
3
|
Фактілер мен ережелер
|
|
4
|
Пролог – бағдарламаның декларативті мағынасы
|
|
5
|
Бағдарламаны орындау алгоритмі
|
|
Лектор: ___________________ м.а.оқытушы Абишова Г.Б.
Кафедра меңгерушісі ______________т.ғ.к. Ажиметова А.Б.
«Есептеу техникасы және стандарттау, сертификаттау» Кафедра мәжілісінде қаралып, бекітілді. Хаттама №__ «___» __________ 20__ж.
Ескерту: 1 кредит – 3 сұрақ; 2 кредит – 4 сұрақ; 3, 4 кредит – 5 сұрақ. Балл қорытындысы 40/20 болуы керек.
Қазақстан Республикасының білім және ғылым министрлігі
Халықаралық гуманитарлық –техникалық университеті
«Жаратылыстану-техникалық» факультеті
«Есептеу техникасы және стандарттау, сертификаттау» кафедрасы
«Функциональдық және логикалық бағдарламалау» пәні
Емтихан билеті №_2_
№
|
Сұрақтар
|
Балл
(max/min)
|
1
|
Пролог – бағдарламаның құрылымы
|
|
2
|
Есептеулерді басқару
|
|
3
|
Рекурсивті есептеулер
|
|
4
|
Арифметикалық амалдар
|
|
5
|
Жұмысқа алу сараптаушы жүйесін Визуал Бейсик программалау жүйесінде көру.
|
|
Лектор: ___________________ м.а.оқытушы Абишова Г.Б.
Кафедра меңгерушісі ______________т.ғ.к. Ажиметова А.Б.
«Есептеу техникасы және стандарттау, сертификаттау» Кафедра мәжілісінде қаралып, бекітілді .
Хаттама №__ «___» _______________ 20__ж.
Ескерту: 1 кредит – 3 сұрақ; 2 кредит – 4 сұрақ; 3, 4 кредит – 5 сұрақ. Балл қорытындысы 40/20 болуы керек.
KF 12-06-10
Қазақстан Республикасының білім және ғылым министрлігі
Халықаралық гуманитарлық –техникалық университеті
«Жаратылыстану-техникалық» факультеті
«Есептеу техникасы және стандарттау, сертификаттау» кафедрасы
«Функциональдық және логикалық бағдарламалау» пәні
Емтихан билеті №_3_
№
|
Сұрақтар
|
Балл
(max/min)
|
1
|
Шешімдер ағашы.
|
|
2
|
Ағашты ережелерге түрлендіру.
|
|
3
|
Робот құрылымы
|
|
4
|
Верификациялау ұғымы
|
|
5
|
Интеллектуальды жүйе
|
|
Лектор: ___________________ м.а.оқытушы Абишова Г.Б.
Кафедра меңгерушісі ______________т.ғ.к. Ажиметова А.Б.
«Есептеу техникасы және стандарттау, сертификаттау» Кафедра мәжілісінде қаралып, бекітілді Хаттама №__ «___» ___________ 20__ж.
Ескерту: 1 кредит – 3 сұрақ; 2 кредит – 4 сұрақ; 3, 4 кредит – 5 сұрақ. Балл қорытындысы 40/20 болуы керек.
Қазақстан Республикасының білім және ғылым министрлігі
Халықаралық гуманитарлық –техникалық университеті
«Жаратылыстану-техникалық» факультеті
«Есептеу техникасы және стандарттау, сертификаттау» кафедрасы
«Функциональдық және логикалық бағдарламалау» пәні
Емтихан билеті №_4_
№
|
Сұрақтар
|
Балл
(max/min)
|
1
|
Сараптаушы жүйелерді классификациялау.
|
|
2
|
Формальды жүйе
|
|
3
|
Градиент стратегиясы.
|
|
4
|
GURU сараптаушы жүйесі.
|
|
5
|
MYCIN, INTERNIST жүйелері.
|
|
Лектор: ___________________ м.а.оқытушы Абишова Г.Б.
Кафедра меңгерушісі ______________т.ғ.к. Ажиметова А.Б.
«Есептеу техникасы және стандарттау, сертификаттау» Кафедра мәжілісінде қаралып, бекітілді
Хаттама №__ «___» _______________ 20__ж.
Ескерту: 1 кредит – 3 сұрақ; 2 кредит – 4 сұрақ; 3, 4 кредит – 5 сұрақ. Балл қорытындысы 40/20 болуы керек.
KF 12-06-10
Қазақстан Республикасының білім және ғылым министрлігі
Халықаралық гуманитарлық –техникалық университеті
«Жаратылыстану-техникалық» факультеті
«Есептеу техникасы және стандарттау, сертификаттау» кафедрасы
«Функциональдық және логикалық бағдарламалау» пәні
Емтихан билеті №_5_
№
|
Сұрақтар
|
Балл
(max/min)
|
1
|
Қабықша жүйе дегеніміз не?
|
|
2
|
Формальды жүйе, жүйені бағалау
|
|
3
|
Логикалық операциялар
|
|
4
|
Предикат. Импликация.
|
|
5
|
Квантор, импликация қасиеттері.
|
|
Лектор: ___________________ м.а.оқытушы Абишова Г.Б.
Кафедра меңгерушісі ______________т.ғ.к. Ажиметова А.Б.
«Есептеу техникасы және стандарттау, сертификаттау» Кафедра мәжілісінде қаралып, бекітілді Хаттама №__ «___» ___________ 20__ж.
Ескерту: 1 кредит – 3 сұрақ; 2 кредит – 4 сұрақ; 3, 4 кредит – 5 сұрақ. Балл қорытындысы 40/20 болуы керек.
Қазақстан Республикасының білім және ғылым министрлігі
Халықаралық гуманитарлық –техникалық университеті
«Жаратылыстану-техникалық» факультеті
«Есептеу техникасы және стандарттау, сертификаттау» кафедрасы
«Функциональдық және логикалық бағдарламалау» пәні
Емтихан билеті №_6_
№
|
Сұрақтар
|
Балл
(max/min)
|
1
|
Фреймдер.
|
|
2
|
Логикалық модель, семантикалық тор.
|
|
3
|
Өнімділік модель.
|
|
4
|
Сараптаушы жүйе құрылымы.
|
|
5
|
Сараптаушы жүйені дайындау, әрекеттер еркіндігі.
|
|
Лектор: ___________________ м.а.оқытушы Абишова Г.Б.
Кафедра меңгерушісі ______________т.ғ.к. Ажиметова А.Б.
«Есептеу техникасы және стандарттау, сертификаттау» Кафедра мәжілісінде қаралып, бекітілді
Хаттама №__ «___» _______________ 20__ж.
Ескерту: 1 кредит – 3 сұрақ; 2 кредит – 4 сұрақ; 3, 4 кредит – 5 сұрақ. Балл қорытындысы 40/20 болуы керек.
KF 12-06-11
Пәннің оқу-әдістемелік қамтамасыз ету картасының формасы
«БЕКІТЕМІН»
«Есептеу техникасы, стандарттау және сертификаттау»
кафедрасының меңгерушісі
___________________________
(қолы) (аты-жөні)
____» __________ 2016 ж.
ПӘННІҢ ОҚУ, ОҚУ-ӘДІСТЕМЕЛІК, ҒЫЛЫМИ ЖӘНЕ ЭЛЕКТРОНДЫҚ
ӘДЕБИЕТТЕРМЕН ҚАМТАМАСЫЗ ЕТУ КАРТАСЫ
Оқу пәні : Функциональдық және логикалық бағдарламалау
Мамандық «5В070400-Есептеу техникасы және бағдарламалық қамтамасыз ету»
№ п/п
|
Негізгі әдебиет
|
Саны
|
Қосымша әдебиет
|
Саны
|
Электрондық оқулық
|
Саны
|
Барлығы
|
Қазақ тілінде
|
Барлығы
|
Қазақ тілінде
|
Барлығы
|
Қазақ тілінде
|
1.
|
Е.Н. Прыкина Основы логического программирования в среде ТР 2006г.
|
|
|
Сараптау және интелектуальды жүйелер. Шымкент: ХГТУ, 2012.-228б.
|
|
|
|
|
|
2.
|
Александр Левин. Самоучитель работы на компьютере Москва, издательство «Номдж» 2001.-656 с.
|
|
|
Функционалды пәндік. Оқу-әдістемелік құралы /Құраст. Шалбаеав Н.Е., Алматов Ж.К. Шымекнт: ХГТУ, 2012.-204б.
|
|
|
|
|
|
3.
|
|
|
|
Жасанды интелект. ЭЕМ-де машықтану.: Оқу-әдістемелік құралы / Құраст. Нурмухамбетоав Г.К., дуйсембаева Ж.Т. Қоспанбетова Н.А., Шымкент: ХГТУ, 2011.-200б.
|
|
|
|
|
|
|
БАРЛЫҒЫ
|
|
|
|
|
|
|
|
|
KF 12-06-12
Таратпа материалдар / Слайдтар
Достарыңызбен бөлісу: |
