[ TM1PGKVLOGA ] KV Logic as a working language
|
|
|
| Es ist eine neuere Version 2025W dieser LV im Curriculum Bachelor's programme Technical Mathematics 2025W vorhanden. |
|
| (*) Unfortunately this information is not available in english. |
 |
| Workload |
Education level |
Study areas |
Responsible person |
Hours per week |
Coordinating university |
| 3 ECTS |
B1 - Bachelor's programme 1. year |
Mathematics |
Wolfgang Windsteiger |
2 hpw |
Johannes Kepler University Linz |
|
|
|
| Detailed information |
| Original study plan |
Bachelor's programme Technical Mathematics 2012W |
| Objectives |
Students of Logic as a Working Language will be able to:
- use the language of mathematics appropriately,
- define mathematical concepts correctly, and
- apply elementary mathematical proof techniques.
|
| Subject |
Concrete topics are:
- syntax of predicate logic,
- explicit and implicit definitions,
- elementary proof rules for predicate logic,
- elementary set theory,
- induction proofs and variants thereof, and
- case studies.
|
| Criteria for evaluation |
Exercises during the semester, exam, oral discussion of the exam.
|
| Methods |
Lecture, exercises.
Teaching method flipped classroom (video study with presence units for discussion, exercises, etc.)
|
| Language |
German |
| Study material |
Lecture notes
Presentation slides
Videos
|
| Changing subject? |
No |
|
|
|
| On-site course |
| Maximum number of participants |
- |
| Assignment procedure |
Direct assignment |
|
