Luento 1:

Johdatus kurssin sisältöön

Propositiologiikkaa

Atomilauseet, konnektiivit, totuusarvot

Luento 2:

Totuustaulut, tautologiat, konnektiivit

Luento 3:

Yhdistetyt lauseet, loogiset piirit

Loogisesta päättelystä

Luento 4:

Loogista päättelyä

Yhdistettyjen lauseiden sievennys, normaalimuodot

Luento 5:

Normaalimuodot

Karnaugh'n kartat

Luento 6:

Boolen algebraa

Joukko-oppia

Luento 7:

Predikaattilogiikkaa

Luento 8:

kvanttorien käyttö

luonnollisen kielen ilmaisut ja päättely

Luento 9:

predikaattilogiikkaa

Relaatio

Kertausta 1. välikokeeseen

Luento 10:

relaatio

Induktio

Luento 11: 1. välikoe

Luento 12:

induktio

Rekursio

Luento 13:

Verkkoteoriaa

terminologiaa

Luento 14:

verkkoja koskevia määritelmiä ja lauseita

Eulerin piiri ja polku

Hamiltonin piiri ja polku

Luento 15::

Lukujärjestelmät

kertaus 2. välikokeeseen