If шарт then өрнек else өрнек
Haskell тілде «&&» жазу нені білдіреді?
логикалық ЖӘНЕ (И)
Haskell тілде «||»жазу нені білдіреді?
логикалық НЕМЕСЕ (ИЛИ)
Haskell тілде «not» жазу нені білдіреді?
теріс
Haskell. Тізім басына элемент қосу операторы:
қос нүкте
Haskell. «:» операторы қай жаққа ассоциативті?
оңға
Haskell. Тізімнің енін қайтаратын функция:
length
Haskell. Тізімнің бірінші элементсіз қайтаратын функция:
tail
Haskell. Тізімнің бірінші элементін қайтаратын функция:
head
Haskell. "hello" тең жолдық мәндерін көрсетіңіз:
[’h’,’e’,’l’,’l’,’o’]
Haskell. Сандық мәндерді жолдық мәндерге және керісінше түрлендіретін функция:
read және show
Haskell тілде бағдарламаны жүктеу командасы:
:load
Haskell тілде соңғы жүктелген файлды жөңдеу командасы:
:edit
Haskell тілде соңғы жүктелген файлды қайта оқу командасы:
:reload
Haskell –де «first» функцияның қызметі:
жұптың бірінші элементін қайтарады
Haskell –де «second» функцияның қызметі:
жұптың екінші элементін қайтарады
Haskell. fst (5, True) функцияның нәтижесі:
5 :: Integer
Haskell. «[]» жазба нені білдіреді?
бос тізімді
Haskell тілде екі бүтін санды қабылдап, олардың қосындысын қайтаратын функцияны көрсетіңіз:
add
Haskell тілде add функция ассоциативті қай жаққа?
оңға
Haskell тілде жолдық комментарий қалай белгіленеді?
--
Haskell. Функцияны рекурсивті деп атаймыз, егер ол …
өз- өзін шақырады
Haskell. Рекурсивті функцияны анықтаңыз:
factorial
Haskell тілде Maybe типті қанша конструктор ұсынады?
2
Haskell тілде Maybe типті ұсыну конструкторларын атаңыз:
Nothing және Just
Haskell тілде String типтің синонимі:
[Char]
Haskell тілде синонимдер функциясы
құрылған типтерге жаңа аттар беріледі
Haskell тілде параметр қабылдамайтын типтер қалай аталады?
саналатын
Haskell тілде қандай типтер саналатын типтер деп аталады?
параметр қабылдамайтын типтер
Haskell – де полиморфты жүйе нені білдіреді?
тілде типтік айнымалы бар екенін
Haskell тілде case операторының синтаксисі қандай конструкцияға ұқсас?
Си тілдегі default конструкциясына
Haskell тілде «>» оператораторының мағынасы
үлкен
Haskell тілде «<» оператораторының мағынасы
кіші
Haskell тілде «>=» оператораторының мағынасы
үлкен немесе тең
Haskell тілде «<=»оператораторының мағынасы
кіші немесе тең
Haskell тілде «==» оператордың мәні …
тең
Haskell тілде блоктік комментарий қалай белгіленеді?
{-…-}
Haskell тілде типтер аттары … басталады
тек үлкен әріптен
Haskell тілде тізімдегі сақталынатын элемент саны:
кез- келген
Haskell тілде тізім элементтерінің жазылуы ..... орындалады:
үтір арқылы тік жақшада
Haskell тілдегі монада – бұл:
байланысқан есептеулердің сызықты тізбегінің абстракциясы
Haskell. IO монадада анықталған функциясы:
fail
Haskell – дегі монадалардың мақсаты қанша?
2
Haskell – дегі монадалардың екі мақсатын атаңыз:
аттар кеңістігімен басқару мен берілгендердің абстракты типтерін құру
Haskell – дегі модульдің мақсатының бірі:
аттар кеңістігімен басқару
Haskell – дегі модульдің мақсатының бірі:
берілгендердің абстракты типтерін құру
Haskell – дегі модуль жарияланатын кілтті сөз
module
Haskell. Модульден экспорталынатын аттар қай жақшада жазылады?
()
Haskell – дегі модуль мәтіні қай жерде сақталынады?
бөлек файлда
Haskell. qualified кілтті сөздің қызметі:
аттары «Модуль. Объект» түрге келетін объектілердің импортталынатын модульдерін анықтайды.
Haskell. return функцияның қызметі:
енгізу- шығару әрекетінің облысына қарапайым мәнді енгізеді
Haskell. оpenFile функцияның қызметі:
файлды ашады
Haskell. getArgs:: IO[String] функцияның қызметі:
басқару жолдың параметрі болатын жолдар тізімін қайтарады
Haskell. Қай кезде copyFile функция қате туралы хабарлама шығарады?
бағдарламаға аргументтер саны дұрыс берілмесе
Haskell компиляторын шақыру командасы:
ghc
Haskell. snd (5, True) функцияның нәтижесі:
True :: Bool
Haskell. fst(snd(1,(’a’,23.12))) функцияның нәтижесі:
’a’ :: Char
PPPPPPPPP
Prelude Haskell модульдегі қанша монада саны анықталған?
3
Prelude Haskell модульдегі анықталған монадасы
IO
Prelude Haskell модульдегі анықталған монадасы
[]
Prelude Haskell модульдегі анықталған монадасы
Maybe
Prolog- тың. PREDICATES бөліміне келесілер кіреді :
предикаттар
Prolog. CLAUSES бөліміне келесілер кіреді:
ережелер
Prolog. GOAL бөліміне келесі кіреді:
сұраныс
Prolog. Келесі қатынас берілген: ата (Х, У). Немере қатынасын құру.
немере (У, Х):-ата(Х,У), У(еркек)
Prolog - та анонимді айнымалы бұл:
айнымалының нақты мәні жоқ кезде предикаттың аргументі ретінде қолданылатын айнымалының ерекше түрі
Prolog. Құрылым мысалы
бар (Юрий,машинасы)
Prolog. Бағдарлама орындалу барысында тізімдер құрылымға қарағанда
ауысады
Prolog. Тізім мысалы:
[1,2,3,4]
Prolog. Теңестіру операциясы келесі түрде анықталады
идентификациялы құрылымдар бір-бірімен теңестіріледі
Prolog. Теңестіру мысалы:
5 және Х
Prolog. Бос айнымалы- . . . айнымалы
әлі өз мәнін алмаған
Prolog. Байланысқан айнымалы- . . . айнымалы
жаңа мән алған
Prolog. Символдар мысалы
«Петров»
Prolog. Бірдей құрылымды фактілер мен ережелер:
бір блок шегінде жазылуы тиіс
Prolog. Ереже денесінде қолданылуы (оң жағында) мүмкін:
стандартты предикаттар, хабарланған предикаттар, салыстыру операциялары, арифметикалық операциялар
Prolog. Стандартты предикаттар орындайтын операциялар
енгізу-шығару, файлдармен жұмыс, графикалық режимді және қатарларды өңдеу
Prolog. GOAL сұраныс бөлімі
жоқ болуы мүмкін
Prolog. Сыртқы сұранысты қолданғанда жүйе:
жауаптың барлық нұсқауларын іздейді
Prolog. Есептеу процесін басқарудың негізгі құралдары болып стандартты предикаттары табылыды:
fail және !;
Prolog. Write (х) – жүйелік предикаты білдереді
айнымалының мәнін экранға шығару
Prolog. Сұраныстың барлық мәндерін табу үшін қолданылатын предикат
fail
Prolog. Бос тізімнің белгісі:
[ ]
Prolog. Тізім өңделуі келесі түсініктерге негізделеді
басы, құйрық
Prolog. Тізім құйрығы [1, 2, 3, 4] бұл:
[2, 3, 4]
Prolog. Кейбір арифметикалық операциялар:
*, +, -, div, mod
Prolog. Салыстыру операциялары
<, >, < >, <=, > =
Prolog. Х және У тізімдерінің көбейтіндісінің қосындысын беретін бағдарлама
prod([],[],0). prod ([X|Xs],[Y|Ys], S): – prod (Xs,Ys,Sp), S=X*Y+Sp.
Prolog. Тізідегіні баспаға шығару:
print_ list ([ ]) print_ list ([H | T ]): write(H), nl, print_ list (T)
Prolog. Символдың перне тақтадан енгізілуі
readchar
Prolog. Ағымдық енгізу құрылғысы орнатады немесе шығарады.
readdevice
Prolog. Перне тақтадан бүтін сан енгізу
readint
Prolog. Перне тақтадан символдар қатарын санау.
readln
Prolog. Перне тақтадан нақты сан енгізу. .
readreal
Prolog.Ағымдық шығару құрылғысы орнатады немесе шығарады.
writedevice
Prolog.Берілгендер қорының басына факт немесе бекіттемені енгізу
asserta
Prolog. Берілгендер қорының аяғына факт немесе бекіттемені енгізу.
assertz
Prolog. Х пен салыстырмалы барлық функторлар мен бекіттемелерді БҚ нан шығару.
retractall(X)
Prolog. Айнымалыларға символдар қатарының біріші және қалған мәнін меншіктеу
frontchar
Prolog. Қатардың қалдығы мен бірінші сандарын айнымалыларға меншіктеу.
frontstr
Prolog. Конкатенация шешімін айнымалыға меншіктеу.
fronttoken
Prolog. Координатты (Стр,Кол) позицияға курсорды орнатады
cursor(Стр,Кол)
Prolog. Ереженің рекурсивті сипаттамасының денесінде ссылкасы бар
осы ереженің атауына
Prolog. Рекурсия варианттары
оң, сол, жалпыланған
Prolog. Тізімдермен орындалатын негізгі операциялар
қатыстылық, конкатенация , қосу және жою
Prolog. Логика деп –
ой, дүниетану, пікір шығару ережесі жөніндегі ғылым
Prolog. Пікір дегеніміз –
оның мәні ақиқат не жалған болатын ой, ұйғарым
Prolog. Факт деп –
сөзсіз ақиқат болатын жеке мақсат
Prolog. Атомдар деп –
сандардан басқа болатын аргументтер, қатынастар және арнайы символдар
Prolog. Тізім дегеніміз не?
ұзындығы шектелмеген реттелген элементтер тізбегі
Prolog. Бос дизюнкт деп –
жалғандықты білдіретін логикалық өрнек
Prolog. Логика ережелерін пайдаланып, бір ұйғарымды басқа ұйғарымдардан алу денегіміз –
шығару механизмі
Prolog. Айнымалы нақтылау деп –
айнымалы сәйкес мәнмен алмастыру
Prolog. Предикат дегеніміз не?
біршама айнымалы не нақты нысандар мен олардың қасиеттері жөнінде пікірлер (предикат - жариялау)
Prolog. Сөйлемдер қай бөлімде сипатталады
clauses
Prolog. Сұраныс қай бөлімге кіреді
goal
Prolog. Фактілер мен ережелер қай бөлімде анықталады
clauses
Prolog. Конкатенация, бұл:
тізімдердің жалғануы
Prolog. Тізімдердің жалғануын беретін өрнек
Конкатенация (L1,L2, L3)
Prolog. Теңестіру операциясы болуы мүмкін:
сәтті немесе сәтсіз
Prolog. Нүкте қойылады. . .
ереже соңына
Prolog. Бос айнымалы бұл:
жаңа мән алмаған
Prolog. Байланысты айнымалы бұл:
жаңа мән алған
Prolog. Prolog. «Егер» келесідей белгіленеді:
:-
Prolog. Факті-
бұл аргументтері, константалары болатын предикаттар, объекттер арасында немесе объектілер сипаты қатынасын білдіреді
Prolog. Ереже келесіні анықтауға мүмкіндік береді:
белгілі фактілер негізінде объектілердің арасындағы жаңа қатынастарды.
Prolog. Ереже құрылымы::
<ереже басы>:-<ішкі мақсат 1>,<ішкі мақсат 2>,. . . < ішкі мақсат N>.
Prolog. Нүкте қойылады. . .
ереже соңына
Prolog. Айнымалының өмір сүру уақыты:
бір сөйлем
Prolog. Константа білдіреді:
барлық сөйлемдарде бір ғана объект
Prolog. «Егер» бұлай белгіленеді:
:-
Prolog. «Және» бұлай белгіленеді:
,
Prolog. Сөйлемнің декларативті интерпретациясы Р:-Q,R. :
Р- шындық, егер Q,R шындық
Prolog. «Немесе» қалай белгіленеді:
;
Prolog. Бұл бөлімде тұрақтылар сипатталады:
CONSTANTS
Prolog. Бір қатарлық комментария:
%
Prolog. Бірнеше қатарлық комментария:
/* … */
Prolog. Бұл бөлімде айнымалылар сипаталады:
DOMAINS
Prolog. Бұл бөлімде предикаттар сипатталады:
PREDICATES
Prolog. Бұл бөлімде фактылар мен ережелер анықталады:
CLAUSES
Prolog. Бұл бөлімде динамикалық деректер қоры предикаттары анықталады:
DATABASES
Prolog. Бұл бөлімде сұраныстар (ішкі) анықталады:
GOAL
Prolog. Сәтсіздік және келісімсіздік жазылады:
fail
Prolog. Тоқтату (Отсечение) жазылады:
!
Prolog. Барлық фактілерді тексеру:
fail
Prolog. Ата-ана(лена, хасан) фактісінде
лена, хасанның ата-анасы
Prolog. Бос тізім дегеніміз не
элементтері жоқ
Prolog. Айнымалы - бұл:
бас әріппен басталатын әріптер мен сандар тізбегі
Prolog. Құрылым — бұл:
үтір арқылы ажыратылатын құрылым аттары мен қасиеттерінен тұратын конструкция
Prolog. Предикат аргументі ретінде қолданылатын, бірақ мәні ешқандай әсері жоқ айнымалы – бұл айнымалы:
анонимді
Prolog. Бағдарлама нәтижесі нені береді: F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=1/N*P. ?-F(3,S)
1/6
Prolog. Бағдарлама нәтижесі нені береді: F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=1/N+P. ?-F(2,S)
1. 5
Prolog. Бағдарлама нәтижесі нені береді: F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=1/N. ?-F(2,S)
0. 5
Prolog. Бағдарлама нәтижесі нені береді: F(1,0. 5):-!. F(N,S):-M=N-1, F(M, P), S=1/(N*N+1)+P. ?-F(2,S)
0. 7
Prolog. Бағдарлама нәтижесі нені береді: F(1,0. 5):-!. F(N,S):-M=N-1, F(M, P), S=1/(EXP((N- 1)*LN(2))+1)+P. ?-F(2,S)
0. 8333
Prolog. Бағдарлама нәтижесі нені береді: F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=N*N+P. ?-F(3,S)
14
Prolog. Бағдарлама нәтижесі нені береді: F(1,2):-!. F(N,S):-M=N-1, F(M, P), S=2*EXP(N*LN(N))+P. ?-F(2,S)
10
Prolog. Бағдарлама нәтижесі нені береді: F(1,0):-!. F(N,S):-M=N-1, F(M, P), S=2*EXP(N*LN(N-1))+P. ?-F(2,S)
2
Prolog. Бағдарлама нәтижесі нені береді: F(1,2):-!. F(N,S):-M=N-1, F(M, P), S=2*EXP((N-1)*LN(N))+P. ?-F(2,S)
6
Prolog. Бағдарлама нәтижесі нені береді: F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=EXP((N-1)*LN(N))+P. ?-F(2,S)
3
Prolog. Бағдарлама нәтижесі нені береді: F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=EXP(N*LN(N))+P. ?-F(2,S)
5
Prolog. Бағдарлама нәтижесі нені береді: F(1,2):-!. F(N,S):-M=N-1, F(M, P), S=EXP(N*LN(N+1))+P. ?-F(2,S)
11
Prolog. Бағдарлама нәтижесі нені береді: F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=EXP((N+1)*LN(N))+P. ?-F(2,S)
9
Prolog. Бағдарлама нәтижесі нені береді: F([]):-!. F([H|T]):-H<3,WRITE(H),F(T). ?-F([1,2,3,4])
1,2
Prolog. Бағдарлама нәтижесі нені береді: F([]):-!. F([H|T]):-WRITE(H), H<3,F(T). ?-F([1,2,3,4])
1,2,3
Prolog. Бағдарлама нәтижесі нені береді: F([]):-!. F([H|T]):-H<=3,WRITE(H),F(T). ?-F([1,2,3,4])
1,2,3
Prolog. Бағдарлама нәтижесі нені береді: F([]):-!. F([H|T]):-WRITE(H), H<=3,F(T). ?-F([1,2,3,4])
1,2,3,4
Prolog. Бағдарлама нәтижесі нені береді: F([]):-!. F([H|T]):-WRITE(T),F(T). ?-F([1,2,3,4])
[2,3,4] [3,4] [4] []
Prolog. Бағдарлама нәтижесі нені береді: F([],0):-!. F([H|T],SP):-F(T,S),SP=H+S. ?-F([1,2,3,4])
10
Prolog. Бағдарлама нәтижесі нені береді: F([],1):-!. F([H|T],SP):-F(T,S),SP=H*S. ?-F([1,2,3,4])
24
Prolog. Бағдарлама нәтижесі нені береді: F([],0):-!. F([H|T],SP):-F(T,S),SP=H*S. ?-F([1,2,3,4])
0
TTTTTTTT
True мәнді жұп, False мәнді - тақ аргументтер үшін қайтаратын Haskell тілдің функциясы:
even
True мәнді тақ, False мәнді - жұп аргументтер үшін қайтаратын Haskell тілдің функциясы:
odd
DDDDDDDD
DOMAINS Prolog бөліміне келесілер кіреді:
айнымылыларды сипаттау
GGGGGGG
GOAL Пролог бөлімінде іздеу орындалады
бірінші сәйкес шешімге
FFFFFFFFFFF
filter Haskell функцияның түрі:
filter :: (a -> Bool) -> [a] -> [a]
foldr Haskel .функцияның түрі:
foldr :: (a -> b -> b) -> b -> [a] -> b
foldl Haskell функцияның түрі:
foldl :: (a -> b -> a) -> a -> [b] -> a
fold Haskell функциясы қалай аударылады?
бүктеу
fail функцияны шақыратын жүйелік Haskell функциясы:
error
MMMMMM
map Haskell функцияның түрі:
map :: (a -> b) -> [a] -> [b]
map Haskell функциясы қалай аударылады?
бейнелеу
SSSSSSSSSS
sqrt 4 + 1 Haskell өрнектің нәтижесі:
3
sqrt (8 + 1) Haskell өрнектің нәтижесі:
3
ZZZZZZZZZZ
zip Haskell функцияның міндеті:
екі тізімді пар (қос, жұп) тізіміне түрлендіреді
zipWith Haskell функцияның міндеті:
екі тізімді қосады