Opis przedmiotu

Zajęcia prowadzone są na I semestrze studiów magisterskich dziennych (30h wykładu, 15h ćwiczeń i 15h laboratorium) i zaocznych (15h wykładu, 10h ćwiczeń i 10h laboratorium). Celem przedmiotu jest zapoznanie studentów z zasadami budowy języków i gramatyk formalnych oraz teorią automatów. Doskonalenie umiejętności projektowania algorytmów i programowania.

Prowadzący przedmiot:

• Wykład: Dr hab. inż. Lidia Jackowska-Strumiłło, prof. PŁ.
• Ćwiczenia: Dr inż. Piotr Duch.
• Laboratorium: Dr inż. Piotr Duch.

Godziny zajęć (ćwiczenia):

• Piątek, godz. 10.15, sala CTI 406, grupa 1I s2 KSK, tygodnie 1 - 8.
• Sobota, godz. 18.15, sala E106, grupa nz2 1D00, zjazdy 2 - 6.

Godziny zajęć (laboratorium):

• Piątek, godz. 10.15, sala CTI 406, grupa 1I ŚAdPJEE, tygodnie 9 - 15.
• Piątek, godz. 12.15, sala CTI 406, grupa 1I KSK, tygodnie 9 - 15.
• Sobota, godz. 15.15, sala CTI 407, grupa nz2 1D00 ISBD, KSK, tygodnie 1 - 5.
• Sobota, godz. 15.15, sala CTI 407, grupa nz2 1D00 SRiPM, tygodnie 6 - 10.
• Niedziela, godz. 10.15, sala CTI 405, grupa nz2 1D00 Java, tygodnie 2, 4, 6, 8, 10.

Warunki zaliczenia (ćwiczenia)

Obecność na ćwiczeniach jest obowiązkowa. Student mający więcej niż 1 nieusprawiedliwioną nieobecność nie może przystąpić do kolokwium końcowego.

Składniki oceny końcowej:

Warunkiem zaliczenia ćwiczeń jest zaliczenie 1 i 2 kolokwium co najmniej na ocenę 3.

Warunki zaliczenie (laboratorium)

Obecność na laboratoriach jest obowiązkowa. Student mający więcej niż 1 nieusprawiedliwioną nieobecności nie może przystąpić do kolokwium końcowego.

Składniki oceny końcowej:

• Ocena końcowa stanowi średnią ocen uzyskanych przez studenta za wykonanie poszczególnych zadań. Każde z zadań musi być zaliczone co najmniej na ocenę 3.
• Ocena zostanie wpisana do systemu EKS dopiero po otrzymaniu przeze mnie na maila kodów wykonanych programów.