|
|
Logical problems zebra with pupils in primary school
Laštovková, Tereza ; Slezáková, Jana (advisor) ; Havlíčková, Radka (referee)
This diploma thesis is focusing on analysis of logical zebra problems and finding strategies of pupils solutions and development of these strategies in primary school. For this diploma thesis was created two gradation of those logical problems for pupils from the 1st - 5th class in primary school. Theoretical part is focused on characteristics of logical problems zebra, its definition, history of logical problems zebra and its todays use. In more detail it is based on examples and ways of strategies, how to solve these problems, like with tablets or full charts and so on. It's also focused on parameters of gradation, which serve the possibilities of making gradation for pupils in primary school in the next part, the research part. Research part is based on description and comments of pupils strategies in solving logical problems zebra in two gradation, wich contains ten tasks.. Research part shows how pupils can develop their solving strategies based on their experience with solving logical problems zebra, with described phenomena for pupils solution and for tasks. KEY WORDS graded parameters of problems, context of problems, logic, negation, problems with conditions, relations, solving strategy of pupils in primary school, table as tool for problem solving
|
|
|
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.
|
|
|
Application of SAT Solvers in Circuit Optimization Problem
Minařík, Vojtěch ; Mrázek, Vojtěch (referee) ; Vašíček, Zdeněk (advisor)
This thesis is focused on the task of application of SAT problem and it's modifications in area of evolution logic circuit development. This task is supposed to increase speed of evaluating candidate circuits by fitness function in cases where simulation usage fails. Usage of SAT and #SAT problems make evolution of complex circuits with high input number significantly faster. Implemented solution is based on #SAT problem. Two applications were implemented. They differ by the approach to checking outputs of circuit for wrong values. Time complexity of implemented algorithm depends on logical complexity of circuit, because it uses logical formulas and it's satisfiability to evaluate logic circuits.
|
|
|
Onto-Logic Conception and Critic of Existence by William F. Vallicella
PRIEHRADNÁ, Markéta
Our concern is to deal with the notion of existence and its status in onto-logical approach among analytic philosophers of the last century. As a draft of this critique we are using works of american philosopher William F. Vallicella, especially his three works: A Critique of the Quantificational Account of Existence (1983), A Paradigm Theory of Existence: Onto-Theology Vindicated (2002) and Existence: Two Dogmas of Analysis (2014). We criticise and analyse the philosophical view which suggests that to exist is what instantiation of existence is. This view is established in the works of Gottlob Frege, Bertrand Russell and Willard V. O. Quine. We also cope with the Vallicella's critique of ontology, which validates the statements about non-existent objects, and with his critique of existence being a first order property.
|
|
|
Method of Drawing on the right side of the brain from the perspective of art education
DAVIDOVÁ, Eliška
This bachelor thesis presents critical and comparative study devoted to the analytic method called Drawing on the right side of the brain and its comparison to traditional teaching models of drawing. The text is based primarily on an analysis of methodological materials by Betty Edwards (author of the book Learn to draw on the right side of the brain) and confronts them with the latest findings in neuroscience which are dealing with localization of creative acts. This thesis aims to critically point out the differences in the concept of teaching methods of drawing, their professional basis and to update their creative and learning potential for the sphere of art education.
|
|
|
Thought intersections of philosophy and mathematics
Hlavešová, Ilona ; Hogenová, Anna (advisor) ; Blažková, Miloslava (referee)
The submitted thesis addresses the ideas that are at the intersections of philosophy and mathematics. These intersections have been in the course of the history as follows: Numerical ratios, the concept of infinity, continuum partition, space specification, determinism versus randomness and exploring of the mathematics foundations with an overlap into philosophy. The results herewith presented have been achieved on the basis of the HTF lectures and seminars, available literature, my own knowledge and reasoning. The thesis documents processes of how mathematics stimulated certain philosophical principles and vice versa how mathematics was influenced by philosophical views. Last but not least, there are presented comparisons between philosophic propositions and the current mathematics and physics knowledge in the mentioned intersections.
|
|
| |
|
|
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.
|
|
| |
guest ::
