O expunere populară a logicii matematice, care nu necesită cunoștințe pentru înțelegerea ei, care depășește cursul școlar al matematicii.
Cartea va fi utilă oricui dorește să se familiarizeze cu elementele de bază ale logicii matematice. Pe lângă arhiva cărții Kaluzhnina LA. "Elemente ale teoriei seturilor și logicii matematice în cursul școlar al matematicii". M. Iluminare, 1978, 88 pagini; "Transformări și permutări", M. Nauka, 1985, 160 p.
Cuprins
introducere
Capitolul 1. Logica declarațiilor
§ 1. Elemente ale logicii propoziționale
§ 2. Operațiuni logice
§ 3. Funcții booleene
§ 4. Forme normale. Algebra booleană
§ 5. Aplicațiile algebrice ale logicii în teoria circuitelor releu-contacte și în teoria automatelor
Capitolul doi. Formule identice ale logicii propoziționale
§ 1. Semnificația formulelor identice identice pentru logica propozițiilor
§ 2. Exemple de formule identice de logică propozițională
§ 3. Derivația formală a unor formule identice de logică propozițională
Capitolul trei. Logica predicatelor
§ 1. Predictivează
§ 2. Aplicarea operațiunilor logicii propoziționale la predicate
§ 3. Cuantizatori
§ 4. Transformări ale formulelor logicii predicatelor. Forma normală primară
§ 5. Judecățile și silogismul
§ 6. Aplicarea expresiilor logice predicate pentru a descrie unele relații
Concluzia. Bazele matematicii și logicii matematice
Literatura.
Trebuie să fiți înregistrat pentru a citi textul sau pentru a descărca fișiere