How not to lose common sense when formalizing in mathematical logic lessons
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F11%3A00184135" target="_blank" >RIV/68407700:21240/11:00184135 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Jak neztratit selský rozum při formalizaci v hodinách matematické logiky
Original language description
Při zkoušce z matematické logiky na vysoké škole jsou studenti často schopni prohlásit zjevně logicky správnou úvahu, jejíž správnost je zřejmá i dětem ze základních škol, za chybnou a naopak. Proč? Zvykli si totiž úlohy formalizovat, provést naučený postup důkazu, ale stačí malá chyba (zapomenout opsat negaci..), aby došli k nesprávnému výsledku. Vlastním úsudkem si již výsledek nezkontrolují. Tato zkušenost se týká technické vysoké školy, na vysokých školách mate- maticky zaměřených se matematická logika vyučuje jiným způsobem.
Czech name
Jak neztratit selský rozum při formalizaci v hodinách matematické logiky
Czech description
Při zkoušce z matematické logiky na vysoké škole jsou studenti často schopni prohlásit zjevně logicky správnou úvahu, jejíž správnost je zřejmá i dětem ze základních škol, za chybnou a naopak. Proč? Zvykli si totiž úlohy formalizovat, provést naučený postup důkazu, ale stačí malá chyba (zapomenout opsat negaci..), aby došli k nesprávnému výsledku. Vlastním úsudkem si již výsledek nezkontrolují. Tato zkušenost se týká technické vysoké školy, na vysokých školách mate- maticky zaměřených se matematická logika vyučuje jiným způsobem.
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Others
Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
7. konference o matematice a fyzice na vysokých školách technických
ISBN
978-80-7231-818-6
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
291-298
Publisher name
Univerzita obrany
Place of publication
Brno
Event location
Brno
Event date
Sep 22, 2011
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—