Diskreetit rakenteet

(Discrete Structures, 5 cr)

Sisältö

• Virallinen kurssikuvaus
• Alustava sisällönkuvaus
• Aikataulu
• Arvostelu
• Materiaali/kirjallisuus
• WWW-linkkejä
• Käytettävät kääntäjät
• Tietorakennekirjasto
• Harjoitukset
• Tutorointi
• Postituslista
• Harjoitustyöt

• Luennot 32 t, Harjoitukset 16 t
• Osaamistavoitteet: Kurssin käytyään opiskelija osaa loogisen päättelyn perusteet ja osaa käyttää loogisen päättelyn perustyökaluja, totuustauluja, Karnaugh'n karttoja, loogisten lauseiden sieventämisen, päättelysäännöt. Opiskelija osaa joukko-opin perusoperaatiot ja relaation sekä tuntee niiden yhteyden propositiologiikkaan. Opiskelija osaa induktiotodistuksen, tuntee rekursion periaatteet ja lukujärjestelmät. Opiskelija osaa verkkoteorian perusteet.
• Sisältö: Propositiologiikkaa, Karnaugh'n kartat, joukko-oppia, predikaattilogiikkaa, relaatio, induktio, rekursio, verkkoteoriaa, lukujärjestelmät

Kurssin asema

• 1. vuoden syksy
• aineopintojen pakollinen kurssi pääaineopiskelijalle
• Antaa valmiudet Tietokonejärjestelmät ja Tietorakenteet ja algoritmit -kursseille.

- Propositiologiikkaa
	* Atomilauseet, konnektiivit, totuusarvot
	* Totuustaulut, tautologiat, konnektiivit
	* Yhdistetyt lauseet, loogiset piirit
	* Loogisesta päättelystä
	* Yhdistettyjen lauseiden sievennys, normaalimuodot
	* Karnaugh'n kartat
- Boolen algebraa
- Joukko-oppia
- Predikaattilogiikkaa
	* kvanttorien käyttö
	* luonnollisen kielen ilmaisut ja päättely
- Relaatio
- Funktio
- Induktio
- Rekursio
- Verkkoteoriaa
	* terminologiaa
	* verkkoja koskevia määritelmiä ja lauseita
	* Eulerin piiri ja polku
	* Hamiltonin piiri ja polku
- Lukujärjestelmät
- Laskentoa tietojenkäsitteljälle

• Opettaa logiikkaa, loogista ajattelua ja ymmärtämään tietokoneen toimintaa.
• Kerrata riittävä matemaattinen pohja TKJ ja TRA-kursseja varten.

• 24.10. - 13.12.
  ma 12-14 TD106
  ti 10-12 TD106 (6.12. ei luentoa)

• 27.10. -- 15.12.
• Ryhmä 1: to 10-12 T/B179
• Ryhmä 2: to 14-16 T/B179
  • to 8.12. ~13:45 - 14:40.

• Harjoitustehtävien tekemisessä eteentuleviin ongelmiin.
• tarvittaessa ke.

• 1. välikoe ti 22.11. klo 10:00-12:00 salissa M101 (Metria)
  • Tulokset (41kt PNG)
• 2. välikoe ke 14.12. klo 14:00-16:00(-17:00) salissa Au100 (Aurora)
  • Kurssin tulokset (118kt PNG)

• Web-Oodissa

Keskimääräiselle opiskelijalle, keskimääräiseen arvosanaan:

		8
	Viikottain	Yhteensä
Luentoja	4	32
Kertaus	2	16
Harjoitukset	2	16
Valmistautuminen	7	56
Tentit		4
Valmistautuminen		9
Yhteensä(t)	16,63	133
Yhteensä(op)		4,99
26,67

Kuormittavuus vaihtelee viikosta toiseen ja opiskelijasta toiseen. Erinomaiseen arvosanaan voi tarvita enemmän työtä.

• Välikokeet. 1/3 harjoitustehtävistä tehtävä, harjoitusbonuksia 1/3 ylittävältä osalta.

• Luentomateriaali verkossa
  2011 -version nykytila (PDF) (12.12.: pääosin valmista)
• (2007 -versio osa 1 , osa 2)
• Haggarty R.: Discrete Mathematics for Computing
• Grassmann W. K., Tremblay J.-P.: Logic and Discrete Mathematics - A Computer Science Perspective
• Esimerkkejä

• Logic in Action
• JOHDATUS KORKEAKOULUMATEMATIIKKAAN (TTKK)
• DR kurssisivu jossa on-line tehtäviä

• Harjoitus 1 (27.10.) (195kt PDF)
• Harjoitus 2 (3.11.) (54kt PDF)
• Harjoitus 3 (10.11.) (55kt PDF)
• Harjoitus 4 (17.11.) (97kt PDF)
• Harjoitus 5 (24.11.) (102kt PDF)
• Harjoitus 6 (1.12.) (129kt PDF)
• Harjoitus 7 (8.12.) (132kt PDF)
• Harjoitus 8 (15.12.) (87kt PDF)