*Conducted in term:*2020Z

*Erasmus code:*11.3

*ISCED code:*0612

*ECTS credits:*2

*Language:*Polish

*Organized by:*Institute of Philosophy

# E-learning computer science prerequisite 3501-KOG-WI-SZK

The aim of this subject is to give students:

- a deeper understanding of the architecture of current computers and their efficient use,

- knowledge of basic notions from discrete mathematics and mathematical logic used in computer science,

- introductory knowledge about grammars and formal languages.

The topics of this course::

1. Presentation of principles and structure of a typical computer.

2. Description of the role and purpose of an operating system.

3. Discussion of numeral systems used in computing and various data representations.

4. Revision of general logical operators used in first-order logic, their semantics and use.

5. Introduction to formal languages and grammars.

## Type of course

## Mode

## Course coordinators

## Learning outcomes

Knowledge

Knows the architecture of current computers (knows the role of CPU, RAM, HDDs/SDDs)

Understands the purpose of operating systems.

Has knowledge about numeral systems, understands how in general data.is stored in a computer’s memory.

Knows semantics of basic logical operators.

Knows definitions of formal languages, grammars, regular and context-free languages.

Skills

Can write numbers with vaious bases.

Can formulate simple logical conditions using operators available in most programming languages.

Can construct regular or context-free grammars for simple languages (of a proper class).

Social competence

Understands general rules of computers’ working.

Understand the basic math used in programming.

## Assessment criteria

Students work with a distant learning platform solving tests from each section of the course. The final grade is given based on points gained from these tests.

## Bibliography

1. Mathematical Logic for Computer Science: Third Edition, Mordechai Ben-Ari, Springer 2012.

2. Introduction to Automata Theory, Languages, and Computation, John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Pearson 2013.

3. Publications (journals, Internet) on current issues in information technology.

## Additional information

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