Limba
Coperţi
logică matematică
|
LDR | 00083nx j2200049 | |
---|---|---|
001 | 171618 | |
250 | $a logică matematică | |
901 | $a a $b a |
Lucrări:
45 lucrari in 46 publicatii in 5 limbi
Dumnezeul logicii : Viața genială a lu Kurt Gödel, matematicianul filosofiei
de:
Odifreddi, Piergiorgio
(Text tipărit)
Calculatorul electronic şi gândirea umană
de:
Farcaş, Dan D.
(Text tipărit)
359 de probleme de matematică recreativă : Puzzle-uri celebre
de:
Kordemski, B. A.
(Text tipărit)
Inexistenţa algoritmilor de recunoaştere a expresibilităţii sintactice în calcule logice
de:
Raţă, Metodie
(Text tipărit)
Paradoxuri, enigme şi dileme
de:
Dumitrescu, Dan
(Text tipărit)
Matematica : O foarte scurtă introducere
de:
Gowers, Timothy
(Text tipărit)
Elemente de logică matematică : (Folosirea lor în liceu)
de:
Tutulan, Gheorghe, profesor de matematică
(Text tipărit)
De la joc... la matematică
de:
Chiriac, Vasile (194.?-)
(Text tipărit)
Logică matematică și teoria mulțimilor
de:
Dima, Corina
(Resurse electronice)
Teoria chibritului : 234,5 probleme logico-distractive
de:
Păun, Gheorghe
(Text tipărit)
Subiecte
algebre booleene
rezolvări
dileme
logică predicativă
aritmetică formală
fond Galaţi
număr cardinal
propoziţii bivalente
învăţământ universitar
calcul matematic
teoria algoritmilor
cursuri universitare
cibernetică
analiză statistică
calculul propoziţiilor
programare
propoziţie
teoria sistemelor de control
limbaje de programare
intuiţionism
implicaţie
concept (logică)
răspuns
filosofie analitică
teoria mulţimilor
statistică matematică
logica imperativelor
logică modală
filosof german
valori
învăţământ liceal
culegeri
algoritm matematic
personalia
tipărit în România
concepte de logică
probleme
logica propoziţiilor
algoritmi
constructivism
informatică
structuri algebrice
jocuri instructiv-educative
algebră elementară
învăţământ superior
strategii militare
logică paraconsistentă
paradigmă
predarea matematicii
istoria logicii româneşti
manual de logică
matematici generale
logică românească
programare logică
bibliografie de referinţă
calculatoare
topologie
calcul propoziţional
număr (logică matematică)
teorii matematice
clasa a IX-a
limbaj logico-simbolic
soluţii
necesitate
armată
biografii
jocuri matematice
jocuri pentru copii
probleme distractive
filosofia logicii
învăţământ primar
istoria logicii
paradox logic
sisteme logice
logică matematică
teorie logico-matematică
jocuri instructive
învăţământ liceal românesc
răspunsuri
elemente de logică
ştiinţă
algebră
teoria numirii
jocuri de gândire
Galaţi (edituri)
concepţie filosofică
personalităţi elveţiene
jocuri de memorie
filosofie matematică
filosofi germani
judecată (logică)
filosofia contradicţiei
amuzament matematic
logică propoziţională
demonstraţii
probleme rezolvate
algoritm
probabilităţi
logică simbolică
inferenţă statistică
numere reale
matematică distractivă
paraconsistenţă
funcţii
logică universală
concepţii filosofice
raţionament
aplicaţii
filosofia limbajului
metode matematice în logică
manual universitar
teoria numerelor
epistemologie
concepte matematice
logistică
numiri
inteligenţă artificială
limite
cibernetică matematică
sociologia reflectării
cunoaştere
enigme
calcul logic
logică modernă
personalităţi ştiinţifice
exerciţii
logică
analiză matematică
învăţământ gimnazial
cercetări operaţionale
Frege, Gottlob
jocuri
matematică computaţională
oameni de cultură
maşini de calcul
echivalenţă logică
teoria logicii
ştiinţe exacte
număr ordinal
filosofie americană
algebră constructivă
depozit legal local
analiză numerică
perspicacitate
propoziţie (logică)
exerciţii şi probleme de matematică
istoria logicii universale
elemente fundamentale
probleme de perspicacitate
argumentare (logică)
e-book
cls. I-VIII
algebra mulţimilor
inteligenţă umană
programare matematică
Galați (personalități)
silogism
sisteme de operare
şiruri aleatoare
identitate
probleme de logică
filosofie
semantică logică
matematică constructivă
exerciţii şi probleme
filozofie americană
sistem de logică
matematică