College of Science and Engineering

School of Informatics (Schedule O)

Artificial Intelligence and Education (5 courses)

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U03012	Adaptive Learning Environments 1 (Level 10)	yes	*	10
U03013	User Modelling (Level 10)	yes	*	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P01532	Adaptive Learning Environments 1 (Level 11)	yes	*	10
P01533	Adaptive Learning Environments 2 (Level 11)	yes	*	20
P01534	User Modelling (Level 11)	yes	*	10

Bioinformatics (23 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U01910	Genetic Algorithms and Genetic Programming	yes	S1	10
U02402	Genetic Algorithms and Genetic Programming (VS1)	yes	S1	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01949	Learning from Data (Level 10)	yes	S1	10
U02405	Learning from Data (Level 10) (VS1)	yes	S1	10
U02938	Text Technologies (Level 10)	yes	S1	10
U02969	Text Technologies (Level 10) (VS1)	yes	S1	10
U01969	Visualisation (Level 10)	yes	S2	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P00858	Applied Databases	yes	S1	10
P01361	Applied Databases (VS1)	yes	S1	10
P00859	Bioinformatics 1	yes	S1	10
P01362	Bioinformatics 1 (VS1)	yes	S1	10
P00861	Bioinformatics 2 (10 points)	yes	S2	10
P00866	Data Mining and Exploration	yes	S2	10
P02003	Empirical Methods in Natural Language Processing	yes	S2	10
P02377	Information Processing in Biological Cells	yes	*	10
P00869	Learning from Data (Level 11)	yes	S1	10
P00871	Neural Computation	yes	S2	10
P00854	Probabilistic Modelling and Reasoning	yes	S1	10
P01125	Probabilistic Modelling and Reasoning (VS1)	yes	S1	10
P02016	Programming with the Bio-languages	yes	S2	10
P00881	Reinforcement Learning	yes	S2	10
P00955	Text Technologies (Level 11)	yes	S1	10
P00902	Visualisation (Level 11)	yes	S2	10

Computer Systems Organisation (29 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U01898	Computer Architecture	yes	S2	10
U03858	Computer Communications and Networks	yes	S2	10
U01900	Computer Design	yes	S1	10
U02406	Computer Design (VS1)	yes	S1	10
U01906	Operating Systems	yes	S1	10
U02407	Operating Systems (VS1)	yes	S1	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01951	Advanced Databases (Level 10)	yes	S2	10
U02845	Compiler Optimisation (Level 10)	yes	S2	10
U03747	Computer Animation (Level 10)	yes	S2	10
U01956	Computer Graphics (Level 10)	yes	S1	10
U02795	Computer Graphics (Level 10) (VS1)	yes	S1	10
U01960	Embedded Software	yes	S2	10
U02797	Embedded Software (VS1)	yes	*	10
U03748	Energy Aware Computing (Level 10)	yes	S1	10
U03921	Energy Aware Computing (Level 10) (VS1)	yes	S1	10
U01972	Human-Computer Interaction (Level 10)	yes	S1	10
U02403	Human-Computer Interaction (Level 10) (VS1)	yes	S1	10
U01962	Modelling and Simulation (Level 10)	yes	S1	10
U02410	Modelling and Simulation (Level 10) (VS1)	yes	S1	10
U01964	Parallel Architectures (Level 10)	yes	S2	10
U01967	System Level Integration Practical	yes	S1	10
U01969	Visualisation (Level 10)	yes	S2	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P00889	Advanced Databases (Level 11)	yes	S2	10
P02334	Computer Animation (Level 11)	yes	S2	10
P00891	Computer Graphics (Level 11)	yes	S1	10
P02335	Energy Aware Computing (Level 11)	yes	S1	10
P00905	Human-Computer Interaction (Level 11)	yes	S1	10
P00898	Modelling and Simulation (Level 11)	yes	S1	10
P00902	Visualisation (Level 11)	yes	S2	10

Computational Systems Biology (18 courses)

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01953	Communication and Concurrency	yes	S1	10
U02943	Communication and Concurrency (VS1)	yes	S1	10
U01949	Learning from Data (Level 10)	yes	S1	10
U02405	Learning from Data (Level 10) (VS1)	yes	S1	10
U01962	Modelling and Simulation (Level 10)	yes	S1	10
U02410	Modelling and Simulation (Level 10) (VS1)	yes	S1	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P00859	Bioinformatics 1	yes	S1	10
P01362	Bioinformatics 1 (VS1)	yes	S1	10
P00861	Bioinformatics 2 (10 points)	yes	S2	10
P01493	Computational Systems Biology	yes	S2	10
P02377	Information Processing in Biological Cells	yes	*	10
P00869	Learning from Data (Level 11)	yes	S1	10
P00898	Modelling and Simulation (Level 11)	yes	S1	10
P02013	Models and Languages for Computational Systems Biology	yes	S2	10
P00871	Neural Computation	yes	S2	10
P00854	Probabilistic Modelling and Reasoning	yes	S1	10
P01125	Probabilistic Modelling and Reasoning (VS1)	yes	S1	10
P02016	Programming with the Bio-languages	yes	S2	10

Cognitive Neuroscience (10 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U01970	Introduction to Cognitive Science	yes	S1	10
U03535	Introduction to Cognitive Science (VS1)	yes	S1	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01943	Cognitive Modelling (Level 10)	yes	S2	10
U03534	Cognitive Modelling (Level 10) (VS1)	yes	*	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P00847	Cognitive Modelling (Level 11)	yes	S2	10
P00863	Cognitive Neuroscience of Language	yes	S1	10
P01495	Cognitive Neuroscience of Language (VS1)	yes	S1	10
P01490	Computational Cognitive Neuroscience	yes	S2	10
P01491	Computational Neuroscience of Vision	yes	S2	10
P00871	Neural Computation	yes	S2	10

Database Systems (22 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U01901	Database Systems	yes	S1	10
U03533	Database Systems (VS1)	yes	S1	10
U03445	Database Systems Implementation	yes	S2	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01951	Advanced Databases (Level 10)	yes	S2	10
U03989	Data Integration and Exchange (Level 10)	yes	S1	10
U03990	Data Integration and Exchange (Level 10) (VS1)	yes	S1	10
U01949	Learning from Data (Level 10)	yes	S1	10
U02405	Learning from Data (Level 10) (VS1)	yes	S1	10
U01965	Querying and Storing XML	yes	S2	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P00889	Advanced Databases (Level 11)	yes	S2	10
P00858	Applied Databases	yes	S1	10
P01361	Applied Databases (VS1)	yes	S1	10
P00859	Bioinformatics 1	yes	S1	10
P01362	Bioinformatics 1 (VS1)	yes	S1	10
P00861	Bioinformatics 2 (10 points)	yes	S2	10
P00906	Case Studies in Analytical and Scientific Databases	yes	*	10
P01494	Case Studies in Analytical and Scientific Databases (VS1)	yes	*	10
P02502	Data Integration and Exchange (Level 11)	yes	S1	10
P00869	Learning from Data (Level 11)	yes	S1	10
P00854	Probabilistic Modelling and Reasoning	yes	S1	10
P01125	Probabilistic Modelling and Reasoning (VS1)	yes	S1	10
P00903	Topics in Distributed Databases	yes	S2	10

Informatics (28 courses)

SCQF Level 7

? Code	? Course Name	? Req.	? Period	? Crdts
CS0001	Computer Literacy 1	-	S1	20

SCQF Level 8

? Code	? Course Name	? Req.	? Period	? Crdts
U03859	Computational Foundations of Cognitive Science 1	-	S2	20
CS0004	Computer Programming Skills and Concepts 1	-	S1	20
CG0001	Human Communication 1	-	S2	20
U01834	Informatics 1A	yes	S1	20
U01835	Informatics 1B	yes	S2	20
U02599	Informatics 2A: Processing Formal and Natural Languages	yes	S1	20
U02600	Informatics 2B: Algorithms, Data Structures, Learning	yes	S2	20
U02601	Informatics 2C: Computer Systems & Software Engineering	yes	S1	20
U02602	Informatics 2D: Reasoning & Agents	yes	S2	20

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U01911	AI Large Practical	yes	S1	10
U01904	CS/SE Individual Practical	yes	S1	10
P00857	Introduction to Java Programming	yes	S1	10
P01496	Introduction to Java Programming (VS1)	yes	S1	10
U01908	System Design Project	yes	S2	20

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01973	Honours Project (Informatics)	yes	Y	40
U02498	Informatics Research Methodologies (Level 10)	yes	S1	10
U02945	Informatics Research Methodologies (Level 10) (VS1)	yes	S1	10
U02615	Professional Issues (Level 10)	yes	S2	10
U02803	Professional Issues (VS1)	yes	*	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P00906	Case Studies in Analytical and Scientific Databases	yes	*	10
P02464	Computational Methods for Global Change Research	yes	S2	10
P02338	Credits Awarded for Taught Courses [Aachen]	yes	B5+	20
P02339	Credits Awarded for Taught Courses [Trento]	yes	B5+	20
P02008	Informatics Entrepreneurship 1	yes	S1	10
P02147	Informatics Entrepreneurship 1 (VS1)	yes	S1	10
P02010	Informatics Entrepreneurship 2	yes	S2	10
P00908	Informatics Research Methodologies (Level 11)	yes	S1	10

Intelligent Robotics (18 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U01910	Genetic Algorithms and Genetic Programming	yes	S1	10
U02402	Genetic Algorithms and Genetic Programming (VS1)	yes	S1	10
U01913	Introduction to Vision and Robotics	yes	S1	10
U02802	Introduction to Vision and Robotics (VS1)	yes	S1	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01942	Advanced Vision (Level 10)	yes	S2	10
U01944	Intelligent Autonomous Robotics (Level 10)	yes	S2	10
U02801	Intelligent Autonomous Robotics (Level 10) (VS1)	yes	*	10
U01949	Learning from Data (Level 10)	yes	S1	10
U02405	Learning from Data (Level 10) (VS1)	yes	S1	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P01186	Advanced Vision (Level 11)	yes	S2	10
P01197	Automated Planning	yes	S1	10
P02447	Automated Planning (VS1)	yes	S1	10
P00848	Intelligent Autonomous Robotics (Level 11)	yes	S2	10
P00869	Learning from Data (Level 11)	yes	S1	10
P00853	Machine Learning and Sensorimotor Control	yes	*	10
P00854	Probabilistic Modelling and Reasoning	yes	S1	10
P01125	Probabilistic Modelling and Reasoning (VS1)	yes	S1	10
P00881	Reinforcement Learning	yes	S2	10

Knowledge Representation and Reasoning (25 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U02497	Agent Based Systems	yes	S2	10
P00856	Fundamentals of Artificial Intelligence	yes	S1	10
P01364	Fundamentals of Artificial Intelligence (VS1)	yes	S1	10
U02495	Knowledge Representation and Inference	yes	S2	10
U02494	Logic Programming	yes	S1	10
U02989	Logic Programming (VS1)	yes	S1	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U02493	Automated Reasoning (Level 10)	yes	S1	10
U02409	Automated Reasoning (Level 10) (VS1)	yes	S1	10
U01943	Cognitive Modelling (Level 10)	yes	S2	10
U03534	Cognitive Modelling (Level 10) (VS1)	yes	*	10
U01972	Human-Computer Interaction (Level 10)	yes	S1	10
U02403	Human-Computer Interaction (Level 10) (VS1)	yes	S1	10
U02496	Knowledge Modelling and Management (Level 10)	yes	S2	10
U02227	Multi-agent Semantic Web Systems (Level 10)	yes	S2	10
U01948	Theories of Mind (Level 10)	yes	S1	10
U02946	Theories of Mind (Level 10) (VS1)	yes	S1	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P01197	Automated Planning	yes	S1	10
P02447	Automated Planning (VS1)	yes	S1	10
P01193	Automated Reasoning (Level 11)	yes	S1	10
P00847	Cognitive Modelling (Level 11)	yes	S2	10
P00905	Human-Computer Interaction (Level 11)	yes	S1	10
P01196	Knowledge Modelling and Management (Level 11)	yes	S2	10
P01198	Multi-agent Semantic Web Systems (Level 11)	yes	S2	10
P00872	Propositional Methods	yes	*	10
P00850	Theories of Mind (Level 11)	yes	S1	10

Language Processing (21 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
P00886	Document Management [Intensive Hands-on Introduction to XML]	yes	*	10
U01970	Introduction to Cognitive Science	yes	S1	10
U03535	Introduction to Cognitive Science (VS1)	yes	S1	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01949	Learning from Data (Level 10)	yes	S1	10
U02405	Learning from Data (Level 10) (VS1)	yes	S1	10
U02936	Semantics and Pragmatics of Natural Language Processing (Level 10)	yes	S2	10
U02938	Text Technologies (Level 10)	yes	S1	10
U02969	Text Technologies (Level 10) (VS1)	yes	S1	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P01197	Automated Planning	yes	S1	10
P02447	Automated Planning (VS1)	yes	S1	10
P00863	Cognitive Neuroscience of Language	yes	S1	10
P01495	Cognitive Neuroscience of Language (VS1)	yes	S1	10
P00883	Dialog and Natural Language Generation	yes	S2	10
P00884	Discourse Coherence and Discourse Structure	yes	*	10
P02003	Empirical Methods in Natural Language Processing	yes	S2	10
P00869	Learning from Data (Level 11)	yes	S1	10
P00888	Linguistic and Computational Theories of Grammar	yes	S1	20
P01365	Linguistic and Computational Theories of Grammar (VS1)	yes	S1	20
P00887	Natural Language and Speech System Design	yes	*	20
P00882	Semantics and Pragmatics of Natural Language Processing (Level 11)	yes	S2	10
P00955	Text Technologies (Level 11)	yes	S1	10

Learning from Data (16 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U01910	Genetic Algorithms and Genetic Programming	yes	S1	10
U02402	Genetic Algorithms and Genetic Programming (VS1)	yes	S1	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01949	Learning from Data (Level 10)	yes	S1	10
U02405	Learning from Data (Level 10) (VS1)	yes	S1	10
U01969	Visualisation (Level 10)	yes	S2	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P00858	Applied Databases	yes	S1	10
P01361	Applied Databases (VS1)	yes	S1	10
P02464	Computational Methods for Global Change Research	yes	S2	10
P00866	Data Mining and Exploration	yes	S2	10
P02003	Empirical Methods in Natural Language Processing	yes	S2	10
P00869	Learning from Data (Level 11)	yes	S1	10
P00853	Machine Learning and Sensorimotor Control	yes	*	10
P00854	Probabilistic Modelling and Reasoning	yes	S1	10
P01125	Probabilistic Modelling and Reasoning (VS1)	yes	S1	10
P00881	Reinforcement Learning	yes	S2	10
P00902	Visualisation (Level 11)	yes	S2	10

Life Science Computing (8 courses)

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01949	Learning from Data (Level 10)	yes	S1	10
U02405	Learning from Data (Level 10) (VS1)	yes	S1	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P00859	Bioinformatics 1	yes	S1	10
P01362	Bioinformatics 1 (VS1)	yes	S1	10
P00861	Bioinformatics 2 (10 points)	yes	S2	10
P02464	Computational Methods for Global Change Research	yes	S2	10
P01493	Computational Systems Biology	yes	S2	10
P00869	Learning from Data (Level 11)	yes	S1	10

Net-Centric Computing (16 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U03858	Computer Communications and Networks	yes	S2	10
P00886	Document Management [Intensive Hands-on Introduction to XML]	yes	*	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01957	Computer Networking (Level 10)	yes	S1	10
U02792	Computer Networking (Level 10) (VS1)	yes	S1	10
U01959	Distributed Systems (Level 10)	yes	S1	10
U02796	Distributed Systems (Level 10) (VS1)	yes	S1	10
U02496	Knowledge Modelling and Management (Level 10)	yes	S2	10
U02227	Multi-agent Semantic Web Systems (Level 10)	yes	S2	10
U01963	Parallel Programming Languages and Systems (Level 10)	yes	S2	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P00858	Applied Databases	yes	S1	10
P01361	Applied Databases (VS1)	yes	S1	10
P00892	Computer Networking (Level 11)	yes	S1	10
P00893	Distributed Systems (Level 11)	yes	S1	10
P01196	Knowledge Modelling and Management (Level 11)	yes	S2	10
P01198	Multi-agent Semantic Web Systems (Level 11)	yes	S2	10
P00899	Parallel Programming Languages and Systems (Level 11)	yes	S2	10

Neuroinformatics (11 courses)

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P00858	Applied Databases	yes	S1	10
P01361	Applied Databases (VS1)	yes	S1	10
P00859	Bioinformatics 1	yes	S1	10
P01362	Bioinformatics 1 (VS1)	yes	S1	10
P00861	Bioinformatics 2 (10 points)	yes	S2	10
P01490	Computational Cognitive Neuroscience	yes	S2	10
P01491	Computational Neuroscience of Vision	yes	S2	10
P02377	Information Processing in Biological Cells	yes	*	10
P00871	Neural Computation	yes	S2	10
P01489	Neural Information Processing	yes	S2	10
P02014	Neuromorphic VLSI	yes	S2	10

Parallel and Distributed Computing (20 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U03858	Computer Communications and Networks	yes	S2	10
U03025	Computer Security	yes	S2	10
U01902	Enterprise Computing	yes	S2	10
U02944	Enterprise Computing (VS1)	yes	*	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U02845	Compiler Optimisation (Level 10)	yes	S2	10
U01957	Computer Networking (Level 10)	yes	S1	10
U02792	Computer Networking (Level 10) (VS1)	yes	S1	10
U01959	Distributed Systems (Level 10)	yes	S1	10
U02796	Distributed Systems (Level 10) (VS1)	yes	S1	10
U01964	Parallel Architectures (Level 10)	yes	S2	10
U01963	Parallel Programming Languages and Systems (Level 10)	yes	S2	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P01446	Compiler Optimisation (Level 11)	yes	S2	10
P00892	Computer Networking (Level 11)	yes	S1	10
P00866	Data Mining and Exploration	yes	S2	10
P00995	Design and Analysis of Parallel Algorithms	yes	S1	10
P01363	Design and Analysis of Parallel Algorithms (Level 11) (VS1)	yes	S1	10
P00893	Distributed Systems (Level 11)	yes	S1	10
P00900	Parallel Architectures (Level 11)	yes	S2	10
P00899	Parallel Programming Languages and Systems (Level 11)	yes	S2	10
P00903	Topics in Distributed Databases	yes	S2	10

Programming Languages and Techniques (10 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U01896	Compiling Techniques	yes	S2	10
U02494	Logic Programming	yes	S1	10
U02989	Logic Programming (VS1)	yes	S1	10
U01907	Software Engineering with Objects and Components	yes	S1	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01952	Advances in Programming Languages	yes	S2	10
U02845	Compiler Optimisation (Level 10)	yes	S2	10
U01963	Parallel Programming Languages and Systems (Level 10)	yes	S2	10
U01968	Types and Programming Languages	yes	S2	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P01446	Compiler Optimisation (Level 11)	yes	S2	10
P00899	Parallel Programming Languages and Systems (Level 11)	yes	S2	10

Research in Informatics (9 courses)

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P01513	Informatics Research Proposal	yes	S2	20
P01514	Informatics Research Review	-	S1	20
P00907	MSc Dissertation (Informatics)	yes	B5+	60
P02336	MSc Dissertation (Informatics) [Aachen]	yes	B5+	60
P02337	MSc Dissertation (Informatics) [Trento]	yes	B5+	60
P01841	MSc Research Thesis (Informatics)	-	Y	180
P01840	MSc Research Thesis (Neuroinformatics)	yes	S2	80
P01836	Neuroinformatics Research	yes	S2	20
P02015	Principles of Neuroscience	yes	S2	40

Software Engineering (8 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U01907	Software Engineering with Objects and Components	yes	S1	10
U02408	Software Engineering with Objects and Components (VS1)	yes	S1	10
U02970	Software Testing	yes	S2	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U02937	Software Architecture, Process, and Management (Level 10)	yes	S2	10
U03486	Software Engineering Group Practical	yes	*	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P02012	Research Topics in Software Engineering	yes	S2	10
P01492	Software Architecture, Process, and Management (Level 11)	yes	S2	10
P00904	Theory and Practice of Algebraic Specifications	yes	*	10

Speech Processing (8 courses)

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01949	Learning from Data (Level 10)	yes	S1	10
U02405	Learning from Data (Level 10) (VS1)	yes	S1	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P01456	Automatic Speech Recognition	yes	S2	10
P00883	Dialog and Natural Language Generation	yes	S2	10
P00884	Discourse Coherence and Discourse Structure	yes	*	10
P02003	Empirical Methods in Natural Language Processing	yes	S2	10
P00869	Learning from Data (Level 11)	yes	S1	10
P00887	Natural Language and Speech System Design	yes	*	20

Theoretical Computer Science (23 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U01895	Algorithms and Data Structures	yes	S1	10
U02794	Algorithms and Data Structures (VS1)	yes	S1	10
U01897	Computability and Intractability	yes	S1	10
U03920	Computability and Intractability (VS1)	yes	S1	10
U01905	Language Semantics and Implementation	yes	S2	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U03217	Algorithms in Practice	yes	*	10
U02493	Automated Reasoning (Level 10)	yes	S1	10
U02409	Automated Reasoning (Level 10) (VS1)	yes	S1	10
U01953	Communication and Concurrency	yes	S1	10
U02943	Communication and Concurrency (VS1)	yes	S1	10
U01954	Computational Complexity	yes	*	10
U01955	Computer Algebra	yes	*	10
U01961	Formal Programming Language Semantics	yes	S1	10
U02798	Formal Programming Language Semantics (VS1)	yes	S1	10
U03647	Logic and Automata (Level 10)	yes	S2	10
U01962	Modelling and Simulation (Level 10)	yes	S1	10
U02410	Modelling and Simulation (Level 10) (VS1)	yes	S1	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P00890	Algorithmic Game Theory and its Applications	yes	S2	10
P01193	Automated Reasoning (Level 11)	yes	S1	10
P02181	Logic and Automata (Level 11)	yes	S2	10
P00898	Modelling and Simulation (Level 11)	yes	S1	10
P00872	Propositional Methods	yes	*	10
P00904	Theory and Practice of Algebraic Specifications	yes	*	10

Vision, Perception and Action (19 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U01970	Introduction to Cognitive Science	yes	S1	10
U03535	Introduction to Cognitive Science (VS1)	yes	S1	10
U01913	Introduction to Vision and Robotics	yes	S1	10
U02802	Introduction to Vision and Robotics (VS1)	yes	S1	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01942	Advanced Vision (Level 10)	yes	S2	10
U01943	Cognitive Modelling (Level 10)	yes	S2	10
U03534	Cognitive Modelling (Level 10) (VS1)	yes	*	10
U01956	Computer Graphics (Level 10)	yes	S1	10
U02795	Computer Graphics (Level 10) (VS1)	yes	S1	10
U01969	Visualisation (Level 10)	yes	S2	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P01186	Advanced Vision (Level 11)	yes	S2	10
P00847	Cognitive Modelling (Level 11)	yes	S2	10
P00863	Cognitive Neuroscience of Language	yes	S1	10
P01495	Cognitive Neuroscience of Language (VS1)	yes	S1	10
P01490	Computational Cognitive Neuroscience	yes	S2	10
P01491	Computational Neuroscience of Vision	yes	S2	10
P00891	Computer Graphics (Level 11)	yes	S1	10
P00881	Reinforcement Learning	yes	S2	10
P00902	Visualisation (Level 11)	yes	S2	10

School of Mathematics (Schedule P)

Mathematics for Informatics (6 courses)

SCQF Level 8

? Code	? Course Name	? Req.	? Period	? Crdts
U01676	Applicable Mathematics 3 (Inf)	yes	S1	10
U01677	Applicable Mathematics 4 (Inf)	yes	S2	10
U01672	Mathematics for Informatics 1	yes	S1	20
U01673	Mathematics for Informatics 2	yes	S2	20
U01674	Mathematics for Informatics 3	yes	S1	20
U01675	Mathematics for Informatics 4	yes	S2	20

Mathematics for Physical Science & Engineering (12 courses)

SCQF Level 8

? Code	? Course Name	? Req.	? Period	? Crdts
U01678	Applicable Mathematics 1	yes	S1	10
U01681	Applicable Mathematics 2	yes	S2	10
U01683	Applicable Mathematics 3 (Phys Sci)	yes	S1	10
U01685	Applicable Mathematics 4 (Phys Sci)	yes	S2	10
U01679	Mathematical Methods 1	yes	S1	10
U01682	Mathematical Methods 2	yes	S2	10
U01684	Mathematical Methods 3 (Phys Sci)	yes	S1	10
U01686	Mathematical Methods 4 (Phys Sci)	yes	S2	10
U01687	Mathematics for Chem Eng 3	yes	S1	10
U01688	Mathematics for Chem Eng 4	yes	S2	10
U01689	Mathematics for Elec/Mech Eng 3	yes	S1	10
U01690	Mathematics for Elec/Mech Eng 4	yes	S2	10

Other Non-Specialist courses (School of Mathematics) (6 courses)

SCQF Level 7

? Code	? Course Name	? Req.	? Period	? Crdts
U01691	Applicable Mathematics 0 (Foundation)	yes	S1	10
U01692	Mathematical Methods 0 (Foundation)	yes	S1	10

SCQF Level 8

? Code	? Course Name	? Req.	? Period	? Crdts
U01693	Applicable Mathematics 1 (Foundation)	yes	S2	10
U01695	Applicable Mathematics 2 (Adv Stand)	yes	S1	10
U01694	Mathematical Methods 1 (Foundation)	yes	S2	10
U01696	Mathematical Methods 2 (Adv Stand)	yes	S1	10

Specialist Mathematics & Statistics (Year 1) (12 courses)

SCQF Level 8

? Code	? Course Name	? Req.	? Period	? Crdts
U01462	Differential Equation Modelling & Solution	yes	S2	10
U03832	Differential Equation Modelling & Solution (CPD)	yes	*	10
U01457	Geometry & Convergence	yes	S2	10
U03830	Geometry & Convergence (CPD)	yes	S2	10
U01459	Group Theory: An Introduction to Abstract Mathematics	yes	S2	10
U03831	Group Theory: An Introduction to Abstract Mathematics (CPD)	yes	S2	10
U03826	Linear Programming & Numerical Analysis	yes	S2	10
U03834	Linear Programming & Numerical Analysis (CPD)	yes	*	10
U01454	Practical Calculus	yes	S1	10
U03827	Practical Calculus (CPD)	yes	S1	10
U01455	Solving Equations	yes	S1	10
U03829	Solving Equations (CPD)	yes	S1	10

Specialist Mathematics & Statistics (Year 2) (10 courses)

SCQF Level 8

? Code	? Course Name	? Req.	? Period	? Crdts
U01482	Discrete Mathematics (Year 2)	yes	S2	10
U01476	Foundations of Calculus	yes	S1	10
U01478	Linear Algebra	yes	S2	10
U01479	Methods of Applied Mathematics	yes	S2	10
U03870	MP2B: Dynamics	yes	S2	10
U03663	Numerical Differential Equations	yes	S1	10
U01480	Probability (Year 2)	yes	S1	10
U01477	Several Variable Calculus	yes	S1	10
U01481	Statistical Methods	yes	S1	10
U01483	Statistical Models (Year 2)	yes	S2	10

Specialist Mathematics & Statistics (Honours) (68 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U01920	Differential Equations (VS1)	-	S1	10
U01607	Discrete Mathematics (Year 3)	yes	S2	10
U01608	Discrete Programming & Game Theory	yes	S1	10
U01921	Discrete Programming & Game Theory (VS1)	-	S1	10
U01612	Geometry & Calculus of Variations	yes	S2	10
U01613	Principles of Mathematical Physics (Year 3)	yes	*	10
U01614	Probability (Year 3)	yes	S1	10
U01615	Statistical Models (Year 3)	yes	S2	10

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01616	Algebra	yes	Y	20
U01922	Algebra (VS1)	-	S1	10
U02712	Algebra (VS2)	-	S2	10
U01872	Algebraic Coding Theory	yes	S2	10
U02182	Commutative Algebra	yes	*	10
U02704	Commutative Algebra (VS1)	-	*	10
U01618	Complex Variable	yes	S2	10
U03107	Complex Variable & Differential Equations	yes	Y	20
U01625	Differential Geometry	yes	S2	10
U03416	Dynamical Modelling	yes	*	10
U03422	Elliptic Curves and Applications	yes	S2	10
U03864	Essentials in Analysis and Probability	yes	S1	10
U01626	Financial Mathematics	yes	S1	10
U01924	Financial Mathematics (VS1)	-	S1	10
U03857	Hilbert Spaces	yes	S1	10
U03856	Hilbert Spaces and Fourier Analysis	yes	Y	20
U01627	Likelihood	yes	S2	10
U01628	Linear Statistical Modelling	yes	S1	10
U01925	Linear Statistical Modelling (VS1)	-	S1	10
U01869	Mathematical Biology	yes	S2	10
U01629	Mathematical Computation & Communication Skills	yes	Y	20
U01651	Mathematical Education	yes	Y	20
U01630	Metric Spaces	yes	S1	10
U01926	Metric Spaces (VS1)	-	S1	10
U03417	Modern Probability Theory	-	*	10
U01631	Motion & Flow	yes	S1	10
U02701	Motion & Flow (VS1)	yes	S1	10
U03436	Naive and Axiomatic Set Theory	-	*	10
U01880	Number Theory	yes	*	20
U03415	Number Theory	yes	S1	10
U03573	Number Theory (VS1)	yes	S1	10
U01632	Numbers & Rings	yes	S2	10
U03662	Numerical Algorithms	yes	S1	10
U04000	Numerical Algorithms (VS1)	yes	S1	10
U03664	Numerical Partial Differential Equations	yes	*	10
U01871	Probability, Measure & Finance	yes	Y	20
U01652	Project in Mathematics (Double)	yes	Y	40
U01654	Project in Mathematics (Group)	yes	Y	20
U01653	Project in Mathematics (Single)	yes	Y	20
U01634	Pure & Applied Analysis	yes	Y	20
U01636	Pure & Applied Analysis (S2)	yes	S2	10
U02714	Pure & Applied Analysis (VS1)	-	S1	10
U02715	Pure & Applied Analysis (VS2)	-	S2	10
U03420	Representation Theory	yes	S2	10
U03419	Rings and Modules	yes	S1	10
U03572	Rings and Modules (VS1)	yes	S1	10
U01633	Stochastic Modelling	yes	S2	10
U03421	Topics in Differential Topology	-	*	10
U01887	Topology	-	Y	20
U03423	Waves in the Environment and Telecommunications	-	*	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
U01873	Asymptotic Methods	yes	S2	10
U01875	Dynamical Systems	yes	S1	10
U01928	Dynamical Systems (VS1)	-	S1	10
U01876	Further Complex Analysis	yes	Y	20
U01877	Geometry of Perspective	yes	*	10
U01929	Geometry of Perspective (VS1)	-	*	10
U03836	Introduction to Lie Groups	yes	S2	10
U01879	Non-linear Optimization	yes	S1	10
U02703	Non-linear Optimization (VS1)	-	S1	10
U01881	Practical & Large Scale Optimization	yes	S2	10

Specialist Statistics (Year 4) (10 courses)

SCQF Level 10

? Code	? Course Name	? Req.	? Period	? Crdts
U01656	Data Analysis	yes	S1	20
U01888	Distribution-Free Statistical Methods	yes	S1	10
U01933	Distribution-Free Statistical Methods (VS1)	-	S1	10
U01657	Project in Statistics (Double)	yes	Y	40
U01658	Project in Statistics (Single)	yes	Y	20
U01890	Simulation	yes	S1	10
U01889	Theory of Statistical Inference	yes	S1	10
U01934	Theory of Statistical Inference (VS1)	-	S1	10

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
U01892	The Analysis of Survival Data	yes	S2	10
U01893	Time Series Analysis	yes	S2	10

Specialist Mathematics & Statistics (Ordinary) (14 courses)

SCQF Level 9

? Code	? Course Name	? Req.	? Period	? Crdts
U01638	Algebra (Ord)	yes	Y	20
U03106	Complex Variable & Differential Equations (Ord)	yes	Y	20
U01639	Differential Geometry (Ord)	yes	S2	10
U01640	Financial Mathematics (Ord)	yes	S1	10
U01641	Likelihood (Ord)	yes	S2	10
U01642	Linear Statistical Modelling (Ord)	yes	S1	10
U01643	Mathematical Computation & Communication Skills (Ord)	yes	Y	20
U01660	Mathematical Education (Ord)	yes	Y	20
U01644	Metric Spaces (Ord)	yes	S1	10
U01645	Motion & Flow (Ord)	yes	S1	10
U01646	Numbers & Rings (Ord)	yes	S2	10
U04018	Numerical Algorithms (Ord)	yes	S1	10
U01647	Pure & Applied Analysis (Ord)	yes	Y	20
U01649	Stochastic Modelling (Ord)	yes	S2	10

Financial Mathematics (12 courses)

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P00762	Derivatives	yes	Y	18
P00765	Dissertation (Fin. Math.)	yes	Y	60
P00767	Financial Econometrics	yes	Y	12
P00768	Financial Markets	yes	Y	12
P00769	Mathematical Programming	yes	Y	12
P00770	Modern Portfolio Theory	yes	Y	12
P00771	Numerical Solution of Partial Differential Equations	yes	Y	6
P00772	Options (Fin. Math.)	yes	Y	12
P00773	Simulation	yes	Y	6
P00774	Statistical Methods	yes	Y	12
P02192	Stochastic Processes I	yes	S1	12
P02193	Stochastic Processes II	yes	S2	12

Operational Research (34 courses)

SCQF Level 11

? Code	? Course Name	? Req.	? Period	? Crdts
P00696	Analysis of Lifetime Data	yes	S2	10
P00697	Applied Numerical Algorithms	yes	S2	5
P00698	Bayesian Analysis and Sample Size Estimation	yes	S2	5
P00699	Combinatorial Optimization	yes	B3	5
P00700	Computing for Operational Research	yes	S1	10
P00701	Continuous Global Optimization	yes	B2	5
P00702	Credit Scoring and Data Mining	yes	B4	10
P00703	Dissertation (Op. Res.)	yes	B5+	60
P00704	Dynamic and Integer Programming and Game Theory	yes	S1	10
P00705	Exploiting the Computational Grid	yes	S2	5
P01817	Financial Mathematics and Investment	yes	S2	10
P02375	Financial Model Building	-	S1	5
P01815	Financial Risk Management	yes	S2	10
P00707	Fundamental Concepts of High Performance Computing	yes	S1	5
P02376	High Performance Linear Programming	-	S2	10
P00709	Large Scale Optimization	yes	S2	10
P00711	Maintenance and Replacement	yes	S2	5
P00712	Management Accounting	yes	B4	5
P00713	Mathematical Programming	yes	S1	10
P00715	Methodology, Modelling and Consulting Skills	yes	Y	10
P02448	Modelling with Xpress-MP	-	S2	5
P00717	Nonlinear Optimization	yes	S1	10
P00718	Operational Research in Telecommunications	yes	B3	5
P00720	Operational Research in the Airline Industry	yes	S2	5
P00721	Operational Research in the Energy Industry	yes	B3	5
P00722	Probability and Statistics	yes	S1	10
P00723	Programming and Software Development	yes	S1	5
P00724	Risk Analysis	yes	S2	5
P01816	Risk Analysis	yes	S2	10
P00725	Simulation	yes	S1	10
P00726	Statistical Modelling	yes	S2	5
P00727	Stochastic Modelling	yes	S2	10
P00728	Stochastic Optimization	yes	S2	5
P00730	Time Series Analysis and Forecasting	yes	S2	10

Key

Not delivered this year

Part year visiting students only

Navigation

Help & Information

Home

Introduction

Glossary

Regulations

Degree Programmes

Introduction

Browse DPTs

Courses

Introduction

Humanities and Social Science

Science and Engineering

Medicine and Veterinary Medicine

Other Information

Prospectuses

Important Information

Timetab

THE UNIVERSITY of EDINBURGH

DEGREE REGULATIONS & PROGRAMMES OF STUDY 2007/2008- ARCHIVE for reference onlyTHIS PAGE IS OUT OF DATE

College of Science and Engineering

School of Informatics (Schedule O)

Artificial Intelligence and Education (5 courses)

SCQF Level 10

SCQF Level 11

Bioinformatics (23 courses)

SCQF Level 9

SCQF Level 10

SCQF Level 11

Computer Systems Organisation (29 courses)

SCQF Level 9

SCQF Level 10

SCQF Level 11

Computational Systems Biology (18 courses)

SCQF Level 10

SCQF Level 11

Cognitive Neuroscience (10 courses)

SCQF Level 9

SCQF Level 10

SCQF Level 11

Database Systems (22 courses)

SCQF Level 9

SCQF Level 10

SCQF Level 11

Informatics (28 courses)

SCQF Level 7

SCQF Level 8

SCQF Level 9

SCQF Level 10

SCQF Level 11

Intelligent Robotics (18 courses)

SCQF Level 9

SCQF Level 10

SCQF Level 11

Knowledge Representation and Reasoning (25 courses)

SCQF Level 9

SCQF Level 10

SCQF Level 11

Language Processing (21 courses)

SCQF Level 9

SCQF Level 10

SCQF Level 11

Learning from Data (16 courses)

SCQF Level 9

SCQF Level 10

SCQF Level 11

Life Science Computing (8 courses)

SCQF Level 10

SCQF Level 11

Net-Centric Computing (16 courses)

SCQF Level 9

SCQF Level 10

SCQF Level 11

Neuroinformatics (11 courses)

SCQF Level 11

Parallel and Distributed Computing (20 courses)

SCQF Level 9

SCQF Level 10

SCQF Level 11

Programming Languages and Techniques (10 courses)

SCQF Level 9

SCQF Level 10

SCQF Level 11

Research in Informatics (9 courses)

SCQF Level 11

Software Engineering (8 courses)

SCQF Level 9

SCQF Level 10

SCQF Level 11

Speech Processing (8 courses)

SCQF Level 10

SCQF Level 11

Theoretical Computer Science (23 courses)

SCQF Level 9

SCQF Level 10

SCQF Level 11

Vision, Perception and Action (19 courses)

SCQF Level 9

DEGREE REGULATIONS & PROGRAMMES OF STUDY 2007/2008
- ARCHIVE for reference only
THIS PAGE IS OUT OF DATE