Käyttäjän Tilin~fiwiki muokkaukset

9. marraskuuta 2010

• 18.159. marraskuuta 2010 kello 18.15 ero historia +60‎ Tulkinta (logiikka) ‎Ei muokkausyhteenvetoa
• 18.139. marraskuuta 2010 kello 18.13 ero historia +137‎ Malli ‎Ei muokkausyhteenvetoa
• 18.109. marraskuuta 2010 kello 18.10 ero historia +66‎ Antinomia ‎Ei muokkausyhteenvetoa
• 18.099. marraskuuta 2010 kello 18.09 ero historia +25‎ U Ristiriidaton ‎ Ak: Ohjaus sivulle Konsistenssi uusin
• 18.089. marraskuuta 2010 kello 18.08 ero historia +1 623‎ Gödelin epätäydellisyyslause ‎Ei muokkausyhteenvetoa
• 17.579. marraskuuta 2010 kello 17.57 ero historia +566‎ U Toteutuvuus ‎ Ak: Uusi sivu: Teoriaa sanotaan '''toteutuvaksi''' (satisfiable), jos sillä on malli.<ref>[http://www2.it.lut.fi/kurssit/07-08/CT20A2000/luennot/mattilan_luennot.pdf DISKREETIT MALLIT JA MENETE...
• 17.469. marraskuuta 2010 kello 17.46 ero historia +3 391‎ U Looginen seuraus ‎ Ak: Uusi sivu: Lause B on lauseiden A '''looginen seuraus''', mikäli lauseiden A ollessa totta lause B on välttämättä totta. ==Esimerkki== Jos lauseet "Kermit on sammakko" ja "kaikki sammakot ...
• 17.309. marraskuuta 2010 kello 17.30 ero historia +1 248‎ U Tulkinta (logiikka) ‎ Ak: Uusi sivu: Logiikassa '''malli''' tai '''tulkinta''' tarkoittaa usein totuusarvojen ja mahdollisesti merkitystenkin asettamista logiikan symboleille ja lauseille. Jonkin kielen ''...
• 17.039. marraskuuta 2010 kello 17.03 ero historia +5 457‎ U Konsistenssi ‎ Ak: Uusi sivu: Looginen teoria on '''konsistentti''' eli '''ristiriidaton''', jos siitä ei voi johtaa ristiriitaa. Teoria on siis '''ristiriitainen''' (eli epäkonsistentti) jos ja vain jos...
• 16.589. marraskuuta 2010 kello 16.58 ero historia +32‎ U Toisen kertaluvun predikaattilogiikka ‎ Ak: Ohjaus sivulle Predikaattilogiikka uusin
• 16.579. marraskuuta 2010 kello 16.57 ero historia +32‎ U Toisen kertaluvun logiikka ‎ Ak: Ohjaus sivulle Predikaattilogiikka uusin
• 16.289. marraskuuta 2010 kello 16.28 ero historia +25‎ U Konsistentti ‎ Ak: Ohjaus sivulle Konsistenssi uusin
• 16.289. marraskuuta 2010 kello 16.28 ero historia +4‎ Formalismi (matematiikka) ‎Ei muokkausyhteenvetoa

6. marraskuuta 2010

• 13.116. marraskuuta 2010 kello 13.11 ero historia +706‎ Halloween ‎Ei muokkausyhteenvetoa

7. syyskuuta 2010

• 12.147. syyskuuta 2010 kello 12.14 ero historia +285‎ Pyhäinpäivä ‎Ei muokkausyhteenvetoa
• 12.027. syyskuuta 2010 kello 12.02 ero historia +336‎ Halloween ‎Ei muokkausyhteenvetoa

19. heinäkuuta 2010

• 11.2619. heinäkuuta 2010 kello 11.26 ero historia +2 278‎ Unelmatarha ‎Ei muokkausyhteenvetoa

1. toukokuuta 2010

• 12.051. toukokuuta 2010 kello 12.05 ero historia +232‎ Falcão ‎Ei muokkausyhteenvetoa

13. helmikuuta 2007

• 09.1213. helmikuuta 2007 kello 09.12 ero historia −1‎ Rengas (matematiikka) ‎Ei muokkausyhteenvetoa
• 09.1213. helmikuuta 2007 kello 09.12 ero historia +56‎ Osittelulaki ‎Ei muokkausyhteenvetoa
• 09.1013. helmikuuta 2007 kello 09.10 ero historia −76‎ Rengas (matematiikka) ‎Ei muokkausyhteenvetoa
• 09.0713. helmikuuta 2007 kello 09.07 ero historia +12 697‎ Rengas (matematiikka) ‎Ei muokkausyhteenvetoa

19. marraskuuta 2006

• 14.2619. marraskuuta 2006 kello 14.26 ero historia +1 161‎ Wigwam ‎Ei muokkausyhteenvetoa
• 14.1819. marraskuuta 2006 kello 14.18 ero historia +132‎ Tipi (teltta) ‎Ei muokkausyhteenvetoa

15. marraskuuta 2006

• 15.5215. marraskuuta 2006 kello 15.52 ero historia +50‎ Lennart Carleson ‎Ei muokkausyhteenvetoa

12. syyskuuta 2006

• 11.4812. syyskuuta 2006 kello 11.48 ero historia +108‎ Tukivoima ‎Ei muokkausyhteenvetoa
• 09.2712. syyskuuta 2006 kello 09.27 ero historia +889‎ Keskustelu:Painovoima ‎Ei muokkausyhteenvetoa
• 09.2312. syyskuuta 2006 kello 09.23 ero historia +291‎ Painovoima ‎Ei muokkausyhteenvetoa
• 09.1512. syyskuuta 2006 kello 09.15 ero historia +65‎ Keskustelu:Painovoima ‎Ei muokkausyhteenvetoa
• 09.1412. syyskuuta 2006 kello 09.14 ero historia +128‎ Keskustelu:Painovoima ‎Ei muokkausyhteenvetoa

6. tammikuuta 2006

• 13.096. tammikuuta 2006 kello 13.09 ero historia +208‎ Luettelo tutkintonimikkeistä ‎Ei muokkausyhteenvetoa
• 13.036. tammikuuta 2006 kello 13.03 ero historia +4‎ Luettelo tutkintonimikkeistä ‎ →‎Suomalaisten ja yhdysvaltalaisten tutkintojen vastaavuudet
• 13.026. tammikuuta 2006 kello 13.02 ero historia +2 394‎ U Luettelo tutkintonimikkeistä ‎ vaatii parantelua mutta on tällaisenaankin tyhjää parempi
• 12.476. tammikuuta 2006 kello 12.47 ero historia +51‎ Tohtori ‎Ei muokkausyhteenvetoa