Pidän syyslukukaudella -98 englannin kielisen luentokurssin aiheesta
Kurssilla kerrataan aluksi luonnollisen p??ttelyn jÃrjestelm?¤, jonka monet ovat jo oppineet logiikan alkeiskurssilla. Sen j¤lkeen tarkastellaan klassisen ja intuitionistisen lause- ja predikaattilogiikan todistusteoriaa ns. sekvenssi-kalkyylin avulla. Se on vaihtoehto luonnolliselle pättelylle, jonka kautta todistusten rakennetta on helpompi tutkia. Kurssin loppupuolella tarkastellaan todistusten rakenneanalyysin sovellutuksia. Kurssi soveltuu logiikan jatkokurssiksi filosofiaan, tai muuksi kurssiksi sopimuksen mukaan. Kurssi soveltuu my¶s perustetutkimuksesta kiinnostuneille matematiikan opiskelijoille, samoin logiikkaohjelmoinnista kiinnostuneille tietojenk¤sittelyn opiskelijoille. Luennot tiistaisin klo 10-12 filosofian laitoksen seminaarihuoneessa, alkaen 15. syyskuuta.
I will give a lecture course in English,