|
|
British Logic in the 19th Century
Joachim, Jiří ; Holeček, Tomáš (advisor) ; Šebela, Karel (referee)
According to American philosopher W. W. Bartley, the transition from tradi- tional Aristotelian to Boolean logic is a revolutionary milestone in the history of logic. The work of George Boole which was followed by a developement of a mathematicaly oriented logic brings a shift of paradigm. In my thesis I follow the period in which the shift is said to have happened. I explicate the elements of syllogistic and its main conceptions as expounded in a textbook The Rudiments of Logic written by Henry Aldrich. Furthermore I demon- strate logical systems of three authors: Archbishop Richard Whately, George Boole and Lewis Carroll. I accent the connection of those systems and the practical aspect of logic. With this in mind I consider Bartley's statement and estimate the role of the rules in the systems and its possible use in three domains circumscribed in Aldriches book: simple apprehension, judgement and discourse. 1
|
|
|
Environment of Family-tree in primary school mathematics
Bartošová, Zuzana ; Jirotková, Darina (advisor) ; Hejný, Milan (referee)
The Rodokmen (Family tree) environment is one of the many envirnments listed in Fraus publishing house textbooks based on the RVP pro ZV (The Framework Educatinal Programme for Basic Education). The environment offers a tool for building of the mathematical schema of terms and their inter-realations as well as the development of the logical thought. In the theorethicl part of this Diploma thesis the relationship of the Rodokmen environment to the RVP pro ZV is being explained, basic mathematical and geneaologic terminology is stated. In this part of the thesis I also explain the relations in the set cocncept, clasify the family relationships and adress the methodology of the age example solving. In the practical part of the thesis I - by the way of experiment - determine how and in what context students understand the stated mathematical terms, the way they apply the understanding in order to solv the relation and age exams or problems, where the numeric operations take place.
|
|
|
Teaching web application for secondary school mathematical logic
Moravec, Luboš
Teaching web application for secondary school mathematical logic Luboš Moravec Abstract: The head part of thís work is a website intended especially for secondary school students which teaches mathematical logic. The website is divided into two parts - a teaching text and tests. The teaching text, which is divided into seven chapters, explains the idea of propositions and their negations, basic logic connectives (conjunction, disjunction, implication, equivalence), a problem of finding truth value of composite propositions and their negations, work with quantifiers, set operations, Venn's diagrams and proof techniques. Except the teaching chapters there are also tests for verifing new knowledge. The questions in tests are randomly selected from a group of similar questions, so a repeated test has new questions. This text contains an user guide, a programmer documentation and a printed version of teaching chapters.
|
|
|
British Logic in the 19th Century
Joachim, Jiří ; Holeček, Tomáš (advisor) ; Šebela, Karel (referee)
According to American philosopher W. W. Bartley, the transition from tradi- tional Aristotelian to Boolean logic is a revolutionary milestone in the history of logic. The work of George Boole which was followed by a developement of a mathematicaly oriented logic brings a shift of paradigm. In my thesis I follow the period in which the shift is said to have happened. I explicate the elements of syllogistic and its main conceptions as expounded in a textbook The Rudiments of Logic written by Henry Aldrich. Furthermore I demon- strate logical systems of three authors: Archbishop Richard Whately, George Boole and Lewis Carroll. I accent the connection of those systems and the practical aspect of logic. With this in mind I consider Bartley's statement and estimate the role of the rules in the systems and its possible use in three domains circumscribed in Aldriches book: simple apprehension, judgement and discourse. 1
|
|
|
Teaching web application for secondary school mathematical logic
Moravec, Luboš
Teaching web application for secondary school mathematical logic Luboš Moravec Abstract: The head part of thís work is a website intended especially for secondary school students which teaches mathematical logic. The website is divided into two parts - a teaching text and tests. The teaching text, which is divided into seven chapters, explains the idea of propositions and their negations, basic logic connectives (conjunction, disjunction, implication, equivalence), a problem of finding truth value of composite propositions and their negations, work with quantifiers, set operations, Venn's diagrams and proof techniques. Except the teaching chapters there are also tests for verifing new knowledge. The questions in tests are randomly selected from a group of similar questions, so a repeated test has new questions. This text contains an user guide, a programmer documentation and a printed version of teaching chapters.
|
|
|
Environment of Family-tree in primary school mathematics
Bartošová, Zuzana ; Jirotková, Darina (advisor) ; Hejný, Milan (referee)
The Rodokmen (Family tree) environment is one of the many envirnments listed in Fraus publishing house textbooks based on the RVP pro ZV (The Framework Educatinal Programme for Basic Education). The environment offers a tool for building of the mathematical schema of terms and their inter-realations as well as the development of the logical thought. In the theorethicl part of this Diploma thesis the relationship of the Rodokmen environment to the RVP pro ZV is being explained, basic mathematical and geneaologic terminology is stated. In this part of the thesis I also explain the relations in the set cocncept, clasify the family relationships and adress the methodology of the age example solving. In the practical part of the thesis I - by the way of experiment - determine how and in what context students understand the stated mathematical terms, the way they apply the understanding in order to solv the relation and age exams or problems, where the numeric operations take place.
|
|
|
Řešitel příkladů pro předmět Teoretické základy informatiky
Šimonová, Adriana
Šimonová A., A researcher of examples for a subject of Theoretical basics of informatics. Mendel Univerity in Brno, 2013. Bachelor thesis is focused on the subject - Theoretical basics of informatics, specifically on propositional calculus. In the theoretical part is described a theory of propositional calculus to be understood this issue by readers. In the second part the bachelor thesis is described by the researcher of examples.
|
guest ::
