ТҮсіндірме жазба пәнді оқыту



бет19/20
Дата01.02.2018
өлшемі3,82 Mb.
#37301
1   ...   12   13   14   15   16   17   18   19   20

ҚОРЫТЫНДЫ СҰРАҚТАР

Дайындаған: магистр, аға оқытушы

Абишова Г.Б.

Шымкент 2016ж



KF 12-06-08
І аралық бақылау

  1. Прологта атомдарға мысалдар келтіру.

  2. Шешімдер ағашы

  1. Ағаш.. Оны ережелерге түрлендіру.

  2. Прологта программа құрылымы тұралы түсінік.

  3. Жасанды интеллект тұралы түсінік.

  4. Машиналық интеллект дегеніміз не?

  5. Терім.

  6. Құрылым

  7. Тізім. Құрылымды ағаш түрінде көрсету.

  8. 1-ші ретті предикарттар логикасы.

  9. Предикарттар логикасы.

  10. Қайтару механизмі.

  11. Мәліметтерді енгізу шығарудың предикарттары.

  12. Жасанды интеллект ұғымы.

  13. Жи-тің даму тарихы.

  14. Визуал пролог тілінің негізі.

  15. Айтылымдар. Факт. Ереже.

  16. Айнымалылар.

  17. Сұраныстар.

  18. Прологтағы унификация.

  19. Арифметикалық өрнектер.

  20. Операциялар, есептеу реті.

  21. Жи-дің қазіргі жағдайы.

  22. Эксперттік жүйелер

  23. Робототехника.

ІІ – аралық бақылау

  1. Автономды агенттер.

  2. Чарт-роботтар.

  3. Интеллектуалды жүйелер.

  4. Интеллектуалды жүйелер, бағыттарына оқытудың мақсаттары мен міндеттері.

  5. Интелектуалды жүйелерге оқыту бойынша даярлықты жетілдірудің педагогикалық жүйесі.

  6. Экспорттық жүйелер.

  7. Экспорттық жүйелер құру кезеңі.

  8. Графтар.

  9. Экспорттық жүйелердің даму тарихы.

  10. Экспорттық жүйелердің қолданылу аймағы.

  11. Интеллектуалды жүйелердің зерттеу аймағы.

  12. Экспорттық жүйелердің құрылымы мен классификациясы.

  13. ЖОО Жи негізінде оқытудың философиясы және әдіснамасы.

  14. Мақсат. Берілгендер. Білім қоры.

  15. Жеңілдету.

  16. Шығару механизмі.

  17. Жи жүйесінің компонеттері.

KF 12-06-08


  1. Фреймдер.

  2. Логикалық модель.

  3. Семантикалық тор.

  4. Өнімділік модель.

  5. Сараптаушы жүйе.

  6. Сараптаушы жүйе құрылымы.

  7. Сараптаушы жүйені дайындау, әрекеттер еркіндігі.

  8. Диалог формасы.

Апталық қорытындылар:

  1. Жұмысқа алу сараптаушы жүйесін Визуал Бесик программалау жүйесінде көру.

  2. шешімдер ағашы.

  3. Ағашты ережелерге түрлендіру.

  4. Робот құрылымы

  5. Верификациялау деп нені атайды?

  6. Жасанды интеллект дегеніміз не?

  7. Сараптаушы жүйелерді классификациялау.

  8. Формальды жүйе дегеніміз не?

  9. градиент стратегиясы.

  10. GURU сараптаушы жүйесі.

  11. MYCIN, INTERNIST жүйелері.

  12. Қабықша жүйе дегеніміз не?

  13. Формальды жүйе дегеніміз не, ол қай кезде анықталған деп есептелінеді?

  14. жүйені бағалау, түйістіру дегеніміз не?

  15. пролог.

  16. логикалық операциялар жөнінде түсінік.

  17. Предикат. Импликация.

  18. импликация қасиеттері.

  19. квантор.

  20. Турбо прологта пайдалынатын негізгі стандартты облыстар.

  21. программаны компиляциялау, сақтау,іске қосу.

  22. терм. Құрылым.

  23. терім түрлері.

  24. тізімге элемент қосу программасын көрсет.

  25. тізімге кері жазу программасын көрсет.


Аралық қорытынды:

  1. Ай номірін енгізу арқылы, ай атын шығару программасын құру.

  2. Аты-жөні енгізу арқылы телефон номірін шығару.

  3. << Сессия >> құрылысын құру, барлық озат оқушыларды (студенттерді) таңдап алу.

  4. Доллар – теңге және теңге – доллар қатынасын анықтау.

  5. Зауыт құрылымын құру. Қарым – қатынастарын анықтау: бригадир – жұмысшылар, цех.

  6. Пролог тілінде вертикальдық кесінді қатынасының бағдарламасын жазу.

KF 12-06-08


  1. Егер координаттары берілген болса, тең кесінділер қатынасын анықтау.

  2. Егер координаттары берілген болса, кесінді ортасы қатынасын анықтау.

  3. Үшбұрыш шыңдары берілген болса, медиана координаттарын анықтау.

  4. Екінші курс студенттері туралы мәліметтерді экранға шығару.

  5. Оң сандар, теріс сандар қатынастарын анықтаңыз

  6. Мына қатынастарды анықтаңыз: логикалық операция және, логикалық операция НЕМЕСЕ.

  7. Мына қатынастарды анықтаңыз: логикалық операция ЭКВИВАЛЕНТТІЛІК (егер сандар бірдей шықса, операция нәтижесі 1 – ге тең), логикалық операция ИМПЛИКАЦИЯ (егер А = 1, В = 0 болса, операция нәтижесі 1 – ге тең).

  8. Туылған датасы бойынша жұлдызнама тобын анықтау.

  9. Адам жасын туған жылы бойынша, сонымен қатар жыл аты бойынша анықтау (мыс.: жылан жылы).

Қабылдаушы: ___________________ магистр, аға оқытушы Абишова Г.Б.


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


Таратпа материалдар / Слайдтар

Каталог: sites -> default -> files -> kitap
kitap -> Л. С. Динашева K. У. Қарабаева Әлемдік өркениеттер тарихы шымкент 2016
kitap -> «Ғылыми педагогикалық зерттеу әдістемесі» пәнінен (дәріс жинағы) Шымкент-2017ж
kitap -> Жумадуллаева А. А.,Өтеген Қ. О.,Сыдыкова З. Е. ҚАзақ этнопсихологиясы шымкент 2016
kitap -> ТӨлеген ұ. Ш., Жанысбеков м.Ә. ҚАзақстанның Қазіргі заман тарихы пәнінен студенттердің даярлығын жетілдіру
kitap -> Р. Д. Дарібаева Қазақстандағы педагогика ғылымының дамуы
kitap -> Естественные и педагогические науки
kitap -> Қалмұрзаев қ. С, Орынбасар қ. О., Рахымбаев б. О. ҚАзақ КҮресінің ОҚыту әдістемесі
kitap -> ТҮсіндірме жазба пәнді оқыту


Достарыңызбен бөлісу:
1   ...   12   13   14   15   16   17   18   19   20




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

    Басты бет