Matematična logika in logične naloge

Povzetek

Ključne besede

Podatki

Jezik:	Slovenski jezik
Leto izida:	2013
Izvor:	Ljubljana
Tipologija:	2.11 - Diplomsko delo
Organizacija:	UL PEF - Pedagoška fakulteta
Založnik:	[K. Zupančič]
UDK:	510.6(043.2)
COBISS:	9797449
Št. ogledov:	1071
Št. prenosov:	202
Ocena:	0 (0 glasov)
Metapodatki:

Ostali podatki

Sekundarni jezik:	Angleški jezik
Sekundarni naslov:	Mathematical logic and logical puzzles
Sekundarni povzetek:	In this BSc thesis entitled Mathematical logic and logical puzzles we introduce some basics concerning the theory of mathematical logic, strategies for solving logical problems and examples of such problems that occur in logic competitions in primary and secondary schools. In the first part we introduce the basics of mathematical logic required for the understanding and successful solving of logical problems. Firstly we introduce the objects with which we work. These are propositions and propositional conjunctions. Next we study the relations between them, introduce the concept of equivalence of propositions, the selected forms of propositions, the full collection of conjunctions and the logical implications. At the end we use all this knowledge in the propositional calculus. What follows is a short introduction into set theory that is needed in an important part of mathematical logic--predicate calculus. In the second part of this thesis we establish different ways of proving the truthness or falseness of propositions. We consider an effective, universal method for solving mathematical logical problems which may be helpful in solving any mathematical problem. In the last part of this thesis we make a brief summary of logical problems that occur in Slovene logic competitions organised by the Slovene technical culture association (ZOTKS). At the end we provide examples of different types of such problems and solve some of them step by step.
Sekundarne ključne besede:	logic;logika;
Vrsta datoteke:	application/pdf
Vrsta dela (COBISS):	Diplomsko delo/naloga
Komentar na gradivo:	Univ. Ljubljana, Pedagoška fak., Matematika-računalništvo
Strani:	44 str.
Vrsta dela (ePrints):	thesis
Naslov (ePrints):	Mathematical logic and logical puzzles
Ključne besede (ePrints):	matematična logika
Ključne besede (ePrints, sekundarni jezik):	mathematical logic
Povzetek (ePrints):	V diplomskem delu Matematična logika in logične naloge predstavimo nekaj osnov teorije matematične logike, strategije reševanja logičnih nalog in primere nalog, ki se pojavljajo na logičnih tekmovanjih v osnovni in srednji šoli. V prvem delu predstavimo osnove matematične logike, ki so potrebne za razumevanje in uspešno reševanja logičnih nalog. Najprej spoznamo objekte, s katerimi operiramo. To so izjave in izjavni vezniki. V nadaljevanju preučimo odnose med njimi, se seznanimo s pojmom enakovrednosti izjav, izbranimi oblikami izjav, polnimi nabori veznikov ter logičnimi posledicami, na koncu pa vse to povežemo in uporabimo pri sklepanju v izjavnem računu. Sledi krajši uvod v osnove teorije množic, ki jih potrebujemo za razlago pomembnega dela matematične logike-predikatnega računa. V drugem delu diplomskega dela spoznamo načine dokazovanja resničnosti ali neresničnosti izjav. Seznanimo se z učinkovito univerzalno metodo reševanja matematičnih logičnih nalog, ki nam lahko pomaga pri uspešnem reševanju poljubnega matematičnega problema. V zadnjem delu diplomskega dela naredimo kratek pregled logičnih nalog, ki se pojavljajo na slovenskem tekmovanju v logiki, ki jih organizira Zveza za tehnično kulturo Slovenije. Za konec nekatere po korakih rešimo.
Povzetek (ePrints, sekundarni jezik):	In this BSc thesis entitled Mathematical logic and logical puzzles we introduce some basics concerning the theory of mathematical logic, strategies for solving logical problems and examples of such problems that occur in logic competitions in primary and secondary schools. In the first part we introduce the basics of mathematical logic required for the understanding and successful solving of logical problems. Firstly we introduce the objects with which we work. These are propositions and propositional conjunctions. Next we study the relations between them, introduce the concept of equivalence of propositions, the selected forms of propositions, the full collection of conjunctions and the logical implications. At the end we use all this knowledge in the propositional calculus. What follows is a short introduction into set theory that is needed in an important part of mathematical logic--predicate calculus. In the second part of this thesis we establish different ways of proving the truthness or falseness of propositions. We consider an effective, universal method for solving mathematical logical problems which may be helpful in solving any mathematical problem. In the last part of this thesis we make a brief summary of logical problems that occur in Slovene logic competitions organised by the Slovene technical culture association (ZOTKS). At the end we provide examples of different types of such problems and solve some of them step by step.
Ključne besede (ePrints, sekundarni jezik):	mathematical logic
ID:	8311758