Diskretnaq matematika i matematicheskaq logika Chast' I

Dannaq rabota wklüchaet w sebq neobhodimye sprawochnye swedeniq i tipowye primery po sleduüschim razdelam, rqd iz kotoryh nedostatochno osweschen w imeüschejsq uchebnoj literature: § 1. Mnozhestwa i operacii nad nimi. 1. Otnosheniq na mnozhestwah 2. Funkciq i otobrazhenie. RAZDEL 2. MATEMATIChESKAYa LOGIKA. § 2.1 Logika wyskazywanij. 1. Formuly osnownyh rawnosil'nostej §2.2. Rassuzhdeniq 1. Algoritmy prowerki prawil'nosti rassuzhdeniq: §2.3. Bulewy funkcii. 1. Kon#ünktiwnye normal'nye formy (KNF) i diz#ünktiwnye normal'nye formy (DNF) 2. Sowershennaq diz#ünktiwnaq normal'naq forma (SDNF) i sowershennaq kon#ünktiwnaq normal'naq forma (SKNF). 3. Dwojstwennye i samodwojstwennye funkcii. 4. Predstawlenie bulewyh funkcij relejno-kontaktnymi shemami (pereklücha-tel'nye funkcii). 5. Minimizaciq bulewyh funkcij: karty Karno.