pl en
en
Elements of Logic
Course description sheet

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
Course coordinator
Paweł Potorski
Lecturer
Paweł Potorski
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

  1. Elementy logiki - klasyczny rachunek zdań.
  2. Podstawowe pojęcia kombinatoryki.
  3. 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.

  • System binarny.

  • Wartość logiczna wyrażenia.

  • Zaprzeczenie.

  • Działania rachunku zdań.

  • Prawa rachunku zdań (tautologie).

  • Kwantyfikatory.

  • Algebra zbiorów.

W1, U1, K1, K2 Lectures, Auditorium classes
2.

  • Kombinatoryka. Moc zbioru.

  • Pojęcie silni.

  • Permutacje.

  • Kombinacje.

  • Wariacje.

  • Zasada szufladkowa Dirichleta.

W2, U2, K1, K2 Lectures, Auditorium classes
3.

  • Definiowanie grafu i jego własności.

  • Lemat o uściskach dłoni.

  • Drogi, ścieżki, cykle.

  • Grafy eulerowskie.

  • Algorytm Fleury’ego.

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
  1. A. Chronowski, Elementy Teorii Mnogości, Wydawnictwo Naukowe Akademii Pedagogicznej, Kraków
  2. A. Chronowski, Zadania z elementów teorii mnogości i logiki matematycznej, Wydawnictwo Dla szkoły, Wadowice