Foundations of computation theory 1000-ZiPTO

(in Polish) 30h – wykłady klasyczne 5h – wykłady zdalne 2h – egzamin 30h – ćwiczenia klasyczne 15h – projekt wykonywany zdalnie 60h – pracy własnej (ćwiczenia), rozwiązywanie zadań zadanych przez prowadzącego zajęcia 60h – studia literatury (wykład) 20h – przygotowanie do egzaminu RAZEM: 222 godziny 8 punktów ECTS

(in Polish) Po ukończeniu kursu student osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku informatyka - studia inżynierskie): (W1) ma uporządkowaną, podbudowaną teoretycznie wiedzę ogólną w zakresie problematyki obliczalności, języków formalnych i automatów (K_W02) (W2) ma pogłębioną wiedzę teoretyczną w zakresie złożoności obliczeniowej (K_W04)

(in Polish) Po ukończeniu kursu student osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku informatyka - studia inżynierskie): (U1) potrafi zastosować wiedzę matematyczną do formułowania, analizowania i rozwiązywania prostych zadań związanych informatyką (K_U01) (U2) potrafi pozyskiwać informacje z literatury, baz wiedzy, Internetu oraz innych wiarygodnych źródeł, (K_U02) (U3) potrafi analizować pod kątem poprawności i złożoności obliczeniowej problemy i algorytmy (K_U07)

(in Polish) Po ukończeniu kursu student osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku informatyka - studia inżynierskie): (K1) Jest nastawiony na jak najlepsze wykonanie zadania; dba o szczegół; jest systematyczny (K_K04) (K2) Jest nastawiony na nieustanne zdobywanie nowej wiedzy, umiejętności i doświadczeń; rozumie potrzebę ciągłego doskonalenia się i podnoszenia kompetencji zawodowych (K_K06)

(in Polish) Jest to klasyczny przedmiot z zakresu informatyki teoretycznej – z wykładem zawierającym precyzyjne dowody przedstawianych faktów oraz ćwiczeniami mającymi na celu głębsze zrozumienie omawianych pojęć. • Metody dydaktyczne podające: o wykład informacyjny (konwencjonalny) • Metody dydaktyczne poszukujące: o ćwiczeniowa o referatu

- informative (conventional) lecture

- practical
- project work

- evaluative methods

compulsory course

(in Polish) Znajomość podstawowych pojęć algorytmiki (Podstawy programowania oraz Algorytmy i struktury danych) oraz podstaw matematyki współczesnej (Matematyka dla informatyków I oraz II)

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

• Description of 1000-ZiPTO in USOSweb