Study guide of JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
DE
[
EN
]
.
Studienhandbuch-Login
User ID
Password
.
Menü
Overview
All curricula
External tools
KUSSS
Auwea NG
Positionsanzeige
Computer Science
»
Theory
Inhalt
[
521THEOLOGU13
]
UE
Logic
Versionsauswahl
Version
2024W
2021W
2021S
2017S
2013W
Es ist eine neuere Version
2024W
dieser LV im Curriculum Bachelor's programme Artificial Intelligence 2024W vorhanden.
Workload
Education level
Study areas
Responsible person
Hours per week
Coordinating university
1,5 ECTS
B1 - Bachelor's programme 1. year
Mathematics
Armin Biere
1 hpw
Johannes Kepler University Linz
Detailed information
Original study plan
Bachelor's programme Computer Science 2017S
Objectives
Consolidation and practical application of the lecture's contents.
Subject
See the lecture
Criteria for evaluation
tests and lab exercises
Language
English
Changing subject?
No
Further information
http://fmv.jku.at/logik/
On-site course
Maximum number of participants
35
Assignment procedure
Direct assignment