
Basic information
- Field of study
- Designing Virtual Spaces and Games
- Major
- -
- Organisational unit
- Faculty of Computer Science
- Study level
- First-cycle studies
- Form of study
- Full-time studies
- Profile
- General academic
- Didactic cycle
- 2025/2026
- Course code
- WIPPWGS.I1.16858.25
- Lecture languages
- Polish
- Mandatoriness
- Obligatory
- Block
- Foundation Modules
- Course related to scientific research
- No
|
Period
Semester 1
|
Method of verification of the learning outcomes
Exam
Activities and hours
Lectures:
14
Auditorium classes: 28 |
Number of ECTS credits
4
|
Goals
| C1 | Zapoznanie z podstawowymi pojęciami logiki, w tym teorii rachunku zdań oraz ciekawymi zagadnieniami kombinatoryki i matematyki dyskretnej (grafy). |
Course's learning outcomes
| Code | Outcomes in terms of | Learning outcomes prescribed to a field of study | Methods of verification |
| Knowledge – Student knows and understands: | |||
| W1 | Student zna i rozumie zasady rachunku zdań i podstawowe prawa. | PPWG1A_W01 | Activity during classes, Execution of exercises, Test, Examination, Oral answer |
| W2 | Student zna i rozumie podstawowe pojęcia kombinatoryki. | PPWG1A_W01 | Activity during classes, Execution of exercises, Test, Examination, Oral answer |
| W3 | Student zna i rozumie definicję grafu i ścieżki w grafie. | PPWG1A_W01 | Activity during classes, Execution of exercises, Test, Examination, Oral answer |
| Skills – Student can: | |||
| U1 | Student potrafi wykorzystać elementy logiki przy pracy nad projektowaniem gier. | PPWG1A_U01, PPWG1A_U06 | Activity during classes, Execution of exercises, Test, Examination, Oral answer |
| U2 | Student potrafi wykorzystać pojęcia kombinatoryki do rozwiązywania praktycznych problemów. | PPWG1A_U01, PPWG1A_U06 | Activity during classes, Execution of exercises, Test, Examination, Oral answer |
| U3 | Student potrafi weryfikować własności grafów, w tym wyznaczać ścieżki według algorytmu. | PPWG1A_U01, PPWG1A_U06 | Activity during classes, Execution of exercises, Test, Examination, Oral answer |
| Social competences – Student is ready to: | |||
| K1 | Student jest gotów do samodzielnej pracy, wyboru i korzystania ze źródeł wiedzy oraj jej poszerzania. | PPWG1A_K01 | Activity during classes, Execution of exercises, Involvement in teamwork, Oral answer |
| K2 | Student jest gotów do pracy w grupie. | PPWG1A_K01, PPWG1A_K02 | Activity during classes, Execution of exercises, Involvement in teamwork, Oral answer |
Program content ensuring the achievement of the learning outcomes prescribed to the module
- Elementy logiki - klasyczny rachunek zdań.
- Podstawowe pojęcia kombinatoryki.
- Grafy i ich własności - wprowadzenie.
Student workload
| Activity form | Average amount of hours* needed to complete each activity form | |
| Lectures | 14 | |
| Auditorium classes | 28 | |
| Preparation for classes | 28 | |
| Realization of independently performed tasks | 28 | |
| Examination or final test/colloquium | 2 | |
| Contact hours | 5 | |
| Student workload |
Hours
105
|
|
| Workload involving teacher |
Hours
42
|
|
* hour means 45 minutes
Program content
| No. | Program content | Course's learning outcomes | Activities |
| 1. |
|
W1, U1, K1, K2 | Lectures, Auditorium classes |
| 2. |
|
W2, U2, K1, K2 | Lectures, Auditorium classes |
| 3. |
|
W3, U3, K1, K2 | Lectures, Auditorium classes |
Extended information/Additional elements
Teaching methods and techniques :
Lecture, Practice method (doing tasks at the blackboard), Lectures, Peer learning, Inquiry Based Learning, Case study, Flipped classroom, Peer assessment, Socratic questioning, Group work
| Activities | Methods of verification | Credit conditions |
|---|---|---|
| Lectures | Examination, Oral answer | Warunkiem zaliczenia jest uzyskanie pozytywnej oceny z egzaminu. |
| Audit. classes | Activity during classes, Execution of exercises, Test, Involvement in teamwork | Warunkiem zaliczenia jest uzyskanie pozytywnej oceny z ćwiczeń. |
Conditions and the manner of completing each form of classes, including the rules of making retakes, as well as the conditions for admission to the exam
- Wykład: Studenci uczestniczą w zajęciach poznając kolejne treści nauczania zgodnie z syllabusem przedmiotu. Studenci winni na bieżąco zadawać pytania i wyjaśniać wątpliwości. Rejestracja audiowizualna wykładu wymaga zgody prowadzącego.
- Ćwiczenia audytoryjne: Studenci przystępując do ćwiczeń są zobowiązani do przygotowania się w zakresie wskazanym każdorazowo przez prowadzącego (np. w formie zestawów zadań). Ocena pracy studenta może bazować na wypowiedziach ustnych lub pisemnych w formie kolokwium, co zgodnie z Regulaminem Studiów AGH przekłada się na ocenę końcową z tej formy zajęć.
- Zaliczenie poprawkowe ćwiczeń: W przypadku, gdy osoba studiująca nie zdobędzie zaliczenia ćwiczeń w podstawowym terminie może ona wziąć udział w kolokwium zaliczeniowym. Wtedy ocena z ćwiczeń w kolejnym terminie ustalana jest na podstawie wyniku z kolokwium zaliczeniowego.
- Egzamin: Egzamin ustny. Warunkiem dopuszczenia do egzaminiu jest uzyskanie pozytywnej oceny z ćwiczeń.
Method of determining the final grade
Ocena końcowa jest zaokrągloną średnią arytmetyczną ocen uzyskanych z ćwiczeń i egzaminów. W przypadku, gdy uzyskana ocena z ćwiczeń i egzaminu jest pozytywna a średnia arytmetyczna ocen jest mniejsza od 3.0 ustala się ocenę końcową 3.0.
Manner and mode of making up for the backlog caused by a student justified absence from classes
Nieobecność na zajęciach obowiązkowych wymaga od studenta samodzielnego opanowania przerabianego na tych zajęciach materiału i jego zaliczenia w formie i terminie wyznaczonym przez prowadzącego. Szczegóły należy ustalić z prowadzącym nie później niż tydzień po ustaniu nieobecności.
Prerequisites and additional requirements
Matematyka na poziomie szkoły średniej, w szczególności wykonywanie działań i rozwiązywanie równań i nierówności.
Rules of participation in given classes, indicating whether student presence at the lecture is obligatory
- Wykład: Obecność nie jest obowiązkowa.
- Ćwiczenia audytoryjne: Obecność obowiązkowa. Dopuszczalne są dwie nieobecności. Osoba studiująca, która bez usprawiedliwienia opuściła więcej niż trzy zajęcia nie zalicza przedmiotu.
Literature
Obligatory- A. Chronowski, Elementy Teorii Mnogości, Wydawnictwo Naukowe Akademii Pedagogicznej, Kraków
- A. Chronowski, Zadania z elementów teorii mnogości i logiki matematycznej, Wydawnictwo Dla szkoły, Wadowice