Teoretyczne podstawy informatyki
Informacje ogólne
Kod przedmiotu: | 1100-TI0ZLI |
Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
Nazwa przedmiotu: | Teoretyczne podstawy informatyki |
Jednostka: | Wydział Matematyki i Informatyki |
Grupy: | |
Punkty ECTS i inne: |
0 LUB
5.00
LUB
6.00
(w zależności od programu)
|
Język prowadzenia: | polski |
Forma zaliczenia: | egzamin |
Ilość godzin wykładu: | 16 |
Ilość godzin ćwiczeń: | 16 |
Forma studiów: | niestacjonarne (zaoczne) |
Wymagania wstępne: | Znajomość rachunku zbiorów i rachunku zdań, indukcji matematycznej, pojęcie rekurencji. |
Skrócony opis: |
Celem przedmiotu jest zaznajomienie studenta z teoretycznymi podstawami informatyki. Przedstawione są teoretyczne modele komputerów: automaty skończone, automaty ze stosem i maszyny Turinga oraz równoważne im klasy języków i gramatyk formalnych. |
Efekty uczenia się: |
Po zakończonym kursie student: e1 przytacza i ilustruje podstawowe pojęcia dotyczące języków formalnych (działania na językach formalnych, gramatyki formalne, teoretyczne modele komputerów) e2 posługuje się różnymi metodami opisu języków regularnych e3 konstruuje deterministyczne automaty skończone akceptujące wskazane języki regularne e4 stosuje metody algorytmiczne z dowodu Twierdzenia Kleene’ego. e5 posługuje się gramatykami języków bezkontekstowych (w szczególności gramatykami w postaci normalnej Chomsky'ego, drzewami wyprowadzeń) e6 analizuje podstawowe modele teoretyczne komputerów e7 wymienia podstawowe twierdzenia dotyczące własności języków formalnych (teoriomnogościowe własności języków formalnych, Lemat o pompowaniu) e8 podaje zależności pomiędzy zbiorami języków formalnych w oparciu o klasyfikację Chomsky’ego e9 przeprowadza krytyczną analizę zadań Powyższe efekty kształcenia osiągane w ramach przedmiotu pozwalają na realizację kierunkowych efektów kształcenia, mających następujące oznaczenia w programie Informatyka I stopnia: 1100I-1A_W03, 1100I-1A_U11, 1100Isd1A_W13. |
Zajęcia w cyklu "Semestr letni 2023/2024" (w trakcie)
Okres: | 2024-02-26 - 2024-09-30 |
Przejdź do planu
PN WT ŚR CZ PT |
Typ zajęć: |
Ćwiczenia konwersatoryjne, 16 godzin
Wykład, 16 godzin
|
|
Koordynatorzy: | (brak danych) | |
Prowadzący grup: | (brak danych) | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów Wykład - Ocena zgodna z regulaminem studiów |
Zajęcia w cyklu "Semestr letni 2022/2023" (zakończony)
Okres: | 2023-02-20 - 2023-09-30 |
Przejdź do planu
PN WT ŚR CZ PT SO N W
CK
|
Typ zajęć: |
Ćwiczenia konwersatoryjne, 16 godzin
Wykład, 16 godzin
|
|
Koordynatorzy: | Aneta Tomaszewska | |
Prowadzący grup: | Tadeusz Krasiński, Aneta Tomaszewska | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów Wykład - Ocena zgodna z regulaminem studiów |
Zajęcia w cyklu "Semestr letni 2021/2022" (zakończony)
Okres: | 2022-02-21 - 2022-09-30 |
Przejdź do planu
PN WT ŚR CZ PT SO N W
CK
|
Typ zajęć: |
Ćwiczenia konwersatoryjne, 16 godzin
Wykład, 16 godzin
|
|
Koordynatorzy: | Aneta Tomaszewska | |
Prowadzący grup: | Aneta Tomaszewska | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów Wykład - Ocena zgodna z regulaminem studiów |
|
Metody dydaktyczne: | wykład konwersatoryjny, prace w grupach, ćwiczenia praktyczne |
|
Sposoby i kryteria oceniania: | Na ocenę z ćwiczeń składa się ocena z kolokwium sprawdzające efekty uczenia się z zakresu umiejętności e1-e6. Egzamin pozwala zweryfikować efekty uczenia się e1-2, e5-9. Egzamin w formie pisemnej może być dodatkowo uzupełniony odpowiedzią ustną. Na ocenę z przedmiotu składają się ocena z ćwiczeń (60%) i ocena z wykładu (40%). |
|
Treści kształcenia: | 1. Problemy a języki formalne. 2. Języki regularne: wyrażenia regularne, automaty skończone, twierdzenie Kleene'ego, własności języków regularnych, lemat o pompowaniu dla jęz. regularnych. 3. Języki bezkontekstowe: gramatyki bezkontekstowe i regularne, postacie normalne gramatyk bezkontekstowych, własności języków bezkontekstowych, automaty ze stosem. 4. Języki rekursywnie przeliczalne: maszyny Turinga, gramatyki frazowe. 5. Hierarchia Chomsky'ego języków formalnych. |
|
Literatura: |
[1]. Krasiński T. - Automaty i języki formalne; Wyd. UŁ 2007 [2]. Hopcroft J., Motwani R., Ullmann, J. - Wprowadzenie do teorii automatów, języków i obliczeń ; PWN 2005. [3]. Sipser M. - Wprowadzenie do teorii obliczeń. WNT 2009. [4]. Kozen D. - Automata and computability; Springer 1997. [5]. Cohen D. - Introduction to computer theory; Wiley 1991. [6]. Martin J.C. - Introduction to Languages and the Theory of Computation. McGraw Hill 1999 |
Zajęcia w cyklu "Semestr letni 2020/2021" (zakończony)
Okres: | 2021-03-08 - 2021-09-30 |
Przejdź do planu
PN WT ŚR CZ PT SO N W
CK
|
Typ zajęć: |
Ćwiczenia konwersatoryjne, 16 godzin
Wykład, 16 godzin
|
|
Koordynatorzy: | Aneta Tomaszewska | |
Prowadzący grup: | Aneta Tomaszewska | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów Wykład - Ocena zgodna z regulaminem studiów |
|
Metody dydaktyczne: | wykład konwersatoryjny, prace w grupach, ćwiczenia praktyczne |
|
Sposoby i kryteria oceniania: | Na ocenę z ćwiczeń składa się ocena z kolokwium sprawdzające efekty uczenia się z zakresu umiejętności e1-e6. Egzamin pozwala zweryfikować efekty uczenia się e1-2, e5-9. Egzamin w formie pisemnej może być dodatkowo uzupełniony odpowiedzią ustną. Na ocenę z przedmiotu składają się ocena z ćwiczeń (60%) i ocena z wykładu (40%). |
|
Treści kształcenia: | 1. Problemy a języki formalne. 2. Języki regularne: wyrażenia regularne, automaty skończone, twierdzenie Kleene'ego, własności języków regularnych, lemat o pompowaniu dla jęz. regularnych. 3. Języki bezkontekstowe: gramatyki bezkontekstowe i regularne, postacie normalne gramatyk bezkontekstowych, własności języków bezkontekstowych, automaty ze stosem. 4. Języki rekursywnie przeliczalne: maszyny Turinga, gramatyki frazowe. 5. Hierarchia Chomsky'ego języków formalnych. |
|
Literatura: |
[1]. Krasiński T. - Automaty i języki formalne; Wyd. UŁ 2007 [2]. Hopcroft J., Motwani R., Ullmann, J. - Wprowadzenie do teorii automatów, języków i obliczeń ; PWN 2005. [3]. Sipser M. - Wprowadzenie do teorii obliczeń. WNT 2009. [4]. Kozen D. - Automata and computability; Springer 1997. [5]. Cohen D. - Introduction to computer theory; Wiley 1991. [6]. Martin J.C. - Introduction to Languages and the Theory of Computation. McGraw Hill 1999 |
Zajęcia w cyklu "Semestr letni 2019/2020" (zakończony)
Okres: | 2020-02-24 - 2020-09-30 |
Przejdź do planu
PN WT ŚR CZ PT SO W
CK
|
Typ zajęć: |
Ćwiczenia konwersatoryjne, 16 godzin
Wykład, 16 godzin
|
|
Koordynatorzy: | Aneta Tomaszewska | |
Prowadzący grup: | Aneta Tomaszewska | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów Wykład - Ocena zgodna z regulaminem studiów |
|
Metody dydaktyczne: | wykład konwersatoryjny, prace w grupach, ćwiczenia praktyczne |
|
Sposoby i kryteria oceniania: | Na ocenę z ćwiczeń składa się ocena z kolokwium sprawdzające efekty uczenia się z zakresu umiejętności e1-e6. Egzamin pozwala zweryfikować efekty uczenia się e1-2, e5-9. Egzamin w formie pisemnej może być dodatkowo uzupełniony odpowiedzią ustną. Na ocenę z przedmiotu składają się ocena z ćwiczeń (60%) i ocena z wykładu (40%). |
|
Treści kształcenia: | 1. Problemy a języki formalne. 2. Języki regularne: wyrażenia regularne, automaty skończone, twierdzenie Kleene'ego, własności języków regularnych, lemat o pompowaniu dla jęz. regularnych. 3. Języki bezkontekstowe: gramatyki bezkontekstowe i regularne, postacie normalne gramatyk bezkontekstowych, własności języków bezkontekstowych, automaty ze stosem. 4. Języki rekursywnie przeliczalne: maszyny Turinga, gramatyki frazowe. 5. Hierarchia Chomsky'ego języków formalnych. |
|
Literatura: |
[1]. Krasiński T. - Automaty i języki formalne; Wyd. UŁ 2007 [2]. Hopcroft J., Motwani R., Ullmann, J. - Wprowadzenie do teorii automatów, języków i obliczeń ; PWN 2005. [3]. Sipser M. - Wprowadzenie do teorii obliczeń. WNT 2009. [4]. Kozen D. - Automata and computability; Springer 1997. [5]. Cohen D. - Introduction to computer theory; Wiley 1991. [6]. Martin J.C. - Introduction to Languages and the Theory of Computation. McGraw Hill 1999 |
Zajęcia w cyklu "Semestr letni 2018/2019" (zakończony)
Okres: | 2019-02-18 - 2019-09-30 |
Przejdź do planu
PN WT ŚR CZ PT SO W
CK
|
Typ zajęć: |
Ćwiczenia konwersatoryjne, 16 godzin
Wykład, 16 godzin
|
|
Koordynatorzy: | Aneta Tomaszewska | |
Prowadzący grup: | Aneta Tomaszewska | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów Wykład - Ocena zgodna z regulaminem studiów |
|
Metody dydaktyczne: | wykład konwersatoryjny, prace w grupach, ćwiczenia praktyczne |
|
Sposoby i kryteria oceniania: | Na ocenę z ćwiczeń składa się ocena z kolokwium sprawdzające efekty kształcenia z zakresu umiejętności e1-e6. Egzamin pozwala zweryfikować efekty kształcenia e1-2, e5-9. Egzamin w formie pisemnej może być dodatkowo uzupełniony odpowiedzią ustną. Na ocenę z przedmiotu składają się ocena z ćwiczeń (60% i ocena z wykładu (40%). |
|
Treści kształcenia: | 1. Problemy a języki formalne. 2. Języki regularne: wyrażenia regularne, automaty skończone, twierdzenie Kleene'ego, własności języków regularnych, lemat o pompowaniu dla jęz. regularnych. 3. Języki bezkontekstowe: gramatyki bezkontekstowe i regularne, postacie normalne gramatyk bezkontekstowych, własności języków bezkontekstowych, automaty ze stosem. 4. Języki rekursywnie przeliczalne: maszyny Turinga, gramatyki frazowe. 5. Hierarchia Chomsky'ego języków formalnych. |
|
Literatura: |
[1]. Krasiński T. - Automaty i języki formalne; Wyd. UŁ 2007 [2]. Hopcroft J., Motwani R., Ullmann, J. - Wprowadzenie do teorii automatów, języków i obliczeń ; PWN 2005. [3]. Sipser M. - Wprowadzenie do teorii obliczeń. WNT 2009. [4]. Kozen D. - Automata and computability; Springer 1997. [5]. Cohen D. - Introduction to computer theory; Wiley 1991. [6]. Martin J.C. - Introduction to Languages and the Theory of Computation. McGraw Hill 1999 |
Zajęcia w cyklu "Semestr letni 2017/2018" (zakończony)
Okres: | 2018-02-19 - 2018-09-30 |
Przejdź do planu
PN WT ŚR CZ PT SO N W
CK
|
Typ zajęć: |
Ćwiczenia konwersatoryjne, 16 godzin
Wykład, 16 godzin
|
|
Koordynatorzy: | Aneta Tomaszewska | |
Prowadzący grup: | Aneta Tomaszewska | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów Wykład - Ocena zgodna z regulaminem studiów |
|
Metody dydaktyczne: | wykład konwersatoryjny, prace w grupach, ćwiczenia praktyczne |
|
Sposoby i kryteria oceniania: | Na ocenę z ćwiczeń składa się ocena z kolokwium sprawdzające efekty kształcenia z zakresu umiejętności e1-e6. Egzamin pozwala zweryfikować efekty kształcenia e1-2, e5-9. Egzamin w formie pisemnej może być dodatkowo uzupełniony odpowiedzią ustną. Na ocenę z przedmiotu składają się ocena z ćwiczeń (60% i ocena z wykładu (40%). |
|
Treści kształcenia: | 1. Problemy a języki formalne. 2. Języki regularne: wyrażenia regularne, automaty skończone, twierdzenie Kleene'ego, własności języków regularnych, lemat o pompowaniu dla jęz. regularnych. 3. Języki bezkontekstowe: gramatyki bezkontekstowe i regularne, postacie normalne gramatyk bezkontekstowych, własności języków bezkontekstowych, automaty ze stosem. 4. Języki rekursywnie przeliczalne: maszyny Turinga, gramatyki frazowe. 5. Hierarchia Chomsky'ego języków formalnych. |
|
Literatura: |
[1]. Krasiński T. - Automaty i języki formalne; Wyd. UŁ 2007 [2]. Hopcroft J., Motwani R., Ullmann, J. - Wprowadzenie do teorii automatów, języków i obliczeń ; PWN 2005. [3]. Sipser M. - Wprowadzenie do teorii obliczeń. WNT 2009. [4]. Kozen D. - Automata and computability; Springer 1997. [5]. Cohen D. - Introduction to computer theory; Wiley 1991. [6]. Martin J.C. - Introduction to Languages and the Theory of Computation. McGraw Hill 1999 |
Właścicielem praw autorskich jest UNIWERSYTET ŁÓDZKI.