13-Óz betinshe jumıs tema. Toplamlar teoriyasın oqıtıw metodikası

13-Óz betinshe jumıs
tema. Toplamlar teoriyasın oqıtıw metodikası. Matematikalıq logikalıq elementlerin oqıtıw metodikası


Reje:
1. Kombinatorika elementlerin oqıtıw metodikası.
2. Sanaq sistemaların oqıtıw metodikası.


MATEMATİKALIQ LOGİKA ELEMENTLERİ
Aytımlar matematikalıq logikanın’ tiykarg’ı tu’siniklerinin’ biri bolıp, ol shın yamasa jalg’anlıg’ı bir ma’nisli anıqlanatug’ın ga’p bolıp esaplanadı. «Ma’selen, kvadrat tuwrı to’rtmu’yeshlik», « » sıyaqlı tastıyıqlawlar aytımlar bolıp, birinshi aytım shın, al ekinshi aytım jalg’an aytım bolıp esaplanadı.
Berilgen A aytım shın bolg’anda jalg’an, A aytım jalg’an bolg’anda shın bolatug’ın aytım A aytımnın’ biykarlanıwı dep ataladı ha’m ┐A yamasa arqalı belgilenedi.
A ha’m aytımlar shın bolıp, qalg’an jag’daylarda jalg’an bolatug’ın aytım A ha’m aytımlardın’ konyuntsiyası dep ataladı ha’m yamasa ko’rinisinde belgilenedi.
A ha’m aytımlar dizyuntsiyası dep, A ha’m aytımlardın’ ekewi de jalg’an bolg’anda g’ana jalg’an bolıp, qalg’an jag’daylarda shın bolatug’ın aytımg’a aytıladı ha’m ol ko’rinisinde belgilenedi.
A ha’m aytımlar implikatsiyası dep, A aytım shın ha’m aytım jalg’an bolg’anda g’ana jalg’an, qalg’an jag’daylarda shın bolatug’ın aytımg’a aytıladı ha’m ol ko’rinisinde belgilenedi.
A ha’m aytımlar ekvivalentsiyası dep, A ha’m aytımlardın’ ekewi de jalg’an yamasa ekewi de shın bolg’anda shın, qalg’an jag’daylarda jalg’an bolatug’ın aytımg’a aytıladı.
Bul a’mellerdin’ shınlıq tablitsası to’mendegishe:

A		┐A
1	1	0	1	1	1	1
1	0	0	0	1	0	0
0	1	1	0	1	1	0
0	0	1	0	0	1	1