Section: General | 326.006, VL Formales Modellieren, Wolfgang Schreiner / Carsten Schneider / Wolfgang Windsteiger, 2024S

Upcoming events

There are no upcoming events

Calendar

Monday	Tuesday	Wednesday	Thursday	Friday	Saturday	Sunday
	No events, Tuesday, 1 April No events, Tuesday, 1 April	No events, Wednesday, 2 April No events, Wednesday, 2 April	No events, Thursday, 3 April No events, Thursday, 3 April	No events, Friday, 4 April No events, Friday, 4 April	No events, Saturday, 5 April No events, Saturday, 5 April	No events, Sunday, 6 April No events, Sunday, 6 April
No events, Monday, 7 April No events, Monday, 7 April	No events, Tuesday, 8 April No events, Tuesday, 8 April	No events, Wednesday, 9 April No events, Wednesday, 9 April	No events, Thursday, 10 April No events, Thursday, 10 April	No events, Friday, 11 April No events, Friday, 11 April	No events, Saturday, 12 April No events, Saturday, 12 April	No events, Sunday, 13 April No events, Sunday, 13 April
No events, Monday, 14 April No events, Monday, 14 April	No events, Tuesday, 15 April No events, Tuesday, 15 April	No events, Wednesday, 16 April No events, Wednesday, 16 April	No events, Thursday, 17 April No events, Thursday, 17 April	No events, Friday, 18 April No events, Friday, 18 April	No events, Saturday, 19 April No events, Saturday, 19 April	No events, Sunday, 20 April No events, Sunday, 20 April
No events, Monday, 21 April No events, Monday, 21 April	No events, Tuesday, 22 April No events, Tuesday, 22 April	No events, Wednesday, 23 April No events, Wednesday, 23 April	No events, Thursday, 24 April No events, Thursday, 24 April	No events, Friday, 25 April No events, Friday, 25 April	No events, Saturday, 26 April No events, Saturday, 26 April	No events, Sunday, 27 April No events, Sunday, 27 April
No events, Monday, 28 April No events, Monday, 28 April	No events, Tuesday, 29 April No events, Tuesday, 29 April	No events, Wednesday, 30 April No events, Wednesday, 30 April

JavaScript is disabled in your browser.
Many features of Moodle will be not usable or will appear to be broken.
Please enable JavaScript for the full Moodle experience.

Section outline

Select section General
326.006, Wednesday, 15:30-17:00, Room: S2 044, Start: March 6, 2024 (15:45)
We discuss the formal modeling of mathematical problems that are amenable to algorithms and software from symbolic computation; the models are based on the language of algebra and logic. In this lecture we present particular examples from various application domains. In the accompanying proseminar students are expected to model selected problems and demonstrate their results in the form of small papers and presentations.
- Select activity Announcements
  
  Announcements Forum
- Select activity Discussions
  
  Discussions Forum

Johannes Kepler Universität Linz

Impressum

April 2025

Section outline