Otsing - TalTech teadusportaal

kuva

reasta

26

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

27

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

28

raamat

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

raamat

29

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

30

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

31

raamat

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

raamat

32

raamat

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

raamat

33

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

34

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

35

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

36

raamat

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

raamat

37

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

38

raamat

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

raamat

39

raamat

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

raamat

40

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

41

artikkel ajakirjas

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

artikkel ajakirjas

42

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

43

raamat

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

raamat

44

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

45

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

46