52
muokkausta
Ero sivun ”Matematiikan kurssit” versioiden välillä
→Soveltuvuus: "esitieto" matemaattiseen logiikkaan
(Uutta: syksyllä 2015 Analyysit 5 opin palikoina + etc) |
(→Soveltuvuus: "esitieto" matemaattiseen logiikkaan) |
||
| Rivi 229: | Rivi 229: | ||
=== Soveltuvuus === | === Soveltuvuus === | ||
Nykymatematiikka perustuu logiikkaan. Tietojenkäsittelytiede lähti liikkeelle loogikoiden ajatusleikeistä. Eksakti ajattelu ja formaali esitystapa täytyy hallita, jos haluaa pärjätä tietojenkäsittelytieteen opinnoissa. Esimerkiksi tietokantojen ja ohjelmointikielten teoria sekä perinteinen tekoäly ovat täynnä logiikkaa. Lienee siis varsin luonnollista, että logiikka kuuluu jokaisen käpistelijän yleissivistykseen. | Nykymatematiikka perustuu logiikkaan. Tietojenkäsittelytiede lähti liikkeelle loogikoiden ajatusleikeistä. Eksakti ajattelu ja formaali esitystapa täytyy hallita, jos haluaa pärjätä tietojenkäsittelytieteen opinnoissa. Esimerkiksi tietokantojen ja ohjelmointikielten teoria sekä perinteinen tekoäly ovat täynnä logiikkaa. Lienee siis varsin luonnollista, että logiikka kuuluu jokaisen käpistelijän yleissivistykseen. | ||
Usein suositellaan esitietokurssiksi jos matemaattinen logiikka (esim. samanniminen syventävä kurssi) kiinnostaa enemmänkin (mutta tästä kuulee joskus eriäviä mielipiteitä, joten tiedä häntä; ehkä kuitenkin suositeltavaa käydä tämä ennen kuin marssii maisterivaiheen logiikkaan ellei ole erityisen rohkea olo.) | |||
== Mitta ja integraali == | == Mitta ja integraali == | ||