. . . "RIV/00216208:11210/11:10105858" . "Sochor, Anton\u00EDn" . "1"^^ . "Logika pro v\u0161echny ochotn\u00E9 myslet" . . . "Predicate logic; Propositional logic; Proof; Logic"@en . . . . . "Logika pro v\u0161echny ochotn\u00E9 myslet"@cs . . "209835" . "Z\u00E1jemc\u016Fm o logiku, a\u0165 u\u017E z \u0159ad student\u016F vy\u0161\u0161\u00EDch ro\u010Dn\u00EDk\u016F gymn\u00E1zi\u00ED, \u010Di \u0161ir\u0161\u00ED ve\u0159ejnosti, je ur\u010Dena publikace p\u0159ibli\u017Euj\u00EDc\u00ED z\u00E1klady logick\u00E9ho uva\u017Eov\u00E1n\u00ED v jeho modern\u00ED podob\u011B. Od logick\u00FDch h\u00E1danek a sylogism\u016F sm\u011B\u0159uje systematicky k bli\u017E\u0161\u00EDmu sezn\u00E1men\u00ED s teori\u00ED logiky. Zejm\u00E9na studenti gymn\u00E1zi\u00ED uva\u017Euj\u00EDc\u00ED o vysoko\u0161kolsk\u00E9m studiu matematick\u00E9ho zam\u011B\u0159en\u00ED se zde mohou setkat nejen s v\u00FDrokovou a predik\u00E1tovou logikou, ale tak\u00E9 s n\u00E1ro\u010Dn\u011Bj\u0161\u00EDm dokazov\u00E1n\u00EDm v axiomatick\u00E9 teorii \u010Di rozborem G\u00F6delov\u00FDch v\u011Bt o ne\u00FAplnosti aritmetiky. Pr\u00E1v\u011B podrobn\u00FD popis G\u00F6delov\u00FDch my\u0161lenek v intuitivn\u00ED rovin\u011B je v \u010Desk\u00E9 odborn\u00E9 literatu\u0159e ojedin\u011Bl\u00FDm po\u010Dinem. P\u0159edn\u00ED \u010Desk\u00FD matematik Anton\u00EDn Sochor se zab\u00FDval matematickou logikou a teori\u00ED mno\u017Ein, pozd\u011Bji tak\u00E9 studiem Vop\u011Bnkovy alternativn\u00ED teorie mno\u017Ein a souvisej\u00EDc\u00EDmi ot\u00E1zkami z tzv. nestandardn\u00ED anal\u00FDzy. Sv\u00FDmi monografiemi Klasick\u00E1 matematick\u00E1 logika a Metamatematika teori\u00ED mno\u017Ein polo\u017Eil u n\u00E1s z\u00E1klady modern\u00ED univerzitn\u00ED v\u00FDuky matematick\u00E9 logiky." . "1"^^ . . "Logika pro v\u0161echny ochotn\u00E9 myslet" . . "Z\u00E1jemc\u016Fm o logiku, a\u0165 u\u017E z \u0159ad student\u016F vy\u0161\u0161\u00EDch ro\u010Dn\u00EDk\u016F gymn\u00E1zi\u00ED, \u010Di \u0161ir\u0161\u00ED ve\u0159ejnosti, je ur\u010Dena publikace p\u0159ibli\u017Euj\u00EDc\u00ED z\u00E1klady logick\u00E9ho uva\u017Eov\u00E1n\u00ED v jeho modern\u00ED podob\u011B. Od logick\u00FDch h\u00E1danek a sylogism\u016F sm\u011B\u0159uje systematicky k bli\u017E\u0161\u00EDmu sezn\u00E1men\u00ED s teori\u00ED logiky. Zejm\u00E9na studenti gymn\u00E1zi\u00ED uva\u017Euj\u00EDc\u00ED o vysoko\u0161kolsk\u00E9m studiu matematick\u00E9ho zam\u011B\u0159en\u00ED se zde mohou setkat nejen s v\u00FDrokovou a predik\u00E1tovou logikou, ale tak\u00E9 s n\u00E1ro\u010Dn\u011Bj\u0161\u00EDm dokazov\u00E1n\u00EDm v axiomatick\u00E9 teorii \u010Di rozborem G\u00F6delov\u00FDch v\u011Bt o ne\u00FAplnosti aritmetiky. Pr\u00E1v\u011B podrobn\u00FD popis G\u00F6delov\u00FDch my\u0161lenek v intuitivn\u00ED rovin\u011B je v \u010Desk\u00E9 odborn\u00E9 literatu\u0159e ojedin\u011Bl\u00FDm po\u010Dinem. P\u0159edn\u00ED \u010Desk\u00FD matematik Anton\u00EDn Sochor se zab\u00FDval matematickou logikou a teori\u00ED mno\u017Ein, pozd\u011Bji tak\u00E9 studiem Vop\u011Bnkovy alternativn\u00ED teorie mno\u017Ein a souvisej\u00EDc\u00EDmi ot\u00E1zkami z tzv. nestandardn\u00ED anal\u00FDzy. Sv\u00FDmi monografiemi Klasick\u00E1 matematick\u00E1 logika a Metamatematika teori\u00ED mno\u017Ein polo\u017Eil u n\u00E1s z\u00E1klady modern\u00ED univerzitn\u00ED v\u00FDuky matematick\u00E9 logiky."@cs . "11210" . "Logic for all ready thinkers"@en . "The book brings basic principles of logic that are important in the field of mathematical reasoning. It contains formal methods as well as popular examples and puzzles. A reader can find advanced topics as well - axiomatic theories, G\u00F6del theorems, and arithmetics."@en . "Logika pro v\u0161echny ochotn\u00E9 myslet"@cs . . . "[4CDEA5D57171]" . "RIV/00216208:11210/11:10105858!RIV12-MSM-11210___" . . "I" . . "Logic for all ready thinkers"@en .