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
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.
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).
Understands general rules of computers’ working.
Understand the basic math used in programming.
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.
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 (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: