Formal languages and automata 0800-JFA

(in Polish) Godziny realizowane z udziałem nauczycieli ( 48 godz.): - udział w wykładach 30 h - udział w ćwiczeniach 15 h - konsultacje z nauczycielem akademickim 3 h Czas poświęcony na pracę indywidualną studenta (70 godz.): - przygotowanie do wykładu 15 h - przygotowanie do ćwiczeń 15 h - pisanie prac, projektów 15 h - czytanie literatury 5 h - przygotowanie do egzaminu 10 h - przygotowanie do kolokwium 10 h Łącznie: 118 godz. (4 ECTS)

(in Polish) W01: ma ogólnoakademicką wiedzę z logicznych podstaw informatyki i matematyki, przydatną do formułowania i rozwiązywania zadań związanych z informatyką. Ma uporządkowaną, podbudowaną teoretycznie wiedzę ogólną w zakresie teorii automatów i języków formalnych i jej zastosowań do analizy składni i semantyki języków programowania. Zna podstawowe pojęcia, metody, techniki i narzędzia stosowane przy analizie zadań informatycznych i ich klasyfikacji ze względu na ich złożoność obliczeniową. Przypisanie do kierunkowych efektów kształcenia: K_W01, K_W04

(in Polish) U01: potrafi wykorzystać nabytą wiedzę matematyczną do opisu składni i semantyki języków formalnych i wyrażeń symbolicznych oraz do konstrukcji i zapisu algorytmów przetwarzania takich struktur. Potrafi klasyfikować zadania informatyczne ze względu na ich złożoność obliczeniową, rozumie praktyczne znaczenie takiej klasyfikacji. U02: Potrafi pozyskiwać informacje z literatury, baz danych oraz innych źródeł, potrafi zidentyfikować dyskretne struktury matematyczne w problemach i wykorzystać teoretyczną wiedzę dotyczącą tych struktur do analizy i rozwiązania tych problemów. U03: Potrafi efektywnie tworzyć programy skryptowe dotyczące analizy tekstu, interpretacji symbolicznych wyrażeń i języków formalnych. Przypisanie do kierunkowych efektów kształcenia: K_U02, K_U08, K_U09

(in Polish) K01: Rozumie potrzebę ciągłego dokształcania powodowanego pojawianiem się nowych osiągnięć, nowych technologii, etc. rozumie potrzebę wymiany informacji w grupach osób zajmujących się informatyką, rozumie możliwości jakie daje edukacja akademicka. Przypisanie do kierunkowych efektów kształcenia: K_K06, K_K04

(in Polish) wykład informacyjny (konwencjonalny) metoda ćwiczeniowa

- informative (conventional) lecture

- practical

compulsory course

(in Polish) Elementy logiki matematycznej i algebry zbiorów, elementy matematyki dyskretnej

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

• Description of 0800-JFA in USOSweb