Michal Valko : FMFI Timetable

Archived page. This is historical content kept for reference. ← Back to main site
Course Timetables from my undergraduate studies at Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava (2000-2004).

Lectures Exercises/Labs

Summer 2003/2004 (4th year)

MondayTuesdayWednesdayThursdayFriday
8:10LISPLinux
9:00
9:50LISPNeuro-computing
10:40
11:30Computational Linguistics
12:20
13:10Multiagent SystemsNeuro-computing
14:00AI Seminar
14:50Multiagent SystemsPhysical Training
15:40Diploma Thesis
16:30Cryptography 2
17:20
18:10History of Logic
19:00

Winter 2003/2004 (4th year)

MondayTuesdayWednesdayThursdayFriday
8:10Qualitative Modeling & SimulationTheory of Computability
9:00Knowledge Representation & Inference
9:50Qualitative ModelingCryptology
10:40Knowledge Repr. & Inference
11:30Speech RecognitionTheory of Computability
12:20
13:10GNU/Linux
14:00Cryptology
14:50Diploma ThesisPhysical Training
15:40Genetic Algorithms
16:30Speech Recognition
17:20

Summer 2002/2003 (3rd year)

MondayTuesdayWednesdayThursdayFriday
8:10Numerical MathematicsExpert SystemsCoding TheoryCoding Theory
9:00
9:50UNIX for AdminsComputational Complexity
10:40
11:30Parts from LogicExpert Systems
12:20
14:00Neural NetworksLogic
14:50
16:30Principles of Software DevelopmentPhysical Training
17:20
18:10

Winter 2002/2003 (3rd year)

MondayTuesdayWednesdayThursdayFriday
8:10Eff. Alg. Dev.Graph Theory
9:00Prob. & Stat.
9:50Intro to AIGraph TheoryCombinatorial Analysis 2
10:40Effective Algorithms DevelopmentProbability and StatisticsIntro to AI
11:30
12:20
14:00Combinatorial Analysis 2
14:50
16:30Physical Training
17:20UNIX
18:10Swimming
19:00

Summer 2001/2002 (2nd year)

MondayTuesdayWednesdayThursdayFriday
8:10Formal Languages & Automata
9:00Combinatorial Analysis
9:50Operating Systems
10:40Spec. & Verif. of Programs
11:30Operating SystemsPhysical TrainingFormal Lang.
12:20
13:10Theory of Prog.Spec. & Verif.
14:00
14:50CS Overview
15:40Foundations of Theory of Programming
16:30SmalltalkFrench Language
17:20
18:10

Winter 2001/2002 (2nd year)

MondayTuesdayWednesdayThursdayFriday
8:10Mathematical AnalysisAlg. & Data Structures
9:00AnalysisFrench Language
9:50Logic for CSAlg. & Data Structures
10:40Formal Lang. & Automata
11:30Physical TrainingAlgebra
12:20
13:10Formal Lang.Logic for CS
14:00Intro to DatabasesMath AnalysisAlgebra
14:50Intro to OOPIntro to Databases
15:40
16:30

Summer 2000/2001 (1st year)

MondayTuesdayWednesdayThursdayFriday
8:10English LanguageDiscrete MathematicsPhysical Training
9:00Algebra
9:50ProgrammingPrinciples of Computers
10:40Mathematical Analysis
11:30Logic for CSMath Analysis
12:20
13:10Logic for CS
14:50Discrete MathC++
15:40Programming
16:30
17:20Algebra

Winter 2000/2001 (1st year)

MondayTuesdayWednesdayThursdayFriday
8:10Information, Internet & IntranetPrinciples of ComputersDiscrete MathematicsPhysical Training
9:00
9:50Mathematical AnalysisProgrammingEnglish LanguageProgramming
10:40C Language
11:30Discrete MathAlgebra
12:20C Language
13:10ProgrammingPrinciples of Computers
14:00
14:50Algebra
15:40
16:30Math Analysis
17:20