módszertani útmutató

Készletek és kapcsolatok.

Készletek és leírásuk. Műveletek a set-ön. Rajzok Euler-Venn. Számosságú. Nye véges és megszámlálható halmazok. Kapcsolat. Tulajdonságok kapcsolatok. Műveletek kapcsolatok. Ekvivalencia reláció. Time-ütemek és egy ekvivalencia reláció. A kapcsolat a parciális rendezés, és szigorú. Funkciók és a kijelző. Injection, surjection, szuperpozíció, bijekciót, inverz függvényt.

Referenciák: [1], p. 5-10; [3], 2. rész; [4], Ch. 1-3; [5], Ch. 1.

Boole-algebra. Elemei a matematikai logika.

Boole-függvények. Módszerek a feladat. Jelentős és bábuk. Boole-formulával. Alapvető tulajdonságait logikai műveleteket. Teljesen normális formában. Poly Mr. Zhegalkin. Zárt osztály funkciókat. Funkcionálisan komplett rendszereket. Tétel funkcionális teljesség. Példák a funkcionálisan komplett bázisok. A probléma minimalizálása Boole-függvények. Áramkörök funkcionális elemekkel. Véges gépek. Formai elmélet. A fogalom a propozicionális-CIÓ. Tautológia. Ítéletlogika. elsőrendű logika.

Referenciák: [1], p. 14-53; [2], CHAP. 3,8; [3], 1,4 rész; [4], Ch. 4, 5; [5], Ch. 3.4.

Ekvivalencia logikai képleteket.

Boole-függvény lehet állítani akár használatával igazság asztalok (egyedileg) vagy logikai képletek (nem egyedi). Ha az igazság táblázat két logikai képlet ugyanaz, ezeket a képleteket egyenértékűek, és meghatározza az azonos Boole-függvény.

Példa. Ellenőrizze ekvivalencia logikai képletek:

Készítünk egy igazság táblázat a funkciót.