Conducted in
terms:
2023/24_L, 2024/25_L, 2025/26_L, 2026/27_L
ECTS credits:
5
Language:
Polish
Related to study programmes:
Logic and Functional Programming WM-I-S2-E2-PLF
This course has not yet been described...
(in Polish) Dyscyplina naukowa, do której odnoszą się efekty uczenia się
information and communication technology
(in Polish) E-Learning
Term 2022/23_L: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | Term 2023/24_L: (in Polish) E-Learning | Term 2024/25_L: (in Polish) E-Learning | Term 2025/26_L: (in Polish) E-Learning (pełny kurs) z podziałem na grupy |
(in Polish) Grupa przedmiotów ogólnouczenianych
(in Polish) nie dotyczy
(in Polish) Opis nakładu pracy studenta w ECTS
Term 2022/23_L: (in Polish) Wykład:
uczestnictwo w zajęciach: 30h
praca własna, lektury: 20h
Razem: 50h, 2 ECTS
Laboratorium:
uczestnictwo w zajęciach: 30h
praca własna, wykonywanie zadań programistycznych: 40h
Razem: 70h, 3 ECTS | Term 2026/27_L: (in Polish) WYKŁAD
uczestnictwo w zajęciach: 30 godz.
udział w egzaminach poza zajęciami: 2 godz.
udział w konsultacjach: 2 godz.
przygotowanie do zajęć: 6 godz.
przygotowanie do egzaminu: 10 godz.
Łącznie 50 godz.
1,4 ECTS - kontakt bezpośredni z prowadzącym
0,6 ECTS - praca własna
LABORATORIUM
uczestnictwo w zajęciach: 30 godz.
udział w konsultacjach: 4 godz.
przygotowanie do zajęć: 11 godz.
przygotowanie do zaliczenia: 30 godz.
Łącznie 75 godz.
1,4 ECTS - kontakt bezpośredni z prowadzącym
1,6 ECTS - praca własna | Term 2024/25_L: Lecture:
participation in classes: 30h
own work, reading: 20h
Total: 50h, 2 ECTS
Lab:
participation in classes: 30h
own work, performing programming tasks: 45h
Total: 75h, 3 ECTS | Term 2023/24_L: Lecture:
participation in classes: 30h
own work, reading: 20h
Total: 50h, 2 ECTS
Lab:
participation in classes: 30h
own work, performing programming tasks: 45h
Total: 75h, 3 ECTS | Term 2025/26_L: Lecture:
participation in classes: 30h
own work, reading: 20h
Total: 50h, 2 ECTS
Lab:
participation in classes: 30h
own work, performing programming tasks: 45h
Total: 75h, 3 ECTS |
Subject level
intermediate
Learning outcome code/codes
(in Polish) wykład: I2_W01, I2_W04, I2_W05
laboratorium: I2_U01, I2_U02, I2_U03, I2_U04, I2_U06
OPIS SYMBOLI
wykład - Absolwent:
I2_W01 - w pogłębionym stopniu zna i rozumie teoretyczne podstawy informatyki i technologii informatycznych,
I2_W04 - w pogłębionym stopniu zna i rozumie kluczowe właściwości wybranych języków programowania wysokiego poziomu stosowanych w technologiach informatycznych,
I2_W05 - w pogłębionym stopniu zna i rozumie metody weryfikacji semantyki programów, a także pojęcia poprawności programów oraz techniki i formalizmy dla ich dowodzenia.
laboratorium - Absolwent:
I2_U01 - potrafi stosować matematyczne metody analizy algorytmów i procesów,
I2_U02 - potrafi stosować wiedzę matematyczną i techniczną do formułowania, analizowania i rozwiązywania zadań związanych z informatyką,
I2_U03 - potrafi programować w języku wysokiego poziomu,
I2_U04 - potrafi posługiwać się semantyką formalną przy wnioskowaniu o poprawności programów,
I2_U06 - projektować algorytmy, analizować je pod kątem poprawności i kosztu obliczeniowego oraz przygotowywać dokumentację techniczną.
Type of subject
obligatory
Preliminary Requirements
(in Polish) Przedmiot Elementy logiki i teorii mnogości, podstawy programowania, przedmiot Algorytmy i struktury danych.
Course coordinators
Term 2026/27_L: | Term 2022/23_L: | Term 2024/25_L: | Term 2023/24_L: | Term 2025/26_L: |
Additional information
Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes:
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: