Gå direkt till huvudinnehåll
MyCourses MyCourses
  • Högskolor
    Handelshögskolan (BIZ) Högskolan för elektroteknik (ELEC) Högskolan för ingenjörsvetenskaper (ENG) Högskolan för kemiteknik (CHEM) – Andra guider (CHEM) – Anvisning för literaturarbeten (CHEM) Högskolan för konst, design och arkitektur (ARTS) Högskolan för teknikvetenskaper (SCI) Andra studier Språkcentret Open University Biblioteket Aalto university pedagogical training program UNI (exams) Sandbox
  • CORONAVIRUS INFO
    Koronavirus - tietoa opiskelijalle Coronavirus - information for students Coronavirus - information för studerande Corona help for teachers
  • Länkar till tjänster
    MyCourses - Instructions for Teachers - Teacher book your online session with a specialist - Digital tools for teaching - Data protection instructions for teachers - Anvisningar för studerande - Workspace for thesis supervision Sisu Into studentportal Courses.aalto.fi Unverisitets bibliotek - Resourcesguides - Imagoa / Öppen vetenskap och användning av bilder IT-tjänster Campus - Byggnads öppettider Restaurants in Otaniemi AUS Aalto-universitetets studentkår Aalto Marketplace
  • ALLWELL?
    Studiekompetens Stöd för studerande Starting Point of Wellbeing Om AllWell? -enkäten
  •   ‎(sv)‎
      ‎(en)‎   ‎(fi)‎   ‎(sv)‎
  • Toggle Search menu
  • Du är för tillfället inloggad som gästanvändare (Logga in)

close

CS-C2150 - Theoretical Computer Science, 08.01.2019-10.04.2019

  1. Framsida
  2. Kurser
  3. högskolan f?...
  4. department of...
  5. cs-c2150 - th...
 
Kursens beskrivning

CS-C2150 Theoretical Computer Science, Spring 2019

  • CS-C2150 Theoretical Computer Science, Spring 2019

    CS-C2150 Theoretical Computer Science, Spring 2019

    Compulsory course of the Computer Science and Engineering major.

    Credits: 5

    Level: Bachelor

    Teacher: Prof. Pekka Orponen (professor responsible for the course)

    Teaching Period: III - IV (Spring). The Course starts on Tuesday 08.01.2019, 10:15 - 12:00, T1 / C202 Tietotekniikka

    Schedule:

    • Lectures: Tuesdays 10:15 - 12:00
    • Exercise sessions (starting Jan 14, 2019):
      • Mondays 14:15 - 16:00 TU5 / 1194 TUAS Maarintie 8
      • Tuesdays 16:15 - 18:00 T6 / A136 Tietotekniikka
      • Wednesdays 10:15 - 12:00 T6 / A136 Tietotekniikka
      • Thursdays 12:15 - 14:00 T6 / A136 Tietotekniikka
      • Fridays 10:15 - 12:00 T5 / A133 Tietotekniikka

     Workload:

    • Lectures: 24h (2 hour lectures, once a week)
    • Exercises in small groups
    • Independent work
    • Exam: 3h


    Learning Outcomes: Theoretical computer science comprises the science of computation, and the science of software. Science is knowledge that helps us make predictions. The stronger the science, the stronger the predictions. The science of computation tells us what is computation, what are the different types of computing machines, and what are their computing powers. Using this science, we can predict (indeed, prove!) that some computational problems are easy, some are hard, and some are impossible to solve! The science of software allows us to make predictions about the programs that we write: will my program always terminate? might it crash? will it always produce the right result? etc. In this course you will learn the basic models of computation (finite automata, regular expressions, context-free grammars, Turing machines). You will solve a set of computerized assignments where you will build such computing machines and answer fun questions about them.

    Content: Finite automata and regular languages. Context-free grammars and pushdown automata. Turing machines and computability.

    Assessment Methods and Criteria: Exam, computerized assignments, and home assignments

    Study Material: Lecture notes and slides; Textbook (recommended but not obligatory) Michael Sipser, Introduction to the Theory of Computation; and other separately announced study material

    Substitutes for Courses: ICS-C2000 Theoretical Computer Science, T-79.1001 Introduction to Theoretical Computer Science T (4 cr), T-79.1002 Introduction to Theoretical Computer Science Y (2 cr)

    Prerequisites: CS-A1110 / CSE-A1110 Programming 1 and CS-A1120 / ICS-A1120 Programming 2 or CS-A1111 / CSE-A1111 Basic Course in Programming Y1 and CS-A1121 / CSE-A1121 Basic Course in Programming Y2, MS-A0401/A0402/A0409 Foundations of discrete mathematics.

    Grading Scale: 0-5

    Language: English

    Lecturer: Prof. Pekka Orponen



    • icon for activity Announcements Forum
    • icon for activity Allmän diskussion Forum

Course home

Course home

Nästa sektion

Material►
Hoppa över Kommande händelser
Kommande händelser
Laddar
Sitehändelse 20.6. MyCourses maintenance, service out of use
måndag, 20 juni, 09:00 » 16:00

Gå till Kalender
  • CS-C2150 - Theoretical Computer Science, 08.01.2019-10.04.2019
  • Sektioner
  • CS-C2150 Theoretical Computer Science, Spring 2019
  • Material
  • Pruju
  • Computerized assignments
  • Framsida
  • Kalender
  • Learner Metrics

Aalto logo

Tuki / Support
  • MyCourses help
  • mycourses(at)aalto.fi
Palvelusta
  • MyCourses rekisteriseloste
  • Tietosuojailmoitus
  • Palvelukuvaus
  • Saavutettavuusseloste
About service
  • MyCourses protection of privacy
  • Privacy notice
  • Service description
  • Accessibility summary
Service
  • MyCourses registerbeskrivining
  • Dataskyddsmeddelande
  • Beskrivining av tjänsten
  • Sammanfattning av tillgängligheten

Du är för tillfället inloggad som gästanvändare (Logga in)
  • Högskolor
    • Handelshögskolan (BIZ)
    • Högskolan för elektroteknik (ELEC)
    • Högskolan för ingenjörsvetenskaper (ENG)
    • Högskolan för kemiteknik (CHEM)
    • – Andra guider (CHEM)
    • – Anvisning för literaturarbeten (CHEM)
    • Högskolan för konst, design och arkitektur (ARTS)
    • Högskolan för teknikvetenskaper (SCI)
    • Andra studier
    • Språkcentret
    • Open University
    • Biblioteket
    • Aalto university pedagogical training program
    • UNI (exams)
    • Sandbox
  • CORONAVIRUS INFO
    • Koronavirus - tietoa opiskelijalle
    • Coronavirus - information for students
    • Coronavirus - information för studerande
    • Corona help for teachers
  • Länkar till tjänster
    • MyCourses
    • - Instructions for Teachers
    • - Teacher book your online session with a specialist
    • - Digital tools for teaching
    • - Data protection instructions for teachers
    • - Anvisningar för studerande
    • - Workspace for thesis supervision
    • Sisu
    • Into studentportal
    • Courses.aalto.fi
    • Unverisitets bibliotek
    • - Resourcesguides
    • - Imagoa / Öppen vetenskap och användning av bilder
    • IT-tjänster
    • Campus
    • - Byggnads öppettider
    • Restaurants in Otaniemi
    • AUS Aalto-universitetets studentkår
    • Aalto Marketplace
  • ALLWELL?
    • Studiekompetens
    • Stöd för studerande
    • Starting Point of Wellbeing
    • Om AllWell? -enkäten
  •   ‎(sv)‎
    •   ‎(en)‎
    •   ‎(fi)‎
    •   ‎(sv)‎