Languages, Automata and Computation
Informacje ogólne
Kod przedmiotu: | 103A-CSCSN-ISA-ELAC | ||||||||||||||||||||||
Kod Erasmus / ISCED: | (brak danych) / (brak danych) | ||||||||||||||||||||||
Nazwa przedmiotu: | Languages, Automata and Computation | ||||||||||||||||||||||
Jednostka: | Wydział Elektroniki i Technik Informacyjnych | ||||||||||||||||||||||
Grupy: |
( Computer Systems and Networks )-Computer Systems and Networks-B.Sc.-EITI ( Courses in English )--eng.-EITI ( Przedmioty techniczne )---EITI ( Technical Courses )--eng.-EITI |
||||||||||||||||||||||
Punkty ECTS i inne: |
6.00
|
||||||||||||||||||||||
Język prowadzenia: | angielski | ||||||||||||||||||||||
Jednostka decyzyjna: | 103000 - Wydział Elektroniki i Technik Informacyjnych |
||||||||||||||||||||||
Kod wydziałowy: | ELAC |
||||||||||||||||||||||
Numer wersji: | 1 |
||||||||||||||||||||||
Skrócony opis: |
Wykład obejmuje klasyczną tematykę teoretyczną informatyki od skończonych opisów gramatycznych różnych klas języków formalnych, poprzez modele automatów generujących lub rozpoznających do ilościowej oceny złożoności obliczeniowej problemów algorytmicznych dla różnych modeli obliczeń. Prezentacja zagadnień ma pokazać praktyczne znaczenie teorii i przydatność dobrego rozumienia omawianych koncepcji. |
||||||||||||||||||||||
Pełny opis: |
(tylko po angielsku) The course is structured along now classical topics of finite grammatical description of infinite languages, automata based abstract devices for generating and/or recognizing them, and assessing computational complexity of algorithmic problems in different models of computation. The style of the coverage will underline practical relevance of the theory and understanding of concepts.
Tutorial contents Tutorials will offer exercises focused on topics covered during lectures to enhance understanding and exhibit practical relevance of theoretical concepts. In particular, exercises and homework problems concerning transformations of automata and context free grammars will be proposed. Two midterm assessment tests will be scheduled. Projects contents The project will consists of two individual (or tandem) assignments concerning:
or a mixture thereof. Prerequisites
Similar Courses
|
||||||||||||||||||||||
Literatura: |
(tylko po angielsku)
|
||||||||||||||||||||||
Metody i kryteria oceniania: |
(tylko po angielsku) Three assessment components will be taken into account:
The final result is based on the following pattern: 5.0: 91-100 points 4.5: 81-90 points 4.0: 71-80 points 3.5: 61-70 points 3.0: 51-60 points 2.0: 0-50 points |
Zajęcia w cyklu "rok akademicki 2023/2024 - sem. zimowy" (zakończony)
Okres: | 2023-10-01 - 2024-02-18 |
Przejdź do planu
PN PRO
PRO
WT WYK
PRO
PRO
PRO
PRO
ŚR CWI
CZ PT |
Typ zajęć: |
Ćwiczenia, 15 godzin, 60 miejsc
Projekt, 15 godzin, 60 miejsc
Wykład, 30 godzin, 60 miejsc
|
|
Koordynatorzy: | Ilona Bluemke | |
Prowadzący grup: | Ilona Bluemke, Jacek Komorowski, Agnieszka Malanowska | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Egzamin | |
Jednostka realizująca: | 103200 - Instytut Informatyki |
Zajęcia w cyklu "rok akademicki 2022/2023 - sem. zimowy" (zakończony)
Okres: | 2022-10-01 - 2023-02-19 |
Przejdź do planu
PN WT WYK
ŚR CWI
CWI
CZ PT |
Typ zajęć: |
Ćwiczenia, 15 godzin, 60 miejsc
Projekt, 15 godzin, 60 miejsc
Wykład, 30 godzin, 60 miejsc
|
|
Koordynatorzy: | Ilona Bluemke | |
Prowadzący grup: | Ilona Bluemke, Jacek Komorowski, Ankush Rai | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Egzamin | |
Jednostka realizująca: | 103200 - Instytut Informatyki |
Zajęcia w cyklu "rok akademicki 2021/2022 - sem. zimowy" (zakończony)
Okres: | 2021-10-01 - 2022-02-22 |
Przejdź do planu
PN WT WYK
ŚR CWI
CWI
CZ PT |
Typ zajęć: |
Ćwiczenia, 15 godzin, 60 miejsc
Projekt, 15 godzin, 60 miejsc
Wykład, 30 godzin, 60 miejsc
|
|
Koordynatorzy: | Ilona Bluemke | |
Prowadzący grup: | Ilona Bluemke, Jacek Komorowski | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Egzamin | |
Jednostka realizująca: | 103200 - Instytut Informatyki |
Zajęcia w cyklu "rok akademicki 2020/2021 - sem. zimowy" (zakończony)
Okres: | 2020-10-01 - 2021-02-19 |
Przejdź do planu
PN WT WYK
ŚR CWI
CZ PT |
Typ zajęć: |
Ćwiczenia, 15 godzin, 48 miejsc
Projekt, 15 godzin, 48 miejsc
Wykład, 30 godzin, 48 miejsc
|
|
Koordynatorzy: | Ilona Bluemke | |
Prowadzący grup: | Ilona Bluemke, Jacek Komorowski | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Egzamin | |
Jednostka realizująca: | 103200 - Instytut Informatyki |
Zajęcia w cyklu "rok akademicki 2019/2020 - sem. zimowy" (zakończony)
Okres: | 2019-10-01 - 2020-02-21 |
Przejdź do planu
PN WT WYK
ŚR CWI
CZ PT |
Typ zajęć: |
Ćwiczenia, 15 godzin, 48 miejsc
Projekt, 15 godzin, 48 miejsc
Wykład, 30 godzin, 48 miejsc
|
|
Koordynatorzy: | Ilona Bluemke | |
Prowadzący grup: | Ilona Bluemke, Jacek Komorowski | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Egzamin | |
Jednostka realizująca: | 103200 - Instytut Informatyki |
Zajęcia w cyklu "rok akademicki 2018/2019 - sem. zimowy" (zakończony)
Okres: | 2018-10-01 - 2019-02-17 |
Przejdź do planu
PN WT WYK
ŚR CWI
CZ PT |
Typ zajęć: |
Ćwiczenia, 15 godzin, 48 miejsc
Projekt, 15 godzin, 48 miejsc
Wykład, 30 godzin, 48 miejsc
|
|
Koordynatorzy: | Ilona Bluemke | |
Prowadzący grup: | Ilona Bluemke, Jacek Komorowski | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Egzamin | |
Jednostka realizująca: | 103200 - Instytut Informatyki |
Właścicielem praw autorskich jest Politechnika Warszawska.