- Nazwa przedmiotu:
- Podstawy teoretyczne informatyki
- Koordynator przedmiotu:
- prof. dr hab. inż. Paweł KERNTOPF
- Status przedmiotu:
- Obowiązkowy
- Poziom kształcenia:
- Studia I stopnia
- Program:
- Informatyka
- Grupa przedmiotów:
- Kierunkowe
- Kod przedmiotu:
- PTI
- Semestr nominalny:
- 1 / rok ak. 2011/2012
- Liczba punktów ECTS:
- 4
- Liczba godzin pracy studenta związanych z osiągnięciem efektów uczenia się:
- Liczba punktów ECTS na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich:
- Język prowadzenia zajęć:
- polski
- Liczba punktów ECTS, którą student uzyskuje w ramach zajęć o charakterze praktycznym:
- Formy zajęć i ich wymiar w semestrze:
-
- Wykład30h
- Ćwiczenia15h
- Laboratorium0h
- Projekt0h
- Lekcje komputerowe0h
- Wymagania wstępne:
- Limit liczby studentów:
- Cel przedmiotu:
- Treści kształcenia:
- <P><B>Podstawowe pojęcia lingwistyki matematycznej:</B> słowo, język, operacje na słowach i językach, składnia, semantyka, gramatyka, automat, klasyfikacja Chomsky'ego.</P> <P><B>Języki regularne i automaty skończone:</B> gramatyki regularne, analiza i s
- Metody oceny:
- Egzamin:
- Literatura:
- <OL><LI>J.E. Hopcroft, J.D. Ullman: Wprowadzenie do teorii automatów, języków i obliczeń. PWN 1994.</LI> <LI>F. Hopgood: Metody kompilacji. PWN 1984.</LI> <LI>S. Kowalski, A.W. Mostowski: Teoria automatów i lingwistyka matematyczna. PWN 1979.</LI> <
- Witryna www przedmiotu:
- Uwagi:
Efekty uczenia się