Zpráva o stavu pokrytí povinných přednášek bakalářského studia studijního programu matematika na MFF UK literaturou. ÚVOD. Nejprve chci poděkovat všem odpovědným učitelům oborů a přednášejícím jednotlivých přednášek za ochotu, s jakou mi pomáhali při zjišťování a doplňování informací o současném stavu věci. Omlouvám se rovněž za možné nepřesnosti a prosím, aby bylo na tento elaborát nahlíženo okem shovívavým. Chci poznamenat, že v přehledu nebudu uvádět některé texty, které ovlivňují studium matematiky již řadu desetiletí (např. učebnice matematické analýzy V. Jarníka), ale omezím se pouze na knihy a skripta, kterých přednášející používají v současné době jako učebnic. Každá přednáška na MFF je vymezena svým syllabem. Na druhé straně je třeba uvážit, že přednášející se snaží předat studentům to nejlepší, a tak je málokterá přednáška redukována na pouhé opakování již napsaného textu. Většina přednášejících doplňuje používání učebnic tím, že dává studentům k dispozici své poznámky na webovské stránce. Tyto poznámky pak často slouží jako materiál k nově publikované učebnici. Málokdy se stane, že by přednáška byla pokryta jediným studijním textem (i když ani to není vyloučeno). Předložený přehled má aproximativní charakter a může se rok od roku měnit - v závislosti na osobě přednášejícího, na eventuálním vydání nového nebo inovovaného textu a.j. (U přednášek, kde jsem zatím nesehnal informace od současného přednášejícího, jsem ponechal literaturu tak, jak byla uvedena u předmětu v bázi předmětů.) 1
ODBORNÁ MATEMATIKA Obor Obecná matematika Matematická analýza 1a - 2b (MAA001-MAA004) a Proseminář z kalkulu 1a, 1b (MAA079, MAA080). Veselý, J.: Základy matematické analýzy. První díl. Matfzypress, 2004. Zajíček, L.: Vybrané partie z matematické analýzy pro 1. a 2. ročník, Matfyzpress, 2003. Zajíček, L.: Vybrané úlohy z matematické analýzy pro 1. a 2. ročník, Matfyzpress, 2000. Holický, P., Kalenda, O. F. K.: Metody řešení vybraných úloh z matematické analýzy, Matfyzpress, 2006. Ve stadiu přípravy je druhý díl učebnice J. Veselého. Lineární algebra a geometrie I, II (ALG001, ALG002). Bican, L.: Lineární algebra a geometrie. Academia, Praha. 2000. Algebra I, II (ALG026, ALG027). Bican, L., Kepka, T., Němec, P. a Procházka, L.: Algebra. Academia Praha, 1990. Další materiál, sloužící jako učebnice jsou skripta J. Trlifaje na adrese http://www.karlin.mff.cuni.cz/~trlilfaj/alg026-7.pdf Od D. Stanovského: http://www.karlin.mff.cuni.cz/~stanovsk/vyuka/skripta_zalg.pdf http://www.karlin.mff.cuni.cz/~stanovsk/vyuka/sbírka.pdf Diskrétní matematika (DMA005) Matoušek, J., Nešetřil, J.: Kapitoly z diskrétní matematiky, Matfyzpress, 1996. Teorie míry a integrálu I, II (MAA069, MAA070). Lukeš, J. Malý, J.: Míra a integrál. Karolinum, 2002. Lukeš, J., Malý, J.: Measure and Integral. Matfyzpress, 2005. Rudin, W.: Analýza v reálném a komplexním oboru, Academia, 2003. Základy numerické matematiky (NUM105). 2
Segethová, J.: Základy numerické matematiky, Karolinum, 2002. Feistauer, M.: Diskrétní metody řešení diferenciálních rovnic, SPN, 1981. Pravděpodobnost a matematická statistika (STP022) Dupač V., Hušková, M.: Pravděpodobnost a matematická statistika, Karolinum, 2001. Programování I, II (PRM044, PRM045) P.Töpfer: Algoritmy a programovací techniky, Prometheus Praha 1995 P.Satrapa: Pascal pro zelenáče, Neokortex Praha 2000 N.Wirth: Algorithms + Data Structures = Programs, Prentice Hall Englewood Cliffs; New Jersey 1975. Slovenský překlad: N. Wirth: Algoritmy a štruktúry údajov, Alfa, Bratislava 1989 (doplň. literatura). Obor Finanční matematika (Uvádíme pouze ty povinné předměty, které nejsou uvedeny v předchozím oboru Obecná metematika) Kalkulus Ib (MAA072) Veselý, J.: Matematická analýza pro učitele, druhý díl, Matfyzpress, 1997. (Partie o integrálu - kap. 10). Zajíček, L.: Vybrané partie z matematické analýzy pro 1. a 2. ročník, Matfyzpress, 2003. (Partie o funkcích více proměnných- kap.2). Kopáček, J.: Matematika pro fyziky III, Matfyzpress, 2002. (Partie o funkcích více proměnných, kap. XII). Kalkulus IIa, IIb (MAA073, 074) 3
(Přednášející M. Hušek používá on-line text na níže uvedené adrese, který by měl po dokončení čtvrtého dílu pokrýt matematickou analýzu v prvním dvouletí. Autoři (M. Hušek a P. Pyrih) počítají s možností publikace.) http://matematika.cuni.cz/dl/analyza Doplňky: Kopáček, J.: Matematická analýza pro fyziky II - IV, Matfyzpress, od r. 2000 vyšlo několikrát. Kopáček, J.: Příklady z matematické analýzy nejen pro fyziky II-IV, Matfyzpress, od roku 2000 vyšlo několikrát. Praktická lineární algebra a geometrie (ALG086) Skripta J. Žemličky na adrese http://www.karlin.mff.cuni.cz/~holub/soubory/prlaskripta.pdf Úvod do financí (FAP099) Dupačová, J., Hurt, J., Štěpán, J.: Stochastic Modelling in Economics and Finance. Kluwer Academic Publishers, Dordrecht, 2002. (Základní text k tomuto předmětu. J. Hurt připravuje k vydání českou verzi této učebnice (2007).) Pravděpodobnost a statistika (STP129) Karel Zvára, Josef Štěpán: Pravděpodobnost a matematická statistika. Matfyzpress, Praha 2002. V. Dupač, M. Hušková: Pravděpodobnost a matematická statistika. Karolinum, Praha, 1999. Základy numerické matematiky (NUM009) Segethová J.: Základy numerické matematiky, Karolinum, 2002 (pokrývá asi 60% přednášky). 4
Deuflhard P. and Hohmann A.: Introduction to Scientific Computing, 2nd edition, Springer, 2002. (Moderní kniha, dle dobrozdání Vl. Janovského, který podle ní částečně přednáší - protože v knihovně je pouze 1 exemplář, bylo by asi dobré přikoupit.) Úvod do optimalizace (MAN007) Pracovní text přednášky je k dispozici na WWW-stránce doc. Petra Lachouta. (P. Lachout předpokládá, že v příštím roce text vydá jako skripta.) Matematické metody ve financích (FAP022) Mc Cutcheon, J.J., Scott, W.F.: An Introduction to the Mathematics of Finance. Butterworth - Heinemann, Oxford, 1991 (Základní text k přednášce - v knihovně 3 exempláře, bylo by vhodné koupit několik dalších.) Blake, D.: Analýza finančních trhů. Grada, Praha 1995 (Doplněk) T. Cipra: Finanční matematika v praxi. HZ, Praha, 1993. (Doplněk) Finanční management (FAP008) Dupačová, J., Hurt, J., Štěpán, J.: Stochastic Modelling in Economics and Finance. Kluwer Academic Publishers, Dordrecht, 2002. (Základní text k tomuto předmětu. J. Hurt připravuje k vydání českou verzi této učebnice (2007)) Základy matematického modelování (MOD009) Mandl P.: Pravděpodobnostní dynamické modely. Academia Praha 1985 Účetnictví (FAP013) 5
Kovanicová, D.: Abeceda účetních znalostí pro každého. Trizonia, Praha 1993 a další vydání. (Základní text.) Zichová, J.: Úvod do účetnictví. Matfyzpress, Praha 1999. (Základní text k přednášce.) ÚZ Účetnictví. Brožury nakladatelství Sagit. (Doplněk.) Kovanicová, D.: Finanční účetnictví. Světový koncept. Polygon, Praha 2002. (Doplněk.) Neživotní pojištění 1, 2 (FAP045, FAP046) Mandl, P., Mazurová, L.: Matematické základy neživotního pojištění. Matfyzpress, Praha 1999. (P. Mandl plánuje učebnici Neživotní pojištění/teorie rizika.) Výpočetní prostředky finanční a pojistné matematiky (FAP007) Přednášky vystaveny na domovské stránce J. Hurta. Bankovnictví (FAP017) Mejstřík Polidar V.: Management úvěrových obchodů bank. Economia, Praha, 1992 Polidar, V.: Bankovnictví. Příloha časopisu Ekonom, č. 49/1991 Marvanová, M., Houda, M. a kol.: Platební styk. ECOM, Brno, 1993 Statistika (STP097) Anděl J.: Statistické metody. Matfyzpress, Praha 1998, (Praha 2003) Pojišťovací právo (FAP019) Škopová, V.: Pojistné právo. Skripta VŠE, Praha, 1995 Škopová, Klapal: Pojištění a pojišťovnictví 1.-3., Mirage, 1991 Účetnictví II (FAP014) 6
Čejková, V., Valouch, P.: Účetnictví pojišťoven po vstupu do EU. Grada, Praha, 2005. Mandl, P.: Pojistně technická finanční analýza. Matfyzpress, Praha 1999. Veřejné finance (FAP006) Stiglic, J.E.: Ekonomie veřejného sektoru, GRADA, 1997 Praktikum (FAP023) Cipra, T.: Finanční matematika v praxi. HZ, Praha, 1993 Radová J., Dvořák P.: Finanční matematika pro každého. Grada Praha, 1993 Obor Matematické metody informační bezpečnosti Úvod do algebry (ALG034) skripta a sbírka úloh na webu: http://www.karlin.mff.cuni.cz/~stanovsk/vyuka/skripta_zalg.pdf http://www.karlin.mff.cuni.cz/~stanovsk/vyuka/sbirka.pdf skripta A. Drapala pro informatiky a R. Bashira na webu: http://www.karlin.mff.cuni.cz/~drapal http://www.karlin.mff.cuni.cz/~bashir Teorie čísel a RSA (MIB001) (Drápal) http://www.karlin.mff.cuni.cz/~drapal/teorie_cisel.pdf (skripta, pokrývající přednášku.) 7
Konečná tělesa (ALG090) Texty na adrese http://www.karlin.mff.cuni.cz/~tuma Složitost pro kryptografii (MIB002) Skripta na adrese http://www.karlin.mff.cuni.cz/~holub/skripta/slozitost.ps (řada doplňující literatury s webovými adresami) Počítačová algebra (MIB003) http://www.karlin.mff.cuni.cz/~stanovsk/vyuka/skripta_palg.pdf Samoopravné kódy (MIB004) (Kaiser) skripta na web. stránce přednášejícího Teoretická kryptografie (MIB005) (Šedivý) Luby: Pseudorandomness and cryptographic applications, Princeton Univ Pr. 1996; Koblitz: Algebraic aspects of cryptography, Springer Verlag 1998; Stinson: Cryptography: Theory and practice, CRC Press 1995; J.Buchmann: Introduction to Cryptography, Springer Verlag 2001. Aplikovaná kryptografie I (MIB006) (Šedivý) Schneier: Applied cryptography, John Wiley 1996; Menezes, Oorschot, Vanstone: Handbook of applied cryptography, CRC Press 1997. http://www.rsasecurity.com/rsalabs/pkcs/ http://www.rfc-editor.org/ Aplikovaná kryptografie II (MIB007) (Šedivý) Schneier: Applied cryptography, John Wiley 1996; Menezes, Oorschot, Vanstone: Handbook of applied cryptography, CRC Press 1997. http://www.rsasecurity.com/rsalabs/pkcs/ http://www.rfc-editor.org/ 8
http://csrc.nist.gov/publications Datové a procesní modely (MIB008) (Kamenický) Standardy v kryptografii (MIB009) (Vondruška) Normy FIPS, ISO 15408, ISO17799, ITSEC, ISEM Aplikace bezpečnostních mechanismů (MIB010) (Beneš) Pfleeger: Security in Computing, Prentice-Hall, 1989; Anderson: Security Engineering, Wiley, 2001; Gollmann: Computer Security, Wiley, 1999. Kryptoanalytické útoky (MIB011) (Rosa) Advances in Cryptology, Springer-Verlag, svazky LNCS 1403, 1440, 1592, jde o sborníky z konferencí EUROCRYPT (Poznámka vedoucího učitele oboru J. Tůmy: Učebními texty není pokryta řada přednášek nového oboru MMIB, které přednášejí externisté. Většina těchto přednášek se letos koná první nebo druhý rok. Skripta budou připravována postupně s tím, jak se budou stabilizovatpřednášející poté, kdy přednášky převezmou kmenoví pracovníci katedry. Texty, které jsou dostupné na webu, jsou v různém stadiu připravenosti, některé z nich se promění v tištěná skripta v tomto roce, některé v letech bezprostředně následujících.) MATEMATIKA ZAMĚŘENÁ NA VZDĚLÁVÁNÍ Obor Matematika v kombinaci s informatikou Matematická analýza Ia, Ib (UMP001, UMP002) (Přednášející P. Pyrih používá on-line text na níže uvedené adrese, který by měl po dokončení čtvrtého dílu pokrýt matematickou analýzu v prvním dvouletí. Autoři (M. Hušek a P. Pyrih) počítají s možností publikace.) http://matematika.cuni.cz/dl/analyza Lineární algebra I, II (UMP003, UMP004 9
Bečvář, J.: Lineární algebra, Matfyzpress, Praha, 2000, 2002 Bečvář, J.: Vektorové prostory I, II, III, SPN, Praha, 1978, 1981, 1982 Bečvář, J.: Sbírka úloh z lineární algebry, SPN, Praha, 1975 Diskrétní matematika (DMI002) Matoušek, J., Nešetřil, J.: Kapitoly z diskrétní matematiky, nakladatelství Carolinum, Praha, 2000. Programování I, II (PRG030, PRG031) Töpfer, P.: Algoritmy a programovací techniky, Prometheus 1995 Programování v C++ (PRG029) Virius, M.: Programování v C++, ČVUT, 2001 Algoritmy a datové struktury I, II (TIN060, TIN061) Koubková, A., Pavelka, J.: Úvod do teoretické informatiky, Matfzypress, 4. vyd., 2001 Přednášky bez důkazů na adrese: http://kti.mff.cuni.cz/~cepek Cormen, A., Leiserson, Ch., Rivest, R.: Introduction to Algorithms, McGraw Hill, 2001 Kučera, L.: Kombinatorické algoritmy, SNTL Praha, 1983 http://kti.mff.cuni.cz/~hric Úvod do UNIXu (SWI095) (Forst) Víceméně libovolná kniha pokrývající syllabus, např. M.Sova: UNIX V - úvod do operačního systému, Grada, 1991 M.Jelen: UNIX V - programování v systému, Grada, 1993 10
Matematická analýza IIa, IIb (UMP005, UMP006) Kopáček, J.: Matematika nejen pro fyziky II, III, Matfyzpress, 2006 (existují starší vydání, stejně číslovaná, název: Matematická analýza pro fyziky) Kopáček, J.: Příklady z matematiky pro fyziky II, III, IV. Matfyzpress. Kopáček, J.: Integrály, Matfyzpress, 2004. Doplněk: V.Jarník, M.Ráb (skripta) Algebra I (UMP019) (Stanovský) http://www.karlin.mff.cuni.cz/~stanovsk/vyuka/skripta_zalg.pdf http://www.karlin.mff.cuni.cz/~stanovsk/vyuka/sbírka.pdf Geometrie I (UMP010) Sekanina a kol., Geometrie I, SPN, 1986. (V. Kubát připravuje spolu s D. Trkovskou učebnici, která pokryje svým rozsahem syllabus přednášky Geometrie I a Geometrie II.) Principy počítačů (SWI087) Tanenbaum, A.: Structured Computer Organisation, Prentice-Hall, 2006. http://www.ksi.ms.mff.cuni.cz/~obdrzalek/ Hlavička, J.: Architektura počítačů, Skripta ČVUT. (Informatici chystají reformu, v jejímž rámci bude tato přednáška nahrazena jinou - k ní podklady budou vznikat na serveru http://ulita.ms.mff.cuni.cz/ v sekci Vyuka.) Neprocedurální programování (PRG005) http://ksvi.mff.cuni.cz/~kryl/prolog.pdf 11
http://ksvi.mff.cuni.cz/~kryl/lisp.pdf Paul Hudak, Joseph H. Fasel: A Gentle Introduction to Haskell, <http://www.haskell.org/tutorial/> Automaty a gramatiky (TIN071) (Barták) M. Chytil: Automaty a gramatiky, SNTL Praha, 1984 M. Chytil: Teorie automatů a formálních jazyků, skripta MFF UK, 1978 M. Chytil: Sbírka řešených příkladů z teorie automatů a formálních jazyků, skripta MFF UK, 1987 V. Koubek: Automaty a gramatiky, elektronický text (http://kti.mff.cuni.cz/downloads/automstr_ps.zip), 1996 Základy operačních systémů (SWI097) Deitel: Operating Systems Tanenbaum: Modern Operating Systems (2nd ed.) Silberschatz: Operating System Concepts Schneider: Applied Cryptography Výroková a predikátová logika (AIL062) (Štěpánek, P.) Geometrie II (UMP011) Sekanina a kol., Geometrie II, SPN, 1988. (V. Kubát připravuje spolu s D. Trkovskou učebnici, která pokryje svým rozsahem syllabus přednášky Geometrie I a Geometrie II.) Pravděpodobnost a statistika I, II (UMP013, UMP023) Zvára, K., Štěpán, J.: Pravděpodobnost a matematická statistika. Matfyzpress, Praha 2002. 12
Diferenciální geometrie I (UMP014) (Boček) Boček,L.; Kubát,V.: Diferenciální geometrie křivek a ploch, SPN Praha 1983 Základy zobrazovacích metod (UMP009) (Robová) Kombinatorika (UMP008) (Calda) Metody řešení matematických úloh, Odvárko a kol., SPN Praha 1990 Kombinatorika, N.J.Vilenkin, SNTL Praha, 1960 Vytvořující funkce, Zítek F., Praha, 1970 Kombinatorika, pravděpodobnost, statistika, Calda E., Dupač V., Počítačové sítě I (SWI090) (Peterka) J.Peterka: Počítačové sítě, verze 3.1 (on-line verze přednášky, http://www.earchiv.cz/l214/index.php3) Andrew S. Tanenbaum: Computer Networks, 4th edition (Prentice Hall, 2003, ISBN: 0130661023) Douglas E. Comer: Internetworking with TCP/IP, vol. 1, 3rd ed. (Prentice Hall, 1995, ISBN 0-13-216987-8) Internet (SWI096) (Forst, Vrána) L.Dostálek, A. Kabelová: Velký pruvodce protokoly TCP/IP a systémem DNS, Computer Press 2002 Jiří Kosek: HTML - tvorba dokonalých WWW stránek Jiří Kosek: PHP - tvorba interaktivních internetových aplikací Specifikace HTML: http://www.w3.org/tr/html4/ Specifikace CSS: http://www.w3.org/tr/css21/ PHP manuál: http://www.php.net/manual/en/ Reference JavaScript: http://www.slunecnice.cz/product/javascript/core-reference-html-15/ Reference Microsoft DHTML: http://msdn.microsoft.com/workshop/author/dhtml/reference/dhtml_reference_entry.asp Databázové systémy (DBI025) (Skopal) Pokorný J., Halaška I.: Databázové systémy. FEL ČVUT Praha, 2003. Halaška I., Pokorný J., Valenta M.: Databázové systémy - cvičení. FEL ČVUT Praha, 2002. Pokorný J, Žemlička M..: Základy implementace souborů a databází. UK Praha, Karolinum, 2004. 13
Ramakrishnan R., Gehrke J.: Database Management Systems, McGraw-Hill Science, 2003 Matematika v kombinaci s deskriptivní geometrií Deskriptivní geometrie Ia, Ib (DGE001, DGE002) Urban, A.: Deskriptivní geometrie I, II, SNTL, 1965 a 7. Kadeřávek, F., Klíma, J., Kounovský, J.: Deskriptivní geometrie. Díl 1. a díl 2., ČSAV, 1954. (J. Olejníčková připravuje na webu skripta, jež pokryjí přednášky Deskriptivní geometrie Ia až IIb.) Projektivní geometrie I (DGE003) Havlíček, K.: Úvod do projektivní geometrie kuželoseček. Praha, SNTL 1956 Bureš, J.- Burešová, J.: Projektivní geometrie I. Skripta MFF UK, 1983, SPN Praha Projektivní geometrie II (DGE008) M. Sekanina a kol., Geometrie I, II, Státní pedagogické nakladatelství Praha 1986, 1988. J. Janyška, A. Sekaninová Analytická teorie kuželoseček a kvadrik, Masarykova univerzita v Brně, 2001 M. Lávička:Geometrie 2 pomocný učební text - ZČU Plzeň, 2004. Dostupné na adrese: http://home.zcu.cz/~lavicka/subjects/g2/texty/g2_text.pdf Deskriptivní geometrie IIa, IIb (DGE005, DGE006) Urban, A.: Deskriptivní geometrie I, II, SNTL, 1965 a 7. Kadeřávek, F., Klíma, J., Kounovský, J.: Deskriptivní geometrie. Díl 1. a díl 2., ČSAV, 1954. 14
(J. Olejníčková připravuje na webu skripta, jež pokryjí přednášky Deskriptivní geometrie Ia až IIb.) Neeukleidovská geometrie I, II (DGE020, DGE021) Hlavatý, V.: Úvod do neeuklidovské geometrie, JČMF, Praha, 1949 Pavlíček, J. B.: Základy neeukleidovské geometrie Lobačevského, Přírodovědecké nakladatelství, 1953 Gatial, J., Hejný M.: Stavba Lobačevského geometrie, Mladá fronta, 1969 Počítačová geometrie I, II (DGE022, DGE023) J. Žára, B.Beneš, J. Sochor, P. Felkel: Moderní počítačová grafika, Computer Press, 2004 F. Ježek: Geometrické a počítačové modelování, pomocný učební text, ZČU Plzeň, 2004. Dostupné na adrese: http://geometrie.kma.zcu.cz/index.php/www/content/view/full/82/ D. Finn: Geometric Modelling: podklady k přednáškám?dostupné na adrese: http://www.rose-hulman.edu/~finn/ 15
16