Search Results - "LOGICA MATEMATICA"

Lógica matemática

Authors: Mora Espinosa, Carlos Fernando Nieto Sánchez, Julio César

Resource Type: eBook.

Subjects: Set theory, Logic, Symbolic and mathematical, First-order logic, Syllogism, Algebra, Boolean

Categories: MATHEMATICS / Logic

Introducción a la lógica matemática.

Authors: Tinoco del Valle, Jesús Hernández Sastoque, Eric Escorcia Caballero, Edgardo

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical

Categories: MATHEMATICS / Logic

O-minimality for expansions of Boolean lattices dottorato in logica matematica e informatica teorica

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/TSI0204017

Language and logics for network aware programming dottorato di ricerca in logica matematica e informatica teorica

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/TSI0204018

1898-1917: le origini della svolta filosofica di A. N. Whitehead. Dalla logica matematica all'epistemologia pre-speculativa.

Authors: N/A

URL: https://hdl.handle.net/20.500.14242/87329

George Boole. Filosofia, logica, matematica.

Authors: Grattan-Guinness, I.¹

Source: History & Philosophy of Logic. Jul1998, Vol. 19 Issue 3, p184-185. 2p.

Enseñar a enseñar Matemática

Authors: Guevara Kaiser, Gabriela Zaieg, Maria Alejandra

Resource Type: eBook.

Subjects: Mathematics teachers--Training of

Categories: EDUCATION / Teaching / Subjects / Mathematics

Ludics and proof-nets a new correctness criterion dottorato di ricerca in logica matematica ed informatica teorica

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/BNI0027571

Variants of the Rényi-Ulam game and many-valued logics dottorato di ricerca in logica matematica ed informatica teorica tesi di dottorato

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/BNI0027570

Geometry of observations some contributions to (constructive) point-free topology una tesi presentata per il titolo di dottore di ricerca in logica matematica ed informatica teorica presso l'Università di Siena, 15. ciclo

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/BNI0009813

Paraconsistent logics and logic programs verification ph. d. thesis dottorato in logica matematica e informatica teorica (LoMIT)

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/BNI0009814

The range assignment problem in static ad-hoc wireless networks dottorato di ricerca in logica matematica ed informatica teorica

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/BNI0003507

Algebrization of the power set an axiomatic treatment of the existential quantifier dottorato di ricerca in logica matematica e informatica teorica tesi di dottorato

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/TSI0204016

A logical characterization of the intersection type theory dottorato di ricerca in logica matematica e informatica teorica

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/TSI0204015

Where is 'There is' in '∃'?

Authors: Davies, Richard¹ davies@unibg.it

Source: History & Philosophy of Logic. Feb2021, Vol. 42 Issue 1, p44-59. 16p.

Densità ed incomparabilità nei gradi di enumerazione dottorato di ricerca in logica matematica ed informatica teorica

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/TSI0204013

Relazioni tra linguaggi logici modali e temporali dottorato di ricerca in logica matematica ed informatica teorica tesi di dottorato

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/TSI9700409

Logica matematica e informatica giuridica? dottorato di ricerca in informatica giuridica e diritto dell'informatica

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/TSI9500829

Reasoning about finite failure and infinite computations by abstract interpretation dottorato di ricerca in logica matematica e informatica teorica ph.d. thesis

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/TSI0204014

Petri nets with inhibitor and read arcs semantics, analysis and application to process calculi dottorato di ricerca in logica matematica ed informatica teorica tesi di dottorato

Authors: N/A

URL: https://opac.bncf.firenze.sbn.it/Record/TSI9802548