Mathematical Foundations of Compilers' Theory -zajęcia prowadzone w języku angielskim na poziomie B2+ WM-MA-S2-E3-KOMP

Przedmiot poświęcony jest algorytmom i technikom przetwarzania ciągów tekstowych, przede wszystkim analizie syntaktycznej i przetwarzaniu zdań języków formalnych. Wyjaśnione zostaną poszczególne fazy kompilatorów (analiza leksykalna, syntaktyczna i semantyczna), klasy gramatyki oraz hierarchia Chomsky'ego. Po ukończeniu kursu student powinien potrafić posługiwać się wyrażeniami regularnymi oraz rozumieć definicje języków formalnych za pomocą gramatyki. Powinien umieć zaprojektować gramatykę i formalnie opisać parser dla prostego języka bezkontekstowego. Ponadto powinien znać podstawowe algorytmy wyszukiwania ciągów znaków i wzorców w tekście.

Dyscyplina naukowa, do której odnoszą się efekty uczenia się

matematyka

E-Learning

Grupa przedmiotów ogólnouczenianych

nie dotyczy

Opis nakładu pracy studenta w ECTS

WYKŁAD Szacunkowy nakład pracy studenta: - uczestnictwo w zajęciach 30 h, - uczestnictwo w egzaminie 1 h, - konsultacje z prowadzącym 2 h, - przygotowanie do zajęć 5 h, - przygotowanie do egzaminu 14 h, razem 52 h, co odpowiada 2 ECTS. LABORATORIA Szacunkowy nakład pracy studenta: - uczestnictwo w zajęciach 30 h, - konsultacje z prowadzącym 3 h, - prace domowe 30 h, - przygotowanie do weryfikacji 15 h, razem 78 h, co odpowiada 3 ECTS.

Poziom przedmiotu

zaawansowany

Symbol/Symbole kierunkowe efektów uczenia się

Wyklad: MA2_W01, MA2_W02, MA2_W11; laboratorium: MA2_U01, MA2_U02, MA2_U19, MA2_K01

Typ przedmiotu

obowiązkowy

Wymagania wstępne

Znajomość podstaw logiki matematycznej, matematyki dyskretnej, teorii mnogości oraz programowania.

Koordynatorzy przedmiotu

William Steingartner

Kryteria oceniania

Dla wszystkich efektów przyjmuje się następujące kryteria oceny we wszystkich formach weryfikacji:
ocena 5: osiągnięty w pełni (bez uchwytnych niedociągnięć),
ocena 4,5: osiągnięty niemal w pełni i nie są spełnione kryteria przyznania wyższej oceny,
ocena 4: osiągnięty w znacznym stopniu i nie są spełnione kryteria przyznania wyższej oceny,
ocena 3,5: osiągnięty w znacznym stopniu z wyraźną przewagą pozytywów i nie są spełnione kryteria przyznania wyższej oceny,
ocena 3: osiągnięty dla większości przypadków objętych weryfikacją i nie są spełnione kryteria przyznania wyższej oceny,
ocena 2: nie został osiągnięty dla większości przypadków objętych weryfikacją.

Więcej informacji

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu WM-MA-S2-E3-KOMP w USOSweb