Sirvi Märksõna "loogika" järgi
Nüüd näidatakse 1 - 20 51
- Tulemused lehekülje kohta
- Sorteerimisvalikud
listelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Biur milot ha-hegayon(Berlin : Kohen, 1928) Maimonides, Moseslistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , De Aristotelis Politeias Athenaion partis alterius fonte et auctoritate(Jurjew : C. Mattiesen, 1897) Bursy, Bernhardlistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Eesti NSV entsüklopeedia märksõnastik. projekt(1964) Koemets, E., koostajalistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Formaalse loogika ehk õige mõtlemise alused(Tartu Ülikool, 1992) Vuks, Galinalistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Huvitav loogika(1970) Kolman, Arnoštlistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Implementing and Testing a Simple Algorithm for Consistent Query Answering(Tartu Ülikool, 2025) Kimst, Mattias; Hannula, Miika Juhani, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituutTo address inconsistencies in databases, data cleaning is commonly used; however, it can be complex or may result in the loss of some data. As an alternative, the consistent query answering (CQA) paradigm has been developed to provide consistent query results without altering the database. In this thesis, an algorithm for CQA for primary key violations and conjunctive queries is implemented in the Java programming language and its performance is evaluated on synthetically generated data. Additionally, the database purification technique is tested as an option to enhance the algorithm’s performance. The results indicate that purification significantly improves performance. However, regardless of the use of purification, the algorithm’s runtime increases rapidly as the database size grows.listelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , In Defence of Logical Omniscience(Tartu Ülikool, 2016) Lõbus, Indrek; Cohnitz, Daniel, juhendaja; Estrada González, Luis, juhendaja; Tartu Ülikool. Filosoofiateaduskond; Tartu Ülikool. Filosoofia osakondThe most controversial consequence of Robert Stalnaker’s (1984) theory of propositional attitudes is that subjects of propositional attitudes are logically omniscient. What makes this consequence problematic is that it seems to conflict with the fact that subjects of propositional attitudes are also deductive reasoners. Stalnaker’s solution to this problem consists in two complementary theories. According to the metalinguistic theory, deductive information is metalinguistic, and according to the integration theory, deductive reasoning proceeds via integration of dispositions to act. In my thesis I will defend Stalnaker’s solution against two arguments, namely the translation argument (Moore 1995, Nuffer 2009) and the argument from logical oversight (Moore 1995, Jago 2014). In my responses I will rely on a Tractarian distinction between signs and symbols, showing that it brings out a similar flaw in both arguments. The flaw in the first is the assumption that the same sentence cannot be written in two different languages, and the flaw in the second is the assumption that two different logical connectives cannot be written in the same way. In my response to the first of these arguments, I will also develop a variation of Stalnaker’s metalinguistic theory that accounts for the sign/symbol distinction.listelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Informaalne loogika kui täiendav võimalus seaduseelnõu põhjendamisel Eesti õigusloomes(Tartu Ülikool, 2015) Tigane, Gerly; Kasak, Enn, juhendaja; Kingisepp, Margus, juhendaja; Liventaal, Jüri, juhendaja; Tartu Ülikool. Õigusteaduskondlistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , K. Morgenstern's Handschriften-Sammlung(Tartu, 1899) Anonymouslistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Keel ja loogika : avec un résumé: [Le langage et la logique](1932) Koort, Alfredlistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Koort, Alfred. Isikuarhiiv(Tartu, 1986) Tartu Ülikooli Raamatukogu; Koort, Alfred, arhiivimoodustajalistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Leitfaden der Logik(Dorpat : Druck von "H. Laakmann", 1932) Pantenius, Heinrich Theodorlistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Lihtne kategooriline süllogism : katseline programm-õpimaterjal(Tartu Riiklik Ülikool, 1968) Toim, Kalju, koostajalistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Logicæ Systema Continens Necessaria præcepta fere omnia : tàm tyronibus quàm doctioribus in quocuncq[ue] disciplinarum & disputationum genere versantibus accommodatum: & exemplis plurimis Theologicis ac Philosophicis illustratum(Rigae Livonum : Excudebat Nicolaus Mollinus, 1620) Samson, Hermannlistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Logik und Kategorienlehre : der "Neuen Grundlegung der Metaphysik" zweiter Teil(1934) Teichmüller, Gustavlistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Loogika : õpperaamat keskkoolidele(1948) Vinogradov, Sergeilistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Loogika algõpetus : juhtlauseis õpetamiseks keskkoolides(1921) Pantenius, Heinrich Theodorlistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Loogika harjutused ja ülesanded(1999) Lilleorg, Ilmarlistelement.badge.dso-type Kirje , listelement.badge.access-status Avatud juurdepääs , Loogika näidisülesanded ja harjutused(2006) Eintalu, Jüri
- «
- 1 (current)
- 2
- 3
- »