Attributes | Values |
---|
rdf:type
| |
Description
| - 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ödel theorems, and arithmetics. (en)
- Zájemcům o logiku, ať už z řad studentů vyšších ročníků gymnázií, či širší veřejnosti, je určena publikace přibližující základy logického uvažování v jeho moderní podobě. Od logických hádanek a sylogismů směřuje systematicky k bližšímu seznámení s teorií logiky. Zejména studenti gymnázií uvažující o vysokoškolském studiu matematického zaměření se zde mohou setkat nejen s výrokovou a predikátovou logikou, ale také s náročnějším dokazováním v axiomatické teorii či rozborem Gödelových vět o neúplnosti aritmetiky. Právě podrobný popis Gödelových myšlenek v intuitivní rovině je v české odborné literatuře ojedinělým počinem. Přední český matematik Antonín Sochor se zabýval matematickou logikou a teorií množin, později také studiem Vopěnkovy alternativní teorie množin a souvisejícími otázkami z tzv. nestandardní analýzy. Svými monografiemi Klasická matematická logika a Metamatematika teorií množin položil u nás základy moderní univerzitní výuky matematické logiky.
- Zájemcům o logiku, ať už z řad studentů vyšších ročníků gymnázií, či širší veřejnosti, je určena publikace přibližující základy logického uvažování v jeho moderní podobě. Od logických hádanek a sylogismů směřuje systematicky k bližšímu seznámení s teorií logiky. Zejména studenti gymnázií uvažující o vysokoškolském studiu matematického zaměření se zde mohou setkat nejen s výrokovou a predikátovou logikou, ale také s náročnějším dokazováním v axiomatické teorii či rozborem Gödelových vět o neúplnosti aritmetiky. Právě podrobný popis Gödelových myšlenek v intuitivní rovině je v české odborné literatuře ojedinělým počinem. Přední český matematik Antonín Sochor se zabýval matematickou logikou a teorií množin, později také studiem Vopěnkovy alternativní teorie množin a souvisejícími otázkami z tzv. nestandardní analýzy. Svými monografiemi Klasická matematická logika a Metamatematika teorií množin položil u nás základy moderní univerzitní výuky matematické logiky. (cs)
|
Title
| - Logic for all ready thinkers (en)
- Logika pro všechny ochotné myslet
- Logika pro všechny ochotné myslet (cs)
|
skos:prefLabel
| - Logic for all ready thinkers (en)
- Logika pro všechny ochotné myslet
- Logika pro všechny ochotné myslet (cs)
|
skos:notation
| - RIV/00216208:11210/11:10105858!RIV12-MSM-11210___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216208:11210/11:10105858
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Predicate logic; Propositional logic; Proof; Logic (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://localhost/t...ganizacniJednotka
| |