Diskretnaya matematika i matematicheskaya logika Chast' I

Dannaya rabota vklyuchaet v sebya neobkhodimye spravochnye svedeniya i tipovye primery po sleduyushchim razdelam, ryad iz kotorykh nedostatochno osveshchen v imeyushcheysya uchebnoy literature: § 1. Mnozhestva i operatsii nad nimi. 1. Otnosheniya na mnozhestvakh 2. Funktsiya i otobrazhenie. RAZDEL 2. MATEMATIChESKAYa LOGIKA. § 2.1 Logika vyskazyvaniy. 1. Formuly osnovnykh ravnosil'nostey §2.2. Rassuzhdeniya 1. Algoritmy proverki pravil'nosti rassuzhdeniya: §2.3. Bulevy funktsii. 1. Kon"yunktivnye normal'nye formy (KNF) i diz"yunktivnye normal'nye formy (DNF) 2. Sovershennaya diz"yunktivnaya normal'naya forma (SDNF) i sovershennaya kon"yunktivnaya normal'naya forma (SKNF). 3. Dvoystvennye i samodvoystvennye funktsii. 4. Predstavlenie bulevykh funktsiy releyno-kontaktnymi skhemami (pereklyucha-tel'nye funktsii). 5. Minimizatsiya bulevykh funktsiy: karty Karno.