Theoretical Foundations of Computer Science Field of study: Computer Science
Programme code: W4-S1IN19.2024

Module name: Theoretical Foundations of Computer Science
Module code: W4-IN-S1-24-1-TPI
Programme code: W4-S1IN19.2024
Semester: winter semester 2024/2025
Language of instruction: Polish
Form of verification: course work
ECTS credits: 3
Purpose and description of the content of education:
Celem zajęć jest przygotowanie studentów do rozwiązywania zadań w zakresie podstaw informatyki. Dzięki temu student powinien wykazać się pełnym zrozumieniem tematyki związanej z arytmetyką binarną, z translacją wyrażeń arytmetycznych. Powinien znać problematykę automatów abstrakcyjnych i języków formalnych. W konsekwencji ma to doprowadzić do pogłębienia wiedzy z zakresu podstaw matematycznych i abstrakcji matematycznej w informatyce.
List of modules that must be completed before starting this module (if necessary): not applicable
Learning outcome of the module Codes of the learning outcomes of the programme to which the learning outcome of the module is related [level of competence: scale 1-5]
Jest świadomy znaczenia podejścia interdyscyplinarnego do rozwiązywania problemów [K1]
 IN_K04 [3/5]
Potrafi wykonać podstawowe działania w obrębie arytmetyki binarnej [U1]
 IN_U05 [3/5] IN_U06 [1/5] IN_U07 [2/5]
Potrafi skonstruować maszynę Turinga i automat skończony poprzez podanie sterowania tego typu maszynami [U2]
 IN_U05 [2/5] IN_U07 [2/5]
Potrafi dokonać translacji wyrażeń arytmetycznych do postaci Odwrotnej Notacji Polskiej oraz zbadać wyprowadzalność słów w danych językach formalnych [U3]
 IN_U05 [1/5] IN_U06 [2/5] IN_U07 [2/5] IN_U09 [1/5]
Ma podstawową wiedzę z zakresu arytmetyki binarnej i zna algorytmy wykorzystywane w arytmetyce [W1]
 IN_W01 [2/5] IN_W04 [2/5] IN_W06 [2/5] IN_W08 [3/5]
Ma podstawową wiedzę z zakresu teorii automatów: maszyny Turinga i automatu skończonego oraz rozumie wyrażenia regularne, i potrafi scharakteryzować algorytmy dotyczące sterowania maszyną Turinga i automatu skończonego [W2]
 IN_W01 [2/5] IN_W02 [1/5] IN_W03 [1/5] IN_W08 [1/5]
Ma podstawową wiedzę z zakresu teorii języków formalnych, w tym translacji wyrażeń arytmetycznych i zna algorytmy dotyczące Notacji Polskiej i Odwrotnej Notacji Polskiej [W3]
 IN_W01 [2/5] IN_W03 [2/5] IN_W04 [2/5] IN_W08 [2/5]
Form of teaching Number of hours Methods of conducting classes Assessment of the learning outcomes Learning outcomes
lecture [O1] 20 Formal lecture/ course-related lecture [a01] 
Description [a03] 
Problem-based lecture [b01] 
Lecture-discussion [b02] 
Demonstration-imitation [c06] 
Screen presentation [c07] 
Working with a computer [d01] 
Working with another teaching tool [d03] 
Self-education [f01]  		course work K1 U1 U2 U3 W1 W2 W3
The student's work, apart from participation in classes, includes in particular:
Name Category Description
Literature reading / analysis of source materials [a02] Preparation for classes
reading the literature indicated in the syllabus; reviewing, organizing, analyzing and selecting source materials to be used in class
Consulting materials complementary to those indicated in the syllabus [a04] Preparation for classes
agreeing on materials complementary to those indicated in the syllabus, supporting the implementation of tasks resulting from or necessary for class participation
Getting acquainted with the syllabus content [b01] Consulting the curriculum and the organization of classes
reading through the syllabus and getting acquainted with its content
Studying the literature used in and the materials produced in class [c02] Preparation for verification of learning outcomes
exploring the studied content, inquiring, considering, assimilating, interpreting it, or organizing knowledge obtained from the literature, documentation, instructions, scenarios, etc., used in class as well as from the notes or other materials/artifacts made in class
Undertaking, on one’s own initiative and individually, activities aimed at expanding the scope or depth of the teaching content, also beyond the walls of the University [e01] Activities complementary to the classes
a set of activities undertaken independently and on the student's own initiative, aimed at expanding the depth and scope of knowledge and skills, their revision and repetition, retention or verification, also activities carried outside the university, e.g., in a culture promoting or educational institution, a laboratory, in the open air, etc.; also self-education
Attachments
Module description (PDF)
Information concerning module syllabuses might be changed during studies.
Syllabuses (USOSweb)
Semester Module Language of instruction
(no information given)