WP-laskennan oikeellisuus ja täydellisyys

QR-koodi

WP-laskennan oikeellisuus ja täydellisyys

https://jyx.jyu.fi/handle/123456789/12482

http://www.urn.fi/URN:NBN:fi:jyu-2003911140

G0000288.pdf (Jyväskylän yliopisto - JYX)

Pro gradu

Vuorenmaa, Antti ; Informaatioteknologian tiedekunta ; Faculty of Information Technology ; Tietotekniikan laitos ; Department of Mathematical Information Technology ; University of Jyväskylä ; Jyväskylän yliopisto ; Tietotekniikka ; Mathematical Information Technology ; 602

2003

Näytä muut versiot (1)

Tallennettuna:

Kieli

suomi

Aiheet

aksiomaattinen semantiikka

Hoaren logiikka

heikoimman esiehdon semantiikka

matemaattinen logiikka

Muut versiot (1)

Henkilökuntanäyttö