Odota...
Wait...
Korppi-järjestelmän toimintoja Korppi

15.0.1

Kirjaudu sisään järjestelmään!
15.10.2019 20:46

TIE0329 Automaattinen päättely, 4 op, Lectured in English [kotisivu]

Tietotekniikan laitos

Tiedotus:
Kurssille ei voida ilmoittautua, koska se on jo vanhennettu.
Kurssin ilmoittautumisaika päättyi 6.4.04 klo 23:00.
Tiedotus:
Kurssille ilmoittautuneet järjestetään ilmoittautumisjärjestyksen mukaan. Lisätietoja jonotuksesta.

Yleisiä tietoja

Kotisivu: http://www.mit.jyu.fi/antkaij/opetus/ap/2004/
Alkaa - päättyy: 2.3.04 - 16.4.04
Ilmoittautumisaika: 1.9.03 klo 0:00 - 6.4.04 klo 23:00
Opettaja(t): Antti-Juhani Kaijanaho (antti-juhani.kaijanaho@jyu.fi)
Laajuus: 4 op
Kielet: opetuskielet: suomi; suorituskielet: suomi
Ilmoittautuneita: 35
Maksimi osallistujamäärä: 60 (Jonotuskäytännöstä johtuen kurssille voidaan ilmoittautua, vaikka maksimi osallistujamäärä ylittyisikin.);
Organisaatiot:Tietotekniikan laitos (TTL)
Ajankohtaista:Kurssi luennoidaan englanniksi.
Sisältö:Normaalimuodot, unifiointi, resoluutio, puut (tableaux), päättely yhtäsuuruusteorioissa, automaattinen päättely korkean asteen logiikassa.
Esitiedot:Automatit ja kieliopit sekä joko MAT223 Logiikka (2 ov) tai FILA31 Logiikka 1. Suositellaan lisäksi kurssia Funktio-ohjelmointi.
Opetusmuodot:Luennot, harjoitukset
Suoritustavat:Tentti
Aikataulu:Luennot 20h viikoilla 10-15, ti 14-16 ja pe 10-12 salissa Ag Beeta
Kirjallisuus:Fitting: First-Order Logic and Automated Theorem Proving (Second Edition). Wos ym.: Automated reasoning - introduction and applications. Robinson & Voronkov (toim.): Handbook of automated reasoning. Loveland: Automated theorem proving: a logical basis.

[Tiivistä opetusryhmien aika- ja paikkatiedot]

Luento [ryhmien tarkat tiedot ja ilmoittautuminen]

TIE329 Lectures (spring 2004) [ryhmätiedot ja ilmoittautuminen]; ilmoittautuneita 35, maksimi 40
ilm.aika: 1.9.2003 00:00 - 6.4.2004 23:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1Ag Beeta10ti2.3.200414:00-16:00KaijanahoSyllabus. Introduction. Tapahtuman tiedot
2Ag Beeta10pe5.3.200410:00-12:00KaijanahoFormal logic. Representation of logic as data in programs.Tapahtuman tiedot
3Ag Beeta11ti9.3.200414:00-16:00KaijanahoFormal logic.Tapahtuman tiedot
4Ag Beeta11pe12.3.200410:00-12:00KaijanahoThe sentential language. Truth tables.Tapahtuman tiedot
5Ag Beeta12ti16.3.200414:00-16:00KaijanahoUniform notation, sentential case. Sentential tableaux.Tapahtuman tiedot
6Ag Beeta12pe19.3.200410:00-12:00KaijanahoGround (dual) clauses. Davis-Putnam procedure.Tapahtuman tiedot
7Ag Beeta13ti23.3.200414:00-16:00KaijanahoQuestions from the students. Skolemization.Tapahtuman tiedot
8Ag Beeta14ti30.3.200414:00-16:00KaijanahoHerbrand's theoremTapahtuman tiedot
9Ag Beeta14pe2.4.200410:00-12:00KaijanahoUnification. Free-variable tableaux.Tapahtuman tiedot
10Ag C23416pe16.4.200410:00-12:00KaijanahoA Peek Beyond the BasicsURITapahtuman tiedot

Harjoitusryhmä [ryhmien tarkat tiedot ja ilmoittautuminen]

Demo [ryhmätiedot ja ilmoittautuminen]; ilmoittautuneita 10, maksimi 80
ilm.aika: 1.9.2003 00:00 - 6.4.2004 23:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1Ag Alfa11ke10.3.200414:00-16:00KaijanahoURITapahtuman tiedot
2Ag Alfa12ke17.3.200414:00-16:00KaijanahoURITapahtuman tiedot
3Ag Alfa13ke24.3.200414:00-16:00KaijanahoTapahtuman tiedot
4Ag Alfa14ke31.3.200414:00-16:00KaijanahoTapahtuman tiedot
5Ag Alfa15ke7.4.200414:00-16:00KaijanahoTapahtuman tiedot