De juiste logica voor een informaticatoepassing
Promotie Logica
donderdag 24 februari 12.00 uur
Een logica is een formele taal waarin wiskundige structuren beschreven kunnen worden. In de informatica worden logica s onder meer gebruikt als taal voor het opschrijven van specificaties waaraan computerprogramma s moeten voldoen, of als taal waarmee databases kunnen worden bevraagd. De meeste logica s die gebruikt worden in de informatica zijn uitbreidingen van modale logica. Welke logica precies gebruikt wordt verschilt per toepassing. Balder ten Cate onderzocht eigenschappen van verschillende logica s, zoals expressiviteit, complexiteit en modulariteit. Hij laat niet alleen een reeks eigenschappen van specifieke logica s zien, maar stelt ook structurele verbanden vast tussen eigenschappen van logica s. Zo toont hij bijvoorbeeld aan dat elke logica met een bepaald minimum aan expressiviteit óf geen volledige modulariteit toestaat, óf onbeslisbaar is (een logica is onbeslisbaar als er geen algoritme bestaat om te bepalen of twee beweringen in die logica equivalent zijn). De resultaten van het onderzoek kunnen informatici helpen bij het kiezen van de juiste logica voor een beoogde toepassing.
B.D. ten Cate: Model theory for extended modal languages. Promotoren zijn prof. dr. J.A.G. Groenendijk en prof. dr. J.F.A.K. van Benthem.
Meer informatie over de items in deze agenda kunt u krijgen bij de afdeling Persvoorlichting, tel. 020 - 525 2695, e-mail:
Universiteit van Amsterdam