Sivun ”Predikaattilogiikka” muutoshistoria

Näytä tämän sivun lokit (näytä väärinkäyttöloki)

Suodata versioitaLaajennaTiivistä

Päättymispäivä:

Merkkausten suodatin:

Käänteinen valinta

Työkalut: Hae tekstin lisääjää · Sivun lataustilasto · Muokkaajat · Tarkkailijoiden lukumäärä · Arviointiloki · Päivitä sivu

Merkinnät: (nyk.) = eroavaisuudet nykyiseen versioon, (edell.) = eroavaisuudet edelliseen versioon, p = pieni muutos

nyk.edell. 10.0323. maaliskuuta 2020 kello 10.03‎ Ipr1 keskustelu muokkaukset‎ 9 253 tavua −21‎ Ei muokkausyhteenvetoa kumoa [automaattisesti katsottu]

nyk.edell. 08.563. syyskuuta 2019 kello 08.56‎ Putsari keskustelu muokkaukset‎ 9 274 tavua +188‎ kirjallisuutta kumoa [automaattisesti katsottu]

nyk.edell. 07.486. heinäkuuta 2019 kello 07.48‎ Putsari keskustelu muokkaukset‎ 9 086 tavua +259‎ päivitys kumoa [automaattisesti katsottu]

nyk.edell. 22.448. joulukuuta 2018 kello 22.44‎ Texvc2LaTeXBot keskustelu muokkaukset‎ p 8 827 tavua +5‎ Botti päivitti vanhentuneen matemaattisen syntaksin; ks. mw:Extension:Math/Roadmap kumoa [katsonut Wgn]

nyk.edell. 14.5818. joulukuuta 2016 kello 14.58‎ Xyzäö keskustelu muokkaukset‎ 8 822 tavua +3‎ Ei muokkausyhteenvetoa kumoa

nyk.edell. 18.2422. syyskuuta 2015 kello 18.24‎ 85.76.77.3 keskustelu‎ 8 819 tavua +3‎ 0 ei ole positiivinen eikä negatiivinen. kumoa Merkkaus: Visuaalinen muokkaus

nyk.edell. 20.184. elokuuta 2013 kello 20.18‎ Palosirkka keskustelu muokkaukset‎ p 8 816 tavua −6‎ kh kumoa

nyk.edell. 02.575. huhtikuuta 2013 kello 02.57‎ 80.221.34.220 keskustelu‎ 8 822 tavua +2‎ →‎Todistusteoria kumoa

nyk.edell. 06.058. maaliskuuta 2013 kello 06.05‎ Addbot keskustelu muokkaukset‎ p 8 820 tavua −541‎ Botti poisti 20 Wikidatan sivulle d:q35148 siirrettyä kielilinkkiä kumoa

nyk.edell. 12.4821. heinäkuuta 2012 kello 12.48‎ EmausBot keskustelu muokkaukset‎ p 9 361 tavua +28‎ r2.7.3) (Botti lisäsi: ca:Lògica de predicats kumoa

nyk.edell. 16.112. heinäkuuta 2012 kello 16.11‎ MerlIwBot keskustelu muokkaukset‎ p 9 333 tavua +29‎ Botti lisäsi: pt:Lógica de predicados kumoa

nyk.edell. 00.1311. tammikuuta 2012 kello 00.13‎ WikitanvirBot keskustelu muokkaukset‎ p 9 304 tavua +24‎ r2.7.1) (Botti lisäsi: eo:Predikata logiko kumoa

nyk.edell. 06.2430. syyskuuta 2011 kello 06.24‎ KamikazeBot keskustelu muokkaukset‎ p 9 280 tavua +21‎ r2.7.1) (Botti lisäsi: ko:술어 논리 kumoa

nyk.edell. 12.0216. syyskuuta 2011 kello 12.02‎ JAnDbot keskustelu muokkaukset‎ p 9 259 tavua −421‎ r2.5.2) (Botti poisti: ar, es, he, id, it, ko, pl, pt, ru, sr, uk muokkasi: fa, zh kumoa

nyk.edell. 22.2223. kesäkuuta 2011 kello 22.22‎ MerlIwBot keskustelu muokkaukset‎ p 9 680 tavua +415‎ Botti lisäsi: pt:Lógica de primeira ordem,id:Logika predikat tingkat pertama,pl:Rachunek predykatów pierwszego rzędu,ru:Логика первого порядка,he:שפה מסדר ראשון,ko,es,sr,uk,ar,it kumoa

nyk.edell. 23.1328. syyskuuta 2010 kello 23.13‎ Simo Kaupinmäki keskustelu muokkaukset‎ p 9 265 tavua +20‎ w kumoa

nyk.edell. 09.0925. syyskuuta 2010 kello 09.09‎ 91.156.53.160 keskustelu‎ 9 245 tavua +28‎ →‎Luonnollinen päättely kumoa

nyk.edell. 11.344. toukokuuta 2010 kello 11.34‎ JAnDbot keskustelu muokkaukset‎ p 9 217 tavua −29‎ Botti lisäsi: et:Predikaatloogika poisti: he:שפה מסדר ראשון, ko:1차 논리 kumoa

nyk.edell. 16.2824. marraskuuta 2008 kello 16.28‎ Tomisti keskustelu muokkaukset‎ p 9 246 tavua +22‎ W kumoa
nyk.edell. 13.5724. marraskuuta 2008 kello 13.57‎ Tomisti keskustelu muokkaukset‎ p 9 224 tavua +96‎ W kumoa

nyk.edell. 14.0022. marraskuuta 2008 kello 14.00‎ Harriv keskustelu muokkaukset‎ 9 128 tavua −30‎ →‎Predikaattilogiikka ja ohjelmointi kumoa

nyk.edell. 23.5021. marraskuuta 2008 kello 23.50‎ ErkkiLaitila keskustelu muokkaukset‎ 9 158 tavua +255‎ Ei muokkausyhteenvetoa kumoa

nyk.edell. 14.252. marraskuuta 2008 kello 14.25‎ Robbot keskustelu muokkaukset‎ p 8 903 tavua −33‎ Botti poisti: sr:Исказни рачун kumoa

nyk.edell. 11.268. lokakuuta 2008 kello 11.26‎ JAnDbot keskustelu muokkaukset‎ p 8 936 tavua −191‎ Botti poisti: es, it, pl, pt, ru kumoa

nyk.edell. 19.4119. kesäkuuta 2008 kello 19.41‎ Thijs!bot keskustelu muokkaukset‎ p 9 127 tavua +434‎ Botti lisäsi: af, el, es, fa, fr, it, ja, ko, mk, nl, pt, simple, sk, sr muokkasi: en, he, pl, zh kumoa

nyk.edell. 22.1813. marraskuuta 2007 kello 22.18‎ JannE keskustelu muokkaukset‎ p 8 693 tavua +1‎ typo kumoa

nyk.edell. 13.2519. huhtikuuta 2007 kello 13.25‎ Ville Nurmi keskustelu muokkaukset‎ 8 692 tavua +35‎ →‎Luonnollinen päättely: x on muuttuja eikä oletus kumoa

nyk.edell. 19.481. tammikuuta 2007 kello 19.48‎ Tomisti keskustelu muokkaukset‎ p 8 657 tavua +17‎ Otsikkotasot kumoa

nyk.edell. 21.0430. lokakuuta 2006 kello 21.04‎ Ihe keskustelu muokkaukset‎ 8 640 tavua +644‎ →‎Semantiikka kumoa

nyk.edell. 15.2126. lokakuuta 2006 kello 15.21‎ Anr keskustelu muokkaukset‎ p 7 996 tavua −205‎ →‎Aakkosto: taulukko wikimuotoon. typo. kumoa

nyk.edell. 02.3124. syyskuuta 2006 kello 02.31‎ Thi keskustelu muokkaukset‎ p 8 201 tavua +344‎ Kirjallisuutta kumoa

nyk.edell. 11.4616. tammikuuta 2006 kello 11.46‎ Srz keskustelu muokkaukset‎ 6 014 tavua +8‎ Ei muokkausyhteenvetoa kumoa

nyk.edell. 15.3214. tammikuuta 2006 kello 15.32‎ Srz keskustelu muokkaukset‎ 6 006 tavua +297‎ Ei muokkausyhteenvetoa kumoa
nyk.edell. 15.2914. tammikuuta 2006 kello 15.29‎ Srz keskustelu muokkaukset‎ 5 709 tavua +380‎ Ei muokkausyhteenvetoa kumoa
nyk.edell. 15.0214. tammikuuta 2006 kello 15.02‎ Srz keskustelu muokkaukset‎ 5 329 tavua +36‎ →‎Predikaattilogiikan syntaksi kumoa

nyk.edell. 22.5712. joulukuuta 2005 kello 22.57‎ H-Bot~fiwiki keskustelu muokkaukset‎ p 5 293 tavua +2‎ Botti korjasi HTML:ää kumoa

Noudettu kohteesta ”https://fi.wikipedia.org/wiki/Predikaattilogiikka”