Otsing - TalTech teadusportaal

kuva

reasta

26

artikkel kogumikus

Introduction to Volume 2/1: The Logical TractsPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures2021 / p. 69-100 https://doi.org/10.1515/9783110651423-003

artikkel kogumikus

27

artikkel kogumikus

Introduction to Volume 2/2: The 1903 Lowell LecturesPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures2021 / p. 29-117 https://doi.org/10.1515/9783110740462-003

artikkel kogumikus

28

artikkel kogumikus

JärelsõnaTammet, TanelGödeli tõestus : koos Kurt Gödeli loenguga matemaatika alustest ja Tanel Tammeti järelsõnaga2020 / lk. 125−135 https://www.ester.ee/record=b5346988*est

artikkel kogumikus

29

raamat

Keel ja loogikaLorents, Peeter2000 https://www.ester.ee/record=b1372695*est

raamat

30

artikkel kogumikus

Knowledge integration for commonsense reasoning with default logicJärv, Priit; Tammet, Tanel; Verrev, Martin; Draheim, DirkProceedings of the 14th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - KEOD 2022, October 24-26, 2022, in Valletta, Malta ; Vol. 1 / p. 148-155 https://doi.org/10.5220/0000165700003335

artikkel kogumikus

31

artikkel ajakirjas

La logique symbolique en debat a Oxford a la fin du dix-neuvieme siecle : les disputes logiques de Lewis Carroll et John Cook WilsonMarion, Mathieu; Moktefi, AmiroucheRevue d'histoire des sciences2014 / p. 185-205

artikkel ajakirjas

32

raamat

Lausearvutus ja hulgateooria elemendid : loengukonspekt : ülesanded1975 https://www.ester.ee/record=b1303989*est

raamat

33

raamat

Lausearvutus ja hulgateooria elemendid : metoodiline materjal1982 https://www.ester.ee/record=b1265264*est

raamat

34

artikkel ajakirjas EST / artikkel ajakirjas ENG

Léon Foucou and the beginnings of mathematical logic in FranceMoktefi, Amirouche; Chevalier, Jean-Marie C.History and philosophy of logic2025 / 24 p https://doi.org/10.1080/01445340.2025.2488605

artikkel ajakirjas EST / artikkel ajakirjas ENG

35

artikkel kogumikus

LogicMoktefi, AmiroucheThe Mathematical World of Charles L. Dodgson (Lewis Carroll)2019 / p. 87-120 https://doi.org/10.1093/oso/9780198817000.003.0004

artikkel kogumikus

36

raamat

Logic of the future : writings on existential graphs. Part 2: The 1903 Lowell LecturesPeirce, Charles S.2021 https://doi.org/10.1515/9783110740462

raamat

37

raamat

Logic of the future : writings on existential graphs. Part 1: The Logical TractsPeirce, Charles S.2021 https://www.degruyter.com/document/doi/10.1515/9783110651423/html#contents https://doi.org/10.1515/9783110651423

raamat

38

raamat

Logic of the future : writings on existential graphs. Volume 1. History and applicationsPeirce, Charles S.2020 https://doi.org/10.1515/9783110651409

raamat

39

artikkel kogumikus

Logics of skew categorical structuresUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanLogic4Peace : fundraising online logic event for peace, April 22-23, 2022 : book of abstracts2022 / p. 81-82 https://events.illc.uva.nl/Logic4Peace/uploaded_files/inlineitem/slides/Uustalu-et-al_L4P-slides.pdf

artikkel kogumikus

40

raamat

Loogika : mõtlemisest tõestamiseniTamme, Tõnu; Tammet, Tanel; Prank, Rein2002 https://www.ester.ee/record=b1689701*est

raamat

41

raamat

Loogika : mõtlemisest tõestamiseniTamme, Tõnu; Tammet, Tanel; Prank, Rein1997 https://www.ester.ee/record=b1053345*est

raamat

42

raamat

Loogika. Argumentatsioon. MõtlemiskultuurMeos, Indrek2003 https://www.ester.ee/record=b1764843*est

raamat

43

artikkel ajakirjas

Matemaatilise loogika põhimõisteidLorents, PeeterArvutustehnika ja Andmetöötlus : A&A1988 / nr. 7 lk. 27-30; nr. 8 lk. 29-33,; nr. 9 lk. 32-36 ; nr. 11 lk. 33-35; nr. 12 lk. 33-36 https://www.ester.ee/record=b1071940*est

artikkel ajakirjas

44

artikkel ajakirjas

Matemaatilise loogika põhimõisteid : Lambada-arvutustestLorents, PeeterArvutustehnika ja Andmetöötlus1990 / 6, lk. 45-48; 7, lk. 43-48

artikkel ajakirjas

45

artikkel ajakirjas

Matemaatilise loogika põhimõisteid : ülevaade rekursiooniteooria põhimõistetest ja tulemustestLorents, PeeterArvutustehnika ja Andmetöötlus1990 / 1, lk. 35-40; 2, lk. 27-32; 3, lk. 32-38; 4, lk. 40-43

artikkel ajakirjas

46

artikkel ajakirjas EST / artikkel ajakirjas ENG

The mechanisation of inference : Venn’s logical-diagram machineMoktefi, AmiroucheIcon2024 / p. 45-59 https://doi.org/10.11590/icon.2024.2.02 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

47

raamat

Natural arguments : a tribute to John Woods2019 https://www.collegepublications.co.uk/tributes/?00040

raamat

48

artikkel ajakirjas

On the completeness of associative idempotent functionsHenno, JaakZeitschrift für mathematische Logik und Grundlagen der Mathematik1979 / S. 37-43 https://www.ester.ee/record=b1830546*est https://doi.org/10.1002/malq.19790250303

artikkel ajakirjas

49

artikkel kogumikus

Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, Tarmo31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 40-43 https://doi.org/10.23658/taltech.nwpt/2019 https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf

artikkel kogumikus

50

artikkel ajakirjas EST / artikkel ajakirjas ENG

Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / art. 100677, 27 p https://doi.org/10.1016/j.jlamp.2021.100677 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

matemaatiline loogika (märksõna)

teaviku laadid

märksõna 22

võtmesõna 1