NWI-IPK001
Introduction to Formal Reasoning
Cursus informatieRooster
CursusNWI-IPK001
Studiepunten (ECTS)6
CategorieB1 (Eerste jaar bachelor)
VoertaalEngels
Aangeboden doorRadboud Universiteit; Faculteit der Natuurwetenschappen, Wiskunde en Informatica; Informatica en Informatiekunde;
Docenten
VorigeVolgende 1
Docent
dr. E.G.M. Hubbers
Overige cursussen docent
Docent
N.M. van der Weide
Overige cursussen docent
Docent
dr. F. Wiedijk
Overige cursussen docent
Examinator
dr. F. Wiedijk
Overige cursussen docent
Coördinator
dr. F. Wiedijk
Overige cursussen docent
Collegejaar2020
Periode
KW1-KW2  (31-08-2020 t/m 24-01-2021)
Aanvangsblok
KW1
Onderwijsvorm
voltijd
Opmerking-
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedure-
Cursusdoelen
After passing this course, you are able to
  • deal with the cognitive style of theoretical computing science;
  • translate natural language into logical formulas and vice versa in propositional logic, predicate logic and modal logic;
  • reason informally about the validity of formulas in models in the three logics mentioned above;
  • understand the terms alphabet, word, and formal language, and apply the basic operations on words and languages properly;
  • associate languages with regular expressions, context-free grammars and finite automata;
  • understand and properly apply basic concepts from graph theory;
  • compute and apply binomial coefficients and Stirling numbers;
  • define functions using recursion;
  • prove statements using the principle of mathematical induction.
Inhoud
This is an introductory course in mathematical logic and theoretical computing science. A lot of important subjects from these fields are briefly introduced. The course consists of three blocks of two chapters each. The first block explains the basic concepts of propositional logic and predicate logic. The second block is about languages and several formal representations of these languages. The two chapters in the third block are not closely related. They introduce some concepts from the field of discrete mathematics and extend the propositional logic to modal logic.

Instructional Modes
  • Lecture
  • Tutorial
  • Self-study
Niveau

Voorkennis
Secondary school mathematics
Toetsinformatie
There are three non-compulsory interim tests and there is a written final exam. The interim tests are only taken into account if the average of these tests is higher than the grade for the final exam. See the website of this course for the exact formula.
Bijzonderheden
This course is a compulsory part in the Artificial Intelligence bachelor. In addition, the course is usually included in the pre-master programs for the Information Science master. This course is a direct preparation for the course "PI004 Logic and Applications".
Verplicht materiaal
Dictaat
The course follows course notes written by Herman Geuvers et al. These course notes are available on the web site as a pdf file.

Werkvormen
Cursusgebeurtenis

Algemeen
Teaching formats:
24 hours lectures;
24 hours tutorial;
5 hours response lectures;
3 hours interim tests
112 hours self study.

The course is divided into six chapters. Every two chapters form a block. For each block there is a non-compulsory test.
A typical lesson of two hours starts with one hour of tutorial, followed by one hour of plenary lecture. If there is an interim test, the two hour lesson starts with one hour of response lecture, followed by a one hour written interim test. See the schedule at the website, because there are some exceptions to this general setup.

Toetsen
Digi-cirrus
Weging1
ToetsvormDigitale toets met CIRRUS
GelegenhedenBlok KW2, Blok KW3

Test 1
Weging0
ToetsvormDigitale toets met CIRRUS
GelegenhedenBlok KW1

Test 2
Weging0
ToetsvormDigitale toets met CIRRUS
GelegenhedenBlok KW1

Test 3
Weging0
ToetsvormDigitale toets met CIRRUS
GelegenhedenBlok KW2

Additional Test
Weging0
ToetsvormDigitale toets met CIRRUS
GelegenhedenBlok KW2