A lapokon újabb szavak és kifejezések is szerepelhetnek...
A Wikiforrásból Ugrás a navigációhoz Ugrás a kereséshez Az egész világ feléledt S az elérkezett tavasznak Örömére minden örvend; Csak az egy Vitéz nem örvend. Enyelegnek a juhnyájak, Tehenek, lovak futosnak, Danol a pacsirta s a pinty; Az egész berek homályja Zeneg édes énekekkel: Egyedűl csak én kesergek. Ihon, a kinyílt mezőkben, Ligetekbe, rétbe, kerten Hiacintok illatoznak, Tulipánok ékesednek, Mosolyognak a virágok: De mi kedven a tavaszban, Ha az ő viráginál szebb Lili nem virít ölemben?
Aztán áhítatos mély csend terül a mezőre. Bársonyos poszméhek szállonganak elő az erdőből. Mély dongással ereszkednek a zöldben pompázó rétre. Dongásuk mint a búgó orgona... Kezdődik a virágok miséje.
Az írásbeli dolgozat értékelése: 0-49%: elégtelen (1) 50-61%: elégséges (2) 62-73%: közepes (3) 74-85%: jó (4) 86-100%: jeles (5) A két félévközi zárthelyiben elért összpontszám alapján jutalompont kapható, mely az első vizsgadolgozat pontszámát növeli: 50-60%: 1 jutalompont, 61-70%: 2 jutalompont, 71-80%: 3 jutalompont, 81-90%: 4 jutalompont, 91-100%: 5 jutalompont Gyakorlati jegy / kollokvium teljesítésének módja, értékelése (Levelező): Kötelező irodalom: 1. Pásztorné Varga Katalin, A matematikai logika alapjai, ELTE, 1997. 2. Urbán jános matematikai logika za. Urbán János, Matematikai logika, Példatár, Műszaki Kiadó, Budapest 1983 - 1999 3. Ben-Ari, Mordechai, Mathematical Logic for Computer Science (second edition), Springer, London, 2004 Ajánlott irodalom:
1991 -től haláláig a budapesti Berzsenyi Dániel Gimnáziumban tanított matematikát. [1] Kutatási területei a matematika középiskolai tanítása, a matematikai logika, az algoritmuselmélet és a tanárképzés voltak. Díjai [ szerkesztés] Megkapta a Beke Manó-emlékdíjat, 1994 -ben az Apáczai Csere János-díjat, 2001 -ben pedig a Rátz Tanár Úr életműdíjat. Főbb művei [ szerkesztés] Határértékszámítás (Műszaki Könyvkiadó, Bolyai-sorozat, 1976, 2009); Matematikai logika (Műszaki Könyvkiadó, Bolyai-sorozat, 1983, 2006); Matek plusz – Matematikai tehetséggondozás 15 éveseknek ( Mozaik Kiadó, 1993); Kombinatorikai feladatok 14–18 éveseknek ( Mozaik Kiadó, 1999) Sokszínű matematika 9., 10., 11., 12. Urbán János: Matematikai logika (Typotex-Nemzeti Tankönyvkiadó, 1998) - antikvarium.hu. osztályosoknak (társszerző) ( Mozaik Kiadó, 2001). Ruzsa Imre – Urbán János, A matematika néhány filozófiai problémájáról – matematikai logika, Tankönyvkiadó, 1966 Források [ szerkesztés] Magyar Távirati Iroda Hermann Péter: MTI Ki kicsoda 2009, Bognár Anna, Török Zsuzsanna, Magyar Távirati Iroda, 1141. o.
Urbán János: Matematikai logika (Typotex-Nemzeti Tankönyvkiadó, 1998) - Szerkesztő Lektor Kiadó: Typotex-Nemzeti Tankönyvkiadó Kiadás helye: Budapest Kiadás éve: 1998 Kötés típusa: Ragasztott papírkötés Oldalszám: 93 oldal Sorozatcím: Speciális Matematika Tankönyvek Kötetszám: Nyelv: Magyar Méret: 20 cm x 14 cm ISBN: 978-963-279-725-0 Megjegyzés: Fekete-fehér ábrákkal illusztrált. Értesítőt kérek a kiadóról Értesítőt kérek a sorozatról A beállítást mentettük, naponta értesítjük a beérkező friss kiadványokról Fülszöveg A speciális matematika osztályok a hatvanas évek vége óta a magyar matematikatanítás kiváló műhelyei. Az elmélyült tanuláshoz és a témakör alapkönyveként kínáljuk e kötetet. Tartalom 1. Kijelentéslogika 3 1. 1. Kijelentések, logikai értékek 3 1. 2. Logikai műveletek 4 1. 3. Urbán jános matematikai logika informatika. Igazságfüggvények és alkalmazásaik 14 1. 4. Normálformák, teljes függvényrendszerek 22 1. 5. További példák alkalmazásokra 31 1. 6. Formulák, tautológiák 44 1. 7. A következmény fogalom 51 2. Elsőrendű logika 59 2.
Elsőrendű nyelvek és struktúrák 68 2. Logikai igazságok, következtetések 73 2. Kielégíthetőség, eldöntésprobléma 79 3. A matematikai logika történeti fejlődése (olvasmány) 84 Nincs megvásárolható példány A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük. Előjegyzem
Bevezet és 7 L A halmazalgebra és logikai alkalmazásai 9 1. Halmaz, részhalmaz 9 2. Műveletek halmazokkal 14 3. A halmazalgebra logikai alkalmazásai Az I. fejezetben kitűzött feladatok megoldásai 26 IL A kijelentéslogika 38 1. A logikai műveletek és tulajdonságaik 38 2. Igazságfüggvények, normálformák 45 3. Az igazságfüggvények néhány fontos osztálya 56 4. Teljes függvényrendszerek 6x A 11. fejezetben kitűzött feladatok megoldásai 77 111. A kijelentéslogika alkalmazásai 99 1. Urbán jános matematikai logika feladatok. Logikai áramkörök, automaták 2. Minimalizálási módszerek 111 3. Relés áramkörök szerkezete és bonyolultsága I29 A III. fejezetben kitűzött feladatok megoldásai 144 IV. Következtetési szabályok, axiomatizálás 167 I. A következményfogalom 167 2. A kijelentéslogika axiomatizálása 176 3. Boole-algebrák 186 A IV. fejezetben kitűzött feladatok megoldásai 199 V. Elsőrendű logikák és alkalmazásaik 2 I 4 1. Relációk és kvantorok 214 2. Modellek, azonosságok, azonosan igaz formulák, következteté- si szabályok 230 3. Kielégíthetőség, eldönt probléma, bizonyításelmélet 244 Az V. fejezetben kitűzött feladatok megoldásai 258