1 / 5

Comprehensive Course on Computer Science II: Programming Concepts and Techniques

Explore the essentials of computer science with the Datalogi II course led by Seif Haridi and a team of expert instructors. This course provides a deep understanding of programming concepts, techniques, and models, covering areas such as declarative programming, object-oriented programming, and concurrency. Learn to construct complex systems and enhance your reasoning about system correctness and performance. Engaging with the Oz programming language through the Mozart system, you'll gain practical skills alongside theoretical knowledge.

cooper-savage
Download Presentation

Comprehensive Course on Computer Science II: Programming Concepts and Techniques

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Datalogi II (Computer Science II) Seif Haridi KTH Seif Haridi

  2. Course Web page • http://www.it.kth.se/edu/gru/DatalogiII/ • The teachers • Seif Haridi • Frej Drejhammar • Dragan Havelka • Sameh ElAnsary • Thomas Sjöland Seif Haridi

  3. Contents • Gives a broad introduction to concepts in computer science that is related to computer programming • Focus on programming concepts, techniques and models • Introduction to programming • Declarative programming models • Declarative programming techniques • Declarative concurrency • Encapsulated state • Object-oriented programming • Concurrency and state Seif Haridi

  4. Emphasis • Computer programming as an engineering discipline • This is the theory of computer programming • How to construct complex systems (how to master complexity) • How to reason about different types of systems, correctness and performance • How to use the right computing model in the right situation Seif Haridi

  5. The programming system • http://www.mozart-oz.org • The programming language is Oz, and the system is Mozart • Interactive • Supports the programming models introduced in the course • Mozart requires Unix/Linux or Win2000 Seif Haridi

More Related