Javascript must be enabled for the correct page display

Volledigheid en correctheid van MLCM

Engels, A. (1996) Volledigheid en correctheid van MLCM. Master's Thesis / Essay, Mathematics.

[img]
Preview
Text
Math_Drs_1996_AEngels.CV.pdf - Published Version

Download (1MB) | Preview

Abstract

We beginnen deze scriptie met het 'voorstellen' van de logica. In hoofdstuk 3-5 worden syntax, axiomatisering en semantiek van PL behandeld, in hoofdstuk 6-8 gebeurt hetzelfde voor MLCM. Hiema volgt het correctheidsbewijs, eerst voor PL (hoofdstuk 9), dan voor MLCM (hoofdstuk 10). Dit gebeurt door het bewijzen van de correctheid van de axioma's en afieidingsregels afzonderlijk. Hoofdstuk 11 bevat de afleiding van een aantal stellingen, de meeste waarvan worden gebruikt in de correctheidsbewijzen in hoofdstuk 12 (PL) en 13 (MLCM). In hoofdstuk 14 wordt een overzicht gegeven van alle wijzigingen die gedurende de periode die ik aan mijn scriptie besteedde, noodzakelijk dan wel wenselijk bleken, en in hoofdstuk 15 wordt een variant van MLCM behandeld.

Item Type: Thesis (Master's Thesis / Essay)
Degree programme: Mathematics
Thesis type: Master's Thesis / Essay
Language: English
Date Deposited: 15 Feb 2018 07:28
Last Modified: 15 Feb 2018 07:28
URI: http://fse.studenttheses.ub.rug.nl/id/eprint/8565

Actions (login required)

View Item View Item