Квантификация операциясының қасиеттері
х,у сандар жиында элементар болса,екі мүшелік предикат. (коньюкция).
Екі мүшелік дизьюнциялық предикат
Оларды 1) x=3y=0
2) x=5y=6
болғандағын мәндерін табамыз.
((3<4)L(0<3)L(30¹0)=0
((3>0)V(0-3)V(3-0¹6))=1
((5<4)L(6<5)L(56=0))=0
((5>6)V(6=3)V(5-6=6))=0
Енді төмендегі теореманы дәлелдейміз:
Теорема 8.
М жиында n-көпмүшелік предикат берілген...
Предикаттарда амалдар
М-жиында R(х1, х2, ..., xn)берілген болсын.
Q(х1, х2, ..., xn)
Онда (а1, а2, ..., аn) және (b1, b2, ..., bn) наборлар үшін
R(а1, а2, ..., аn)
Q(b1, b2,...
Айтымдылық формулалар. (А.Ф,Пар) Тавтология
А.Ф.деп. алгебралық пікірлерге болады.
1)Натурал сандар жиыны,
2)Таңбалар х,у,z,x1,y,z,x2…...
3-5)А және В алгебра болса,онда )А)(В); (А) × (В),(А)d
Сәйкес келген мәндер қарастырайық
Л1)0,1- константа (Ақиқат,)
2)ù,Ù,Ú,®, ~«,логикалық амалдар
3)p,q,r,s,p,q,r,s,,.. аргумент тер
4)(,)-жақш
Осылардан...
Жиындарға қолданатын амалдар Қосу және алып тастау формулалары
Жиындарды-А, В, С,.....,
Элементтерді-а,в,......,
Егер а –элемент А- жиынға тиісті болса, былай жазамыз:
аА, .
тиісті болмаса А жиында барлық элементтері В жиында болса, онда .
Мысалы бүтін сандар,...
Электрон схемалардың құрылуында буль функцияларының қолдануы
Автоматика және есептеу техникасындағы электрон схемаларды істеп шығудабуль функциялары өте көп қолданылады. Іске түсірілетін электрон құрылымдардыңнегізгі жұмыстары көп кездерде олардың конструктивсипаттарын математикалық алмастыру арқылы...
Элементар функциялардың қасиеттеріне байланысты мысалдар
Функцияны өте жай формулаға келтіріңіз:
F (x1, x2, x3)=( x1Ú x2 Ú x3 Ú ( x1 Ú x2) x1 x3
Шешімі: Бұл жерде элементар функциялардың...
Формулалар эквиваленттігі Элементар функциялардың қасиеттері
Біз алдыңғы тақырыптарымызда D дан алынған әрбір формулаларға тең болған логикалық алгебралық функцияларын сәйкес келуін көрдік.
5-анықтама. D дан алынған А және В формулалар эквивалент...
Екі аргументке байланысты функциялар
f 1 (х1,х2)=0 – 0 константасы.
коньюнкциясы (х1 және х2 деп оқылады.) Бұл функция логикалық көбейту деп аталады.
3) f3 (х1,х2)= (х1 х2)-теріс имплекацияфункциясы.
4)f4(х1,х2)=...
Логикалық алгебраның функцилары
Айтайықи = { и1, и2 ,...,и м ,... } –бастапқыайнымалылар(аргументтер) алфабиті болсын. Біз аргументтерді төмендегідей анықтаталған :
Uik # uijk # I,
E2 = { 0.1}...
АКТ- ы дамуының перспективалық бағыттары
Оқушыларға қазіргі кезеңде АКТ инструменьтарий технологияларын жылдам дамуына байланысты білім алу адістерінің өзгеруін түсіндіреміз.
Телекоммуникациялық техниканың дамуы нәтижесінде спутниктік байланыс мүмкіндігі туындады. Бұл байланыстың...
Оқытудағы ақпараттық-іздеу жүйе
Білім беруде ақпараттық жүйені пайдаланып іздеу мәселесін шешуді үйрету.
Ақпарат -латынның іnformatіo деген сөзінен шыққан, яғни істің жай-күйі немесе біреудің іс-әрекеті туралы ақпарат, мәлімдеменемесе...
Интернетте объектіге бағдарланған тәсілдің болашағы
Білім беруде интернет жүйесінің философиялық және психологиялық негізін көрсету.
Интернет деп бүкіләлемдік компьютерлік торапты айтады. Интернет сөзінің тікелей аудармасы – желіаралық, яғни желілердің бірігуі...
Тестілеу және ЕҰТ жүйелерінің электрондық нұсқалары
АКТ технологиясының дамуы нәтижесінен пайдаланып тестік әдістерді жобалауды үйрету.
Біз жоғарыда айтып өткеніміздей қазіргі кезеңде білім берудің ең негізгі әдістерден біреуітест әдісіболып саналады. Тест...
Білім берудегі баскару қызметтерін автоматтандыру
Білім беру көлемін асыру үшін оны автоматтандырудың негізін үйрету.
Педагогиканың әдістемелік тарихы оқу пәні ретінде қазіргі кездеөте бір қиын жағдайда тұр.Өйткеніегер бізпедагогикалық әдістемеліктарихты талдап...