Skip to search
Skip to main content
Skip to first result
Search
Search Results
Creator:
Šebestík, Jan,
Type:
text and monografie
Subject:
Matematika , Bolzano, Bernard, , matematici , filozofové , logika , dějiny vědy , české země 1792-1847 , and matematika, kybernetika
Language:
French
Rights:
unknown
Creator:
Šebestík, Jan,
Type:
text and studie
Subject:
Matematika , Bolzano, Bernard, , matematici čeští , logika , dějiny vědy , české země 1792-1847 , and matematika, kybernetika
Language:
French
Rights:
unknown
Creator:
Moural, Josef,
Type:
text and studie
Subject:
Filozofie , Masaryk, Tomáš Garrigue, , filozofové čeští , myšlení filozofické , logika , české země 1848-1918 , Československo 1918-1938 , and filozofie, filozofové
Language:
Czech
Rights:
unknown
Creator:
Karásek, Jindřich,
Type:
text and studie
Subject:
Filozofie , Hegel, Georg Wilhelm Friedrich, , filozofové němečtí , filozofie německá , dialektika , logika , Německo , světové dějiny 1789-1918 , and filozofie, filozofové
Language:
Czech
Description:
Method as a self-reference of concept.
Rights:
unknown
Creator:
Dekarli, Martin
Type:
text and zprávy z vědeckého života
Subject:
Historická věda. Pomocné vědy historické. Archivnictví , konference zahraniční , logika , středověk pozdní , and zahraniční konference, kongresy
Language:
Czech
Description:
St. Andrews, 23. - 24. 5. 2017
Rights:
unknown
Creator:
Holeček, Tomáš,
Type:
text and studie
Subject:
Antická, starověká filozofie , Aristotelés, , logika , filozofové řečtí , filozofie řecká , and starověké Řecko, Kréta
Language:
Czech and Ancient Greek (to 1453)
Description:
Vydáno ve spolupráci s Univerzitou Karlovou, Fakultou humanitních studií
Rights:
unknown
Creator:
Materna, Pavel,
Type:
text , rozhovory , and články jubilejní
Subject:
Logika , Materna, Pavel, , Svoboda, Vladimír, , jubilea životní , logika , logici , Československo 1918-1992 , české země od r. 1993 do současnosti , and filozofie, filozofové
Language:
Czech
Rights:
unknown
Creator:
Popovyč, Myroslav Volodymyrovyč,
Type:
text and monografie
Subject:
Logika , logika , filozofie , filozofie, filozofové , and přehledná zpracování světových dějin (chronologicky)
Language:
Russian
Rights:
unknown
Creator:
Peregrin, Jaroslav
Format:
bez média and svazek
Type:
model:article and TEXT
Subject:
axioms , logic , natural deduction , negation , axiomy , logika , přirozený odpočet , and negace
Language:
Slovak
Description:
Systems of axioms for elementary logic we can find in textbooks are usually not very transparent; and the reader might well wonder how did precisely such a set of axioms come into being. In this paper we present a way of constituting one such non-transparent set of axioms, namely the one presented by E. Mendelson in his Introduction to Mathematical Logic, in a transparent way, with the aim of helping the reader to get an insight into the workings of the axioms., Systémy axiomů pro elementární logiku, které můžeme najít v učebnicích, nejsou obvykle příliš transparentní; a čtenář by se mohl divit, jak přesně vznikl takový soubor axiomů. V tomto příspěvku představujeme způsob, jak vytvořit jednu takovou netransparentní sadu axiomů, a to transparentní způsob, který předložil E. Mendelson ve svém Úvodu do matematické logiky , s cílem pomoci čtenáři nahlédnout do fungování axiomů., and Jaroslav Peregrin
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public
Creator:
Šebela, Karel,
Type:
text and studie
Subject:
Filozofie , Aristotelés, , filozofie antická , determinismus , logika , antický svět , and filozofie, filozofové
Language:
Czech
Description:
The question of so-called logical determinism in antiquity and in modern logic.
Rights:
unknown