UCL Study Abroad CS选课经验
21121
大家好，我是美本大二，在五十多名的一所文理学院读书。因为学校CS只有minor，所以打算在大三秋季去UCL study abroad的时候上三门CS课程。我在学校有三门CS课程的基础，一门是Introduction to computer science, 一门是Introduction to java programming, 下学期还要再上一门Data Structure with java。在UCL可以选的课程如下：
Theory 1
Module code: COMP102P
Availability: Fall Term
Credit value: 4 (US), 7.5 (ECTS)
Subject area: Computer Science
Course type: Level 1 courses
This course introduces formal methods for reasoning about algorithms and, more generally, formalises the reasoning process.
You will be taught techniques such as Boolean algebra and induction and how to apply them to real problems. You will learn how to extract the logical content of a (propositional) argument and prove its validity. You will also learn how to formalise an algorithm and analyse its efficiency.
Networking and Concurrency
Module code: COMP2007
Availability: Fall Term
Credit value: 4 (US), 7.5 (ECTS)
Subject area: Computer Science
Course type: Level 2 courses
This is a practical course, grounded in a theoretical understanding of concurrency and computer networking.
Initially it will address the ability to reason about concurrent behaviour and employ appropriate concurrency control primitives in situations where there is simultaneous access to shared resources. The student will gain key skills to develop correct and efficient multi-threaded programs in Java. This background will then be used to introduce key fundamental concepts in computer networking, leading to a basic understanding of how the Internet works and the development of distributed concurrent systems.
At the end of this course, you will be able to: describe the problems of interleaving; apply a range of standard concurrency control primitives to simple concurrency problems; design and implement multi-threaded and distributed concurrent Java programs; reason informally about their correctness and describe the fundamental concepts underlying computer networking including the Internet.
Logic and Database Theory
Module code: COMP2008
Availability: Fall Term
Credit value: 4 (US), 7.5 (ECTS)
Subject area: Computer Science
Course type: Level 2 courses
This course is designed to teach students about logical and mathematical inference and database theory, the latter having an emphasis on the fundamentals of relational database systems and SQL.
You will learn syntax and semantics of first-order logic, various proof methods and elementary models of computation.
By the end of the course, you should be able to use first-order proof techniques to derive valid conclusions from premises, but you will be aware of the limitations of these techniques. You should also be able to analyse relational databases.
Software Engineering and Human Computer Interaction
Module code: COMP2009
Availability: Fall Term
Credit value: 4 (US), 7.5 (ECTS)
Subject area: Computer Science
Course type: Level 2 courses
This course aims at introducing the basics of software engineering, including requirements specification, analysis and design. It will give you the knowledge needed to be able to analyse and architect larger systems effectively.
The HCI portion introduces essential knowledge and methods of designing effective and efficient systems and interactions.
After completing this course, you will be able to:
understand how to identify requirements of software systems
analyse and design a small software intensive system
critique interface designs plan simple usability studies and evaluate the results.
（其他3level的课程感觉我应该没有先修课程的基础，所以便没列出，链接如下，如果大家发现有适合我基础的也可以推荐给我。 http://www.ucl.ac.uk/prospective-students/study-abroad-guide/application-study/subjects/cs）
我的打算是找CS相关的实习或者工作，自己学习能力尚可， 请大家处于以后实习，工作的角度替我选一下课程，谢谢！
Theory 1
Module code: COMP102P
Availability: Fall Term
Credit value: 4 (US), 7.5 (ECTS)
Subject area: Computer Science
Course type: Level 1 courses
This course introduces formal methods for reasoning about algorithms and, more generally, formalises the reasoning process.
You will be taught techniques such as Boolean algebra and induction and how to apply them to real problems. You will learn how to extract the logical content of a (propositional) argument and prove its validity. You will also learn how to formalise an algorithm and analyse its efficiency.
Networking and Concurrency
Module code: COMP2007
Availability: Fall Term
Credit value: 4 (US), 7.5 (ECTS)
Subject area: Computer Science
Course type: Level 2 courses
This is a practical course, grounded in a theoretical understanding of concurrency and computer networking.
Initially it will address the ability to reason about concurrent behaviour and employ appropriate concurrency control primitives in situations where there is simultaneous access to shared resources. The student will gain key skills to develop correct and efficient multi-threaded programs in Java. This background will then be used to introduce key fundamental concepts in computer networking, leading to a basic understanding of how the Internet works and the development of distributed concurrent systems.
At the end of this course, you will be able to: describe the problems of interleaving; apply a range of standard concurrency control primitives to simple concurrency problems; design and implement multi-threaded and distributed concurrent Java programs; reason informally about their correctness and describe the fundamental concepts underlying computer networking including the Internet.
Logic and Database Theory
Module code: COMP2008
Availability: Fall Term
Credit value: 4 (US), 7.5 (ECTS)
Subject area: Computer Science
Course type: Level 2 courses
This course is designed to teach students about logical and mathematical inference and database theory, the latter having an emphasis on the fundamentals of relational database systems and SQL.
You will learn syntax and semantics of first-order logic, various proof methods and elementary models of computation.
By the end of the course, you should be able to use first-order proof techniques to derive valid conclusions from premises, but you will be aware of the limitations of these techniques. You should also be able to analyse relational databases.
Software Engineering and Human Computer Interaction
Module code: COMP2009
Availability: Fall Term
Credit value: 4 (US), 7.5 (ECTS)
Subject area: Computer Science
Course type: Level 2 courses
This course aims at introducing the basics of software engineering, including requirements specification, analysis and design. It will give you the knowledge needed to be able to analyse and architect larger systems effectively.
The HCI portion introduces essential knowledge and methods of designing effective and efficient systems and interactions.
After completing this course, you will be able to:
understand how to identify requirements of software systems
analyse and design a small software intensive system
critique interface designs plan simple usability studies and evaluate the results.
（其他3level的课程感觉我应该没有先修课程的基础，所以便没列出，链接如下，如果大家发现有适合我基础的也可以推荐给我。 http://www.ucl.ac.uk/prospective-students/study-abroad-guide/application-study/subjects/cs）
我的打算是找CS相关的实习或者工作，自己学习能力尚可， 请大家处于以后实习，工作的角度替我选一下课程，谢谢！
1条回复