Section: Logical Models of Problems and Computations | 326.006, VL Formales Modellieren, Wolfgang Schreiner / Josef Schicho / Wolfgang Windsteiger, 2019S

Calendar

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

Upcoming events

There are no upcoming events

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 activity We discuss the logical specification of computatio...
  
  We discuss the logical specification of computational problems and the logical modeling of computational systems. Problems are analyzed with respect to various criteria (adequacy, satisfiability, non-triviality, uniqueness of results), systems are analyzed with respect to safety properties. For this we apply logical modeling and checking tools such as RISCAL and the TLA Toolbox. In particular, we will consider:
  Basic problems in computer science, mathematics, and logic.
  Discrete search and planning problems.
  Control systems.
- Select activity Theory and Software
  
  Theory and Software File
- Select activity Case Studies
  
  Case Studies File
- Select activity RISCAL Models
  
  RISCAL Models File
- Select activity Assignment 2 (June 5)
  
  Assignment 2 (June 5)

Johannes Kepler Universität Linz

Impressum

July 2025

Section outline