Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
loogika (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
193
Vaata veel..
(1/11)
Ekspordi
ekspordi kõik päringu tulemused
(193)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
51
artikkel ajakirjas
A framework for modelling, verification and transformation of concurrent imperative programs
Bortin, Maksym
arXiv.org
2020
/
57 p
https://arxiv.org/abs/2007.02261
https://doi.org/10.48550/arXiv.2007.02261
artikkel ajakirjas
52
artikkel kogumikus
Frege and Peirce on the signs of generality
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
6th World Congress and School on Universal Logic, UNILOG'2018, June 16–26, 2018
2018
/
p. 266-268 : ill
http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf
artikkel kogumikus
53
artikkel ajakirjas
From Mitchell to Carus : fourteen years of logical graphs in the making
Bellucci, Francesco
;
Pietarinen, Ahti-Veikko
Transactions of the Charles S. Peirce Society
2016
/
p. 539-575
http://dx.doi.org/10.2979/trancharpeirsoc.52.4.02
artikkel ajakirjas
54
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Gamma graph calculi for modal logics
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Synthese
2018
/
p. 3621–3650 : ill
https://doi.org/10.1007/s11229-017-1390-3
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
55
raamat
Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalization
Draheim, Dirk
2017
https://doi.org/10.1007/978-3-319-69868-7
raamat
56
raamat
Graph Operad Logic X
2013
raamat
57
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A graphical deep inference system for intuitionistic logic
Pietarinen, Ahti-Veikko
;
Ma, Minghui
Logique et analyse
2019
/
p. 73-114
https://doi.org/10.2143/LEA.245.0.3285706
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
58
artikkel kogumikus
Habits of reasoning : on the grammar and critics of logical habits
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
Consensus on Peirce's concept of habit : before and beyond consciousness
2016
/
p. 265-282
https://doi.org/10.1007/978-3-319-45920-2_15
artikkel kogumikus
59
artikkel kogumikus
Hegeli filosofeerimise vorm
Mägi, Margus
Loogika ja mõtlemine
1994
/
lk. 15-23
artikkel kogumikus
60
artikkel kogumikus
Hegeli loogika vormist ja formaalse loogika sisust
Luure, Andres
;
Hegel, Georg Wilhelm Friedrich
Loogika ja mõtlemine
1994
/
lk. 32-52
artikkel kogumikus
61
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Hintikka memorial issue : introduction and remarks on Jaakko Hintikka's logical philosophy
Pietarinen, Ahti-Veikko
Logica Universalis
2019
/
p. 137–145
https://doi.org/10.1007/s11787-019-00222-4
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
62
artikkel kogumikus EST
/
artikkel kogumikus ENG
Historio-Graphy
Moktefi, Amirouche
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 511-514
https://doi.org/10.1007/978-3-030-54249-8_46
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
63
raamat
How to say "Yes" or "No" : logical approaches to modes of assertion and denial : book of abstracts [Online resource]
2016
https://publicatt.unicatt.it/retrieve/handle/10807/73622/114880/how_to_say__yes__or__no___logical_approaches_to_modes_of_assertion_and_denial_3.pdf
raamat
64
artikkel ajakirjas
How to say "Yes" or "No" : logical approaches to modes of assertion and denial, 21-22 January
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
The reasoner
2016
/
p. 20
http://www.thereasoner.org/
artikkel ajakirjas
65
artikkel ajakirjas
Hägune loogika
Tammemäe, Kalle
Arvutustehnika ja Andmetöötlus
1994
/
5, lk. 21-26 ; 6, lk. 19-24 ; 7/8, lk. 26-29
artikkel ajakirjas
66
artikkel kogumikus
Identifying NBTI-critical paths in nanoscale logic
Ubar, Raimund-Johannes
;
Vargas, Fabian
;
Jenihhin, Maksim
;
Raik, Jaan
;
Kostin, Sergei
;
Bolzani Poehls, Leticia
16th Euromicro Conference series on Digital System Design : DSD 2013 : proceedings : 4-6 September 2013, Santander, Spain
2013
/
p. 136-141 : ill
artikkel kogumikus
67
artikkel ajakirjas
Inimtegevuse loogika ja haridus
Luure, Andres
;
Olander, Aare
Haridus
1992
/
5, lk. 22-26
artikkel ajakirjas
68
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Introduction : history and philosophy of logical notation
Bellucci, Francesco
;
Moktefi, Amirouche
;
Pietarinen, Ahti-Veikko
History and philosophy of logic
2018
/
p. 1-2
https://doi.org/10.1080/01445340.2017.1372881
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
69
artikkel kogumikus
Is there a general diagram concept?
Pietarinen, Ahti-Veikko
Thinking with diagrams : the semiotic basis of human cognition
2016
/
p. 121-137
artikkel kogumikus
70
artikkel ajalehes
Juhusest sünnitatud paljutõotav korralagedus
Mägi, Vahur
Noorte Hääl : ELKNÜ Keskkomitee häälekandja
1980
https://www.ester.ee/record=b1320792*est
artikkel ajalehes
71
artikkel ajalehes
Juubelihõnguline teadusfilosoofia maailmakongress [Prantsusmaal]
Müürsepp, Peeter
;
Vihalemm, Rein
Sirp
2011
/
lk. 23 : ill
artikkel ajalehes
72
raamat
Keel ja loogika
Lorents, Peeter
2000
https://www.ester.ee/record=b1372695*est
raamat
73
raamat
Kompetentsustest : finantsarvutuste üldalused = engineering economics
1993
http://www.ester.ee/record=b4754159*est
raamat
74
artikkel ajakirjas
Kui palju on loovuses loogikat?
Tiidemann, Tiit
Inseneeria
2011
/
lk. 34-38 : ill
https://www.ester.ee/record=b1519314*est
artikkel ajakirjas
75
artikkel kogumikus
Leibniz and the Calculus Notation
Müürsepp, Peeter
XXXI Baltic Conference on the History and Philosophy of Science : Scientific Instruments in History and Philosophy of Science, Technology and Medicine : Abstracts
2024
/
p. 15-16
https://www.bahps.org/index.htm
artikkel kogumikus
Kirjeid leitud 193, kuvan
51 - 75
eelmine
1
2
3
4
5
6
7
8
järgmine
märksõna
11
1.
eeldused (loogika)
2.
eitus (loogika)
3.
induktsioon (loogika)
4.
järeldamine (loogika)
5.
loogika
6.
loogika ajalugu
7.
matemaatiline loogika
8.
otsustused (loogika)
9.
teaduse loogika
10.
temporaalne loogika
11.
väliprogrammeeritav loogika
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT