UNIWERSYTET ŁÓDZKI - Centralny System Uwierzytelniania
Strona główna

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) Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.

zobacz reguły punktacji
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
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 16 godzin więcej informacji
Wykład, 16 godzin więcej informacji
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
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 16 godzin więcej informacji
Wykład, 16 godzin więcej informacji
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
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 16 godzin więcej informacji
Wykład, 16 godzin więcej informacji
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
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 16 godzin więcej informacji
Wykład, 16 godzin więcej informacji
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
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 16 godzin więcej informacji
Wykład, 16 godzin więcej informacji
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
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 16 godzin więcej informacji
Wykład, 16 godzin więcej informacji
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
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 16 godzin więcej informacji
Wykład, 16 godzin więcej informacji
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

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest UNIWERSYTET ŁÓDZKI.
kontakt deklaracja dostępności USOSweb 7.0.3.0-0