Recent changes

Jump to: navigation, search

Track the most recent changes to the wiki on this page.

Recent changes options
Legend:
N
This edit created a new page (also see list of new pages)
m
This is a minor edit
b
This edit was performed by a bot
(±123)
The page size changed by this number of bytes
Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 00:13, 24 April 2019
   

23 April 2019

     19:52  Axiom by comprehension (Q73)‎ (diff | hist) . . (+4). . Admin (talk | contribs) (‎Changed claim: article (P3): Aksiom u teoriji skupova prema kojemu za svaki predikat $P$ postoji skup svih i samo onih predmeta koji zadovoljavaju $P$. Naivna, nedovoljno određena upotreba ovog aksioma izazivala je paradokse u te...)
     19:50  A proposition (Q41)‎ (diff | hist) . . (+82). . Admin (talk | contribs) (‎Added [hr] alias: A propozicija)
     19:48 (User rights log) . . Admin (talk | contribs) changed group membership for Tamara from (none) to administrator ‎
     19:45 (User creation log) . . User account Tamara (talk | contribs) was created by Admin (talk | contribs)

22 April 2019

     11:52  Equivalence classes (Q563)‎ (diff | hist) . . (-3). . Davor (talk | contribs) (‎Changed claim: example (P4): Imamo skup prirodnih brojeva S = $\{15, 24, 33, 35, 44, 62, 72\}$ i relaciju ekvivalencije $\rho$, takvu da $x\rho y$ daje jednaki prirodni broj pri zbrajanju jedinične i desetične znamenke brojeva u...)
     11:50  Classification (Q190)‎ (diff | hist) . . (+96). . Davor (talk | contribs) (‎Added link to [enwiki]: Classification)
     11:49  Iota operator (Q480)‎ (diff | hist) . . (+4). . Davor (talk | contribs) (‎Changed claim: article (P3): Operator za (eliptično) označavanje određenih opisa, tj. pojam koji reprezentira neki jedinstveni predmet, npr. uz svojstvo S piše se kao $(\iota x)Sx$ i čita kao "točno onaj x koji je S" čime s...)
     11:47  Dyadic relation (Q487)‎ (diff | hist) . . (0). . Davor (talk | contribs) (‎Setting [en] alias: Binary relation)
     11:47  Aleph (Q60)‎ (diff | hist) . . (0). . Davor (talk | contribs) (‎Changed claim: article (P3): Niz brojeva koji označava kardinalnost beskonačnih skupova koji mogu biti dobro uređeni. $\aleph_0$ označava kardinalnost skupa prirodnih brojeva, $\aleph_1$ skupa realnih brojeva (skupa svih podsk...)

20 April 2019

     13:19  Consistency (Q211)‎‎ (2 changes | history) . . (+1,253). . [Davor‎ (2×)]
      13:19 (cur | prev) . . (+832). . Davor (talk | contribs) (‎Created claim: Related concept (P22): Decidability (Q442))
      12:52 (cur | prev) . . (+421). . Davor (talk | contribs) (‎Changed claim: Related concept (P22): Completeness (Q265))

19 April 2019

     22:58  (Q171)‎‎ (2 changes | history) . . (-246). . [Davor‎ (2×)]
      22:58 (cur | prev) . . (-98). . Davor (talk | contribs) (‎Redirected to Q287)
      22:58 (cur | prev) . . (-148). . Davor (talk | contribs) (‎Merged item into Q287)
     22:57  (Deletion log). . [Davor‎ (3×)]
      22:57 . . Davor (talk | contribs) deleted page Item:Q437(sadržaj je bio: »«; jedini pridonositelj bio je Anamarija (razgovor))
      22:55 . . Davor (talk | contribs) deleted page Item:Q417(sadržaj je bio: »«; jedini pridonositelj bio je Anamarija (razgovor))
      22:51 . . Davor (talk | contribs) deleted page Item:Q148(sadržaj je bio: '')
     22:57  Inclusive disjunction (Q134)‎ (diff | hist) . . (+417). . Davor (talk | contribs) (‎Created claim: belongs to classification (P27): Modern symbolic logic (Q508))
     22:56  Identity of indiscernibles (Q157)‎‎ (2 changes | history) . . (+525). . [Davor‎ (2×)]
      22:56 (cur | prev) . . (+417). . Davor (talk | contribs) (‎Created claim: belongs to classification (P27): Philosophical logic (Q589))
      22:55 (cur | prev) . . (+108). . Davor (talk | contribs) (‎Added link to [enwiki]: Identity of indiscernibles)
     22:55  Continuum hypothesis (Q153)‎ (diff | hist) . . (+102). . Davor (talk | contribs) (‎Added link to [enwiki]: Continuum hypothesis)
     22:54  Henkin's completeness theorem (Q151)‎‎ (2 changes | history) . . (+818). . [Davor‎ (2×)]
      22:54 (cur | prev) . . (+401). . Davor (talk | contribs) (‎Created claim: Related concept (P22): Second-order logic (Q219))
      22:54 (cur | prev) . . (+417). . Davor (talk | contribs) (‎Created claim: Related concept (P22): Completeness (Q265))
     22:53  Halting problem (Q406)‎‎ (4 changes | history) . . (+606). . [Davor‎ (4×)]
      22:53 (cur | prev) . . (+415). . Davor (talk | contribs) (‎Created claim: Related concept (P22): Church's theorem (Q90))
      22:53 (cur | prev) . . (+14). . Davor (talk | contribs) (‎Changed claim: article (P3): Pitanje je postoji li univerzalan Turingov stroj koji će za svaki specifičan Turingov stroj reći hoće li se ovaj u nekom koraku zaustaviti ili će izračunavati zauvijek. Church i Turing dokazali s...)
      22:52 (cur | prev) . . (+97). . Davor (talk | contribs) (‎Added link to [enwiki]: Halting problem)
      22:51 (cur | prev) . . (+80). . Davor (talk | contribs) (‎Added [hr] label: Problem zaustavljanja)
     22:50  Arithmetization of syntax (Q81)‎‎ (4 changes | history) . . (+763). . [Davor‎ (4×)]
      22:50 (cur | prev) . . (+416). . Davor (talk | contribs) (‎Created claim: Related concept (P22): Gödel's incompleteness theorems (Q149))
      22:50 (cur | prev) . . (+43). . Davor (talk | contribs) (‎Changed claim: article (P3): Naziv za uparivanje svake jedinice nekog formalnog sustava sa jednim iz rastućeg niza prirodnih brojeva. Važan dio Goedelovog dokaza nepotpunosti.)
      22:49 (cur | prev) . . (-446). . Davor (talk | contribs) (‎Removed claim: article (P3): Gödelova metoda pripisivanja prirodnih brojeva elementima formalnih sistema u svrhu istraživanja sintakse tih formalnih sustava.)
      22:49 (cur | prev) . . (+750). . Davor (talk | contribs) (‎Merged item from Q150)
     22:49  (Q150)‎‎ (4 changes | history) . . (-1,108). . [Davor‎ (4×)]
      22:49 (cur | prev) . . (-99). . Davor (talk | contribs) (‎Redirected to Q81)
      22:49 (cur | prev) . . (-1,178). . Davor (talk | contribs) (‎Merged item into Q81)
      22:48 (cur | prev) . . (+167). . Davor (talk | contribs) (‎Added [hr] aliases: Gödelovo numeriranje, Goedelovo prebrojavanje)
      22:48 (cur | prev) . . (+2). . Davor (talk | contribs) (‎Changed [hr] label: Gödelovo prebrojavanje)
     22:46  Ekstension of classical logic. (Q505)‎‎ (2 changes | history) . . (+518). . [Davor‎ (2×)]
      22:46 (cur | prev) . . (+101). . Davor (talk | contribs) (‎Added link to [enwiki]: Non-classical logic)
      22:46 (cur | prev) . . (+417). . Davor (talk | contribs) (‎Created claim: Narrower concept (P21): Modal logic (Q463))
     22:45  Number theory (Q130)‎‎ (5 changes | history) . . (+479). . [Davor‎ (5×)]
      22:45 (cur | prev) . . (+417). . Davor (talk | contribs) (‎Created claim: belongs to classification (P27): Modern symbolic logic (Q508))
      22:44 (cur | prev) . . (-11). . Davor (talk | contribs) (‎Changed [en] label: Number theory)
      22:44 (cur | prev) . . (-12). . Davor (talk | contribs) (‎Changed [hr] label: Teorija brojeva)
      22:44 (cur | prev) . . (-10). . Davor (talk | contribs) (‎Changed claim: article (P3): Dio čiste matematike posvećen proučavanju cijelih brojeva.)
      22:42 (cur | prev) . . (+95). . Davor (talk | contribs) (‎Added link to [enwiki]: Number theory)
     22:41  Epistemic logic (Q491)‎‎ (5 changes | history) . . (+1,447). . [Davor‎ (5×)]
      22:41 (cur | prev) . . (+417). . Davor (talk | contribs) (‎Created claim: belongs to classification (P27): Ekstension of classical logic. (Q505))
      22:41 (cur | prev) . . (+417). . Davor (talk | contribs) (‎Created claim: Broader concept (P20): Modal logic (Q463))
      22:41 (cur | prev) . . (+432). . Davor (talk | contribs) (‎Created claim: article (P3): Vrsta moderne logike namijenjena zaključivanju o epistemičkim pojmovima poput znanja i vjerovanja.)
      22:40 (cur | prev) . . (+78). . Davor (talk | contribs) (‎Added [hr] label: Epistemička logika)
      22:40 (cur | prev) . . (+103). . Davor (talk | contribs) (‎Added link to [enwiki]: Epistemic modal logic)

18 April 2019

     23:39  Truth-value assignment (Q568)‎‎ (2 changes | history) . . (+818). . [Davor‎ (2×)]
      23:39 (cur | prev) . . (+417). . Davor (talk | contribs) (‎Created claim: Related concept (P22): Variable assignment (Q579))
      23:39 (cur | prev) . . (+401). . Davor (talk | contribs) (‎Created claim: Broader concept (P20): Interpretation (of a formula) (Q483))
     23:39  Variable assignment (Q579)‎‎ (2 changes | history) . . (+818). . [Davor‎ (2×)]
      23:39 (cur | prev) . . (+417). . Davor (talk | contribs) (‎Created claim: Related concept (P22): Variable (Q384))
      23:38 (cur | prev) . . (+401). . Davor (talk | contribs) (‎Created claim: Broader concept (P20): Interpretation (of a formula) (Q483))