А)xyz Ú xyØzÚØxyz

а, b, с: (аRb&bRс)®аRc асиетіне ие болатын бинарлы атынас алай аталады… A) Транзитивті

а, b: аRb®bRa (немесе аRb шыады bRa) асиетіне ие болатын бинарлы атынас алай аталады? A) Симметриялы

а: асиетіне ие болатын бинарлы атынас алай аталады? A) арсы рефлексивті

а: аRa асиетіне ие болатын бинарлы атынас алай аталады? A) Рефлексивті

Айтылымды райтын p, q екеуі де аиат немесе жалан боланда аиат айтылым алай аталады? A) Эквиваленттік

Аксиоматизация деген не? A) Дрыс ой жгіртулер процесін формалдау

Аксиоматикалы теорияда орытынды деп не аталады A) В₁,…,В₂ формулалар тізбегі, егер кез келген i=1,…n В_i формуласы – не теория аксиомасы немесе осы формулалар тізбегігі салдары

Аксиоматикалы теорияда теорема деп не аталады? A) абылданан ережелер бойынша аксиомалардан орытып шыаруа болатын формулалар.( Формула, которая может быть выведена из аксиом по принятым правилам.)

Алгебра деп не аталады? A) W=(j_i) амалдар жйесімен бірге берілген М жиыны

Антецедентен терiстеу заы: А)

Аргументтеріні мндері беттессе 0 , кері жадайда 1 те екі айнымалы функция алай аталады? A) Модуль бойынша осындысы 2

Аргументтеріні мндері тек 1 те 0 те болатын айнымалы функция алай аталады? A) Шеффер штрихі

Ассоциативный закон относительно клнъюнкции : А)(АÙВ)ÙС~АÙ(ВÙС)

Ассоциативтік заын крсетіізA) (АÈВ)ÈС = АÈ(ВÈС), (АÇВ)ÇС = АÇ(ВÇС)

р предикатты табаа бір ана предикатты сйкестікке ою алай аталады? A) Тсіндірме

Бiрiншi импликативтiк мше алай аталадыА)антецедент

Барлы жиындарда пара-пар, предикаттар логикасындаы F жне G формулаларыны пара-парлыы алай аталады? A) Тепе-тедік

Барлы кванторы деген не? A) Айтылым: «Р(Х) орындалатын Х бар», белгілеуі

Бинарлы атынасты инверсиясы деп не аталады? A)bRa боланда тек сонда ана aR^-1b болатын R^-1 атынасы

Бульдік функция деген не? A) Аргументтерін мндеріде жне функцияны мндеріде нолге немесе бірге те бір немесе бірнеше айнымалылар функциясы

Бульдік функцияларды жне кванторларды табаларын амтитын формула алай аталады? A) Предикатты формула

Біратты предикаттар шін коммутативтік зады крсетіізA)

В жиынына тиісті емес А жиынына тиісті элементтерден тратын жиын алай аталады? A) А жне В жиындарыны айырымы

В₁,…,В₂ формулалар тізбегі алай аталады, егер кез келген i=1,…n В_i формуласы – не теория аксиомасы немесе осы формулалар тізбегігі салдары? A) Аксиоматикалы теорияда орытынды

де Морган задарыА) ~ , ~

Де Морган заын крсетіізA)

Дедукция туралы теореманы тжырымдаызA) Егер А,В формулалары жне Г жйесі шін Г, А|-В орындалса, онда Г|-А®В орындалады

Детерминирленген сздер тізбегі K_i1, K_i2, … деп аталады A) Тьюринг машинасыны протоколы

Дизъюнктивті нормал форма деген не? A) Бірнеше элементар конъюнкцияларды дизъюнкциясы

Дизъюнкция деген не? A) Айтылымды райтын p, q екеуіні кемінде біреуі аиат боланда жне тек сонда ана «p жне q» айтылымы аиат

дизъюнкцияны саиналы осынды арылы рнектеізA)

Дизъюнкциянын ассоциативтiк: А)

Дизъюнкциянын коммуниктивтiк заы: А)АÚВ ~ ВÚА

Дистрибутивiк заы АÙ(ВÚС) ~: А)~ (АÙВ)Ú(АÙС)

Дистрибутивный закон /дистрибутивтiк заы/ для АÚ(В~С) ~: А)~ (АÚВ) ~ (АÚС)

Дистрибутивтiк заы АÚ(ВÙС) ~ : А)~ (АÚВ)Ù(АÚС)

Дистрибутивтiк заы А®(В~С) ~: А)~(А®В) ~(А®С)

Дистрибутивтiк заы А®(ВÚС)~ : А)~ (А®В)Ú(А®С)

Дистрибутивтк заы А®(ВÙС)~ : А)~ (А®В)Ù(А®С)

Дистрибутивтік заын крсетіізA) (АÈВ)ÇС = (АÇС)È(ВÇС), (АÇВ)ÈС = (АÈС)Ç(ВÈС)

Дитрибутивтiк заы АÚ(В®С) ~: А)~ (АÚВ)®(АÚС)

Дрыс ой жгіртулер процесін формалдау…деп аталадыA) Аксиоматизация

Егер А жиыныны зіні меншікті ішжиынына зара бірмнді сйкестігі болмаса, онда ондай жиындар алай аталады? A) Аырлы

Егер бинарлы атынас рефлексивті, транзитивті жне симметриялы болса, онда бндай атынас алай аталады.…A) Эквиваленттік атынасы

Егер екі жиын арасында зара бірмнді сйкестік болса, онда ондай жиындар алай аталады? A) Теуатты

Екi рет терiстеу заы: А) ~ А

Екiншi импликативтiк мше алай аталады? А)консеквент

Екі еселі терістеу заын крсетіізA)

Екі еселі терістеу заын крсетіізA)

егер ½= А жяне ½= А® В. онда : А)½=В

жалган болмайтын кезкелген шынды функцияны келесi трде жаза аламызА)СДНФ

Жалпылы кванторы деген не? A) Айтылым: «барлы Х шін Р(Х) орындалады», белгілеуі ;

Жегалкин кпмшелігі деген не? A) f(x₁,x₂,…,x_n) функциясын f(x₁,x₂,…,x_n)= трінде крсету

Жетiлген дизъюнктивтi нормалды форма (ЖДНФ) деп..А) элементарлы конъюнкциялардан рылган дизъюнкцияны атайды

жетiлген конъюнктивтiк нормалды форма (ЖКНФ) депА) элементарлы дизъюнкциялардан рылган конъюнкцияны айтады

Жетілдірілген дизъюнктивті нормал форма деген не A) Z=1 болатын s₁,…, s_n мндер жиынтыына сйкес Z=f(X₁, …,X_n) функциясыны барлы элементар конъюнкцияларыны дизъюнкциясы трінде крсетілімі

Жтылу заы: А)А L (АÚ В)~А , АÚАÙВ ~А

Идемпоненттік заы: А)АÚА~А, АÚА~А

Импликация деген не? A) Айтылымды райтын p аиат, ал q жалан боланда жне тек сонда ана «егер p, онда q» айтылымы жалан

Импликацияны терiстеу заы: А)

Квантор ілінген айнымалы алай аталады? A) Байланысан

Квантор ілінген рнек алай аталады? A) Кванторды рекет аумаы

Кез келген a, b шін: егер а¹b, онда , немесе егер a жне b R атынасында болса, онда b жне a - жо, бинарлы атынас … деп аталады A) арсы симметриялы

Кез келген трлендіруде аиатты аумаы аныталу аумаымен беттесетін формула алай аталады? A) Тепе-те аиат (тавтология)

Келесi берiлген сздерден пiкiрлер алгебрасыны формулаларын табыдаА)((ALB)®C)

Келесi берiлген сздерден пiкiрлер алгебрасыны формулаларын табыдарА)((P~Q) Ú R)

Келесi берiлген сздерден пiкiрлер алгебрасыны формулаларын табыдарА)(((АÚВ) ®В) ~Т)

Келесi берiлген сздерден пiкiрлер алгебрасыны формулаларын табыдарА)((Р₁LР₂)~Р₃)

Келесi шынды таблицамен берiлген функция алай аталады А) Пирс стрелкасы

Келесi шынды таблицасымен берiлген функция алай аталады А)штрихом Шеффера

Келесі рнек андай зады белгілейді? A) Де Морган заын

Келесі рнек (АÈВ)ÇС = (АÇС)È(ВÇС), (АÇВ)ÈС = (АÈС)Ç(ВÈС) андай зады белгілейді? A) Дистрибутивтік заын

Келесі рнек (АÈВ)ÈС = АÈ(ВÈС), (АÇВ)ÇС = АÇ(ВÇС) андай зады белгілейді? A) Ассоциативтік заын

Келесі рнек АÈВ = ВÈА, АÇВ = ВÇА андай зады белгілейді? A) Коммутативтік заын

Келесі рнек андай зады белгілейді? A) Терістеу терістеу заын

Кестемен берілген Q(X,Y) айтылымыны аиат айтылымын анытаыз: A)

Кестемен берілген Р(Х,Y) айтылымыны аиат айтылымын анытаыз:A)

Коммутативтік зады крсетіізA) АÈВ = ВÈА, АÇВ = ВÇА

Коммутативтік зады рсетіізA) АÈВ = ВÈА, АÇВ = ВÇА

Коммутативтік заын крсетіізA) АÈВ = ВÈА, АÇВ = ВÇА

Конпропозиция заы: А)А ®В ~

Конъюнкция деген не? A) Айтылымды райтын p, q екуіде аиат боланда жне тек сонда ана «p жне q» айтылымы аиат

Конъюнкцияны коммуникативтiк заы: А)

Кортеж [0001]^T андай логикалы функцияны крсетеді? A)

Кортеж [0110]^T андай логикалы функцияны крсетеді? A)

Кортеж [0111]^T андай логикалы функцияны крсетеді? A)

Кортеж [1101]^T андай логикалы функцияны крсетеді? A)

абылданан ережелер бойынша аксиомалардан орытып шыаруа болатын формулаларды алай атайды? A) Аксиоматикалы теорияда теорема

ай жадайда екі айтылымны дизъюнкциясы жалан? A) Екі айтылымда жалан болса

ай жадайда импликация х®у жалан? A) х – аиат, у – жалан болса

ай жадайда иы айырым 0 те? A) x<y

ай жадайда иы айырым х – у те? A) х>y

ай жиын универсал жиын деп аталады? A) арастырылымдаы барлы элементті амтитын жиын

ай логикалы операцияны келесi таблица крсетедi А)А эквиваленция В

ай логикалы операцияны келесi таблица крсетедi / А)А дизъюнкция В

ай логикалы операцияны келесi таблица крсетедi / А)А конъюнкция В

ай логикалы операцияны келесi таблица крсетедi А) А терiстеу

ай ой жгірту дрыс деп есептелінеді? A) Егер аиат жіберулерден аиат орытынды шыса

ай сан кпмшелік коэффициенті деп аталады? A)

ай формула орындалатын деп аталады? A) Тепе-те емес жалан формула

ай функциялар бастапы болады? A) Z(x)=0, N(x)=x+1, I_k(x₁,x₂,…x_n)=x_k

айта санау деген не? A) Белгілі бір асиетке ие болатын элементтерді санын анытау

андай жадайда екі айтылымны конъюнкциясы аиат? A) Егер екі айтылымда аиат болса

андай жиын А жиыныны бркеуі деп аталады? A) А жиыныны бос емес ішжиындарыны жиыны , егер

андай жиын жартылай реттелген жиын болады? A) Реттік атынасы берілген, біра ос салыстырылмайтын элементері бар болуы ммкін, жиын

андай жиын толы реттелген жиын болады?A) Реттік атынасы берілген, жне кез келген екі элементі салыстырмалы, жиын

андай атынас арсы рефлексивті деп аталады? A) а: асиетіне ие болатын бинарлы атынас

андай атынас арсы симметриялы деп аталады? A) а, b: аRb®bRa (басаша аRb шыады bRa) асиетіне ие болатын бинарлы атынас

андай атынас арсысимметриялы болады (егер aRb жне bRa, онда a=b)?A) «лкен», «кіші» ос сандар арасындаы атынастар

андай атынас рефлексивті деп аталады? A) а: аRa асиетіне ие болатын бинарлы атынас

андай атынас симметриялы деп аталады? A) а, b: аRb®bRa (басаша аRb шыады bRa) асиетіне ие болатын бинарлы атынас

андай атынас транзитивті болмайды (aRb, bRcÞaRc)? A) Тзулерді перпендикулярлы атынасы

андай атынас транзитивті деп аталады? A) а, b, с: (аRb&bRс)®аRc асиетіне ие болатын бинарлы атынас

андай атынас эквиваленттік атынасы деп аталады? A) Рефлексивті, симметриялы жне транзитивті болатын бинарлы атынас

андай формула жоа шыарылатын деп аталады? A) Тепе-те емес аиат формула

андай формула тепе-те аиат немесе тавтология деп аталады? A) Бульдік айнымалыларды амтитын жне 1 тепе-те бульдік функцияны рнектейтін формула

андай формула тепе-те жалан деп аталады? A) Бульдік айнымалыларды амтитын жне 0 тепе-те бульдік функцияны рнектейтін формула

арама-арсы емес заы: А)

арастырылымдаы барлы элементті амтитын жиын алай аталады? A) Универсал

арсы рефлексивті, арсы симметриялы жне транзитивті бинарлы атынас не деп аталады.…A) ата реттелгенатынасы

ата реттелген емес атынасы деп ай атынас аталады? A) Рефлексивті, арсы симметриялы жне транзитивті болатын бинарлы атынас

ата реттелген атынасы деп ай атынас аталады? A) арсы рефлексивті, арсы симметриялы жне транзитивті болатын бинарлы атынас

Логикалы айнымалы деген не? A) Екі элементті B{0,1} жиынынан мндер абылдайтын айнымалылар

Модуль бойынша осындысы 2 деген не? A) Аргументтеріні мндері беттессе 0 , кері жадайда 1 те екі айнымалы функция

Модуль бойынша осындысы 2 функциясы алай белгіленеді? A) XÅY

Модуль бойынша осындысы 2 функциясы алай белгіленеді? A) XÅY

Модуль бойынша осындысы 2 функциясы алай белгіленеді? A) XÅY

Негізгі комбинаторлы конфигурациялара не жатады? A) Теру, орналастыру, орын алмастыру

Орындалатын (айшы емес) формула деген не? A) Аиатты аумаы бос емес формула

рнек алай аталады? A) modus ponens силлогизмі

Пiкiрлер алгебрасынын А формуласыны интерпретациясы деп. . А) А формуласына кiретiн атомдарды шынды мяндерiнi кезкелген жиынын айтамыз

Пiкiрлер алгебрасынын формулаларынын, интерпретациясыны саны неге те ? А)2ⁿ

Предикат деген не? A) (m₁,m₂,…,m_n) векторына 0 немесе1 сйкестендіретін Р функциясы

Предикаттар шін де Морган заын рсетіізA)

Предикатты формуламен берілген P(X,Y) предикатыны аиатты аумаын табыыз: P(X,Y)=((X-Y)-та)&(max(X,Y) –та), мндаы Х={2,5,6,8}, Y={3,6,9} A) I_P(X,Y)={(3,2),(9,2),(9,6),(9,8)}

Р предикатыы аиатты аумаы деген не? A) Элементтерінде предикатты мндері 1 те Р предикатыны пндік аймаыны ішжиыны

Рекурренттік атынасты крсетіізA) a_n+1= a_n+d

Реттік атынасы берілген, біра ос салыстырылмайтын элементері бар болуы ммкін, жиын алай аталады? A) Жартылай реттелген жиын

Реттік атынасы берілген, жне кез келген екі элементі салыстырмалы, жиын алай аталады?A) Толы реттелген жиын

Рефлексивті, арсы симметриялы жне транзитивті бинарлы атынас не деп аталады…A) ата реттелгенемес атынасы

Силогизм заы: А)(А®В)® ((В®С) ®(А®С))

Сііру асиетін крсетііз A) АÈ(АÇВ) = А, АÇ(АÈВ) = А

Сііру асиетін крсетііз A) АÈ(АÇВ) = А, АÇ(АÈВ) = А

тепе - те формулаларда. . А) шынды таблицалары те болады

Тепе-те аиат айтылымды крсетііз A) А&ØА

Тепе-те аиат айтылымды крсетііз? A) А&ØА

Тепе-те жалан (айшы) формула деген не? A) Аиатты аумаы бос формула

Тепе-те жалан айтылымды крсетііз? A) А ÚØА

Тепе-те жалан айтылымды крсетііз? A) А ÚØА

Тепе-те жалан айтылымды крсетііз? A) А ÚØА

Терістеу деген не? A) Айтылым жалан боланда жне тек сонда ана «онда p дрыс емес» айтылымы аиат

шiншi шыару заы: А)АÚ

Формуланы шынды таблицасы депА) Формуланы неше трлi интерпретацияларынан жяне формуланын мяндерiнен арастырылган таблицаны атайды

хÚyÙz ЖДНФ- ? А)хÙуÙz Ú xÙyÙØz Ú xÙØyÙz Ú xÙØyÙØz ÚØxÙyÙz

х«у шін Жегалкин кпмшелігін рыызA) х+у+1

х®у шін Жегалкин кпмшелігін рыызA) ху+х+1

хÚу шін Жегалкин кпмшелігін рыызA) ху+х+у

хÙуÚуÙz ЖДНФ - ? А)хÙуÙz Ú ØxÙyÙz Ú xÙyÙØz

хyÚхz ЖДНФ- ? А)хуzÚxyØzÚ xØyz

Шеффер штрихі басаша алай аталады? A) арсы конъюнкция

Шеффер штрихі деген не? A) Аргументтеріні мндері тек 1 те боланда 0 те болатын айнымалы функция

Шеффер штрихі функциясы басаша алай аталады? A) арсы конъюнкция

Шеффер штрихі функциясы калай белгіленеді? A) X½Y

Шына те емес кез-келген шынды функцияны келесi трде жаза аламызА)СКНФ

Шынды функциялардын берiлетiн ядiстерiА) формуламен жяне шынды таблицасымен

Шынды функциялардын системалары толы деп аталады, егер : А)бл системанын функциясы бойынша кезкелген шынды функцияны жаза алса

Ышамдаыз Ø (ØхÚу)® [(xÚy)®x]: А)1

Эквиваленттік деген не? A) Айтылымды райтын p, q екуіде аиат немесе жалан боланда жне тек сонда ана “p эквивалент q” айтылымы аиат

Эквиваленцияны ассоциативтiк заы: А)А~ (В~С) ~ (А~В) ~С

Эквиваленцияны коммуникативтiк заы: А)(А~В) ~(В~А)

Эквиваленцияны терістеу заы: А)

Элементар конъюнкция деген не? A) р айнымалы бірден кп рет кірмейтін бірнеше айнымалыларыны конъюнкциясы жне оларды терістеулері

элементарлы дизъюнкциялар депА) n атомдардан Р₁ ,. . . , Р_n немесе оларды терiстеулерiнен рылган дизъюнкцияларды айтады

элементарлы конъюнкциялар депА) n атомдардан немесе олардын терiстеулерiнен рылган конъюнкцияларды айтады

Элементтерінде предикатты мндері 1 те Р предикатыны пндік аймаыны ішжиыны алай аталады?( Как называется подмножество предметной области предиката Р, на элементах которого значения предиката равны 1?)A) Предикатты аиатты аумаы