Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova
Livello superiore
Esporta come [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type | No Grouping
Jump to: A | B | C | D | F | G | L | M | N | P | S | U | V | X
Number of items at this level: 32.

A

Andreatta, Denis (2004) Una applicazione della topologia formale ai metodi di ricerca. [Laurea vecchio ordinamento]

Antonini, Maddalena (2019) Didattica della matematica: concezione e prospettive nella visione del costruttivismo dinamico. [Magistrali biennali]

B

Battilotti, Giulia (1990) Rappresentazione delle strutture algebriche complete corrispondenti alla logica lineare e intuizionista. [Laurea vecchio ordinamento]

Bonotto, Cinzia (1978) Sinonimia in relazione al calcolo modale MCν. [Laurea vecchio ordinamento]

Borsetto, Riccardo (2019) Hedberg's theorem in the minimalist foundation. [Magistrali biennali]

C

Capucci, Matteo (2020) Internal mathematics for stochastic calculus: a tripos-theoretic approach. [Magistrali biennali]

Costa , Benedetta (2020) Fuzzy sets: storia, teoria e applicazioni. [Laurea triennale]

D

D’Annunzio, Ludovica (2019) Il teorema del linguaggio interno per teorie proposizionali. [Laurea triennale]

De Luca , Alessia (2020) Sulla costruttività dell'operatore epsilon di David Hilbert. [Laurea triennale]

De Marchi, Ilaria (2018) Aspetti semantici e sintattici della logica paraconsistente. [Laurea triennale]

Defina, Francesco (2018) Teoria degli origami: analisi di una teoria assiomatica. [Magistrali biennali]

F

Fontana, Giulia (2019) L' algebra di Boole dal 1854 ad oggi. [Laurea triennale]

Fornasiere, Damiano (2019) Embedding concrete spaces into positive topologies. [Laurea triennale]

Friscina, Daniela (2018) Validità intuizionistica della geometria euclidea. [Magistrali biennali]

G

Galante , Giulia (2020) Teoremi fondamentali di esistenza in analisi costruttiva. [Laurea triennale]

Gasparin, Veronica (2018) Modified realizability. [Laurea triennale]

Gebellato, Silvia (1994) Precoperture, modalità e operatori di chiusura universale in un topos. [Laurea vecchio ordinamento]

Gemma, Francesco (2018) Locales and continuous valuations: a pointfree approach to measure theory. [Magistrali biennali]

Geronazzo, David (2020) Il concetto di cardinalità  senza l'assioma della scelta. [Laurea triennale]

Gui, Chiara (2018) L'opinione di Nicolas Bourbaki riguardo ai fondamenti della matematica. [Magistrali biennali]

Guidi, Ferruccio (1998) Il terzo teorema di Godel-Kreisel nella teoria intuizionistica dei tipi di Martin-Lof. [Laurea vecchio ordinamento]

L

Lucon, Sara (2020) Assioma di anti-fondazione e insiemi non ben fondati. [Laurea triennale]

M

Marconi, Umberto (1973) Anelli di funzioni continue a valori interi. [Laurea vecchio ordinamento]

Mengato, Stefano (2017) On Logical connectives and quantifiers as adjoint functors. [Magistrali biennali]

N

Negri , Sara (1991) Semantica categoriale per la logica lineare. [Laurea vecchio ordinamento]

P

Paoli , Carlotta (2020) Teoremi di Godel sull'incompletezza dell'aritmetica: aspetti classici e costruttivi. [Laurea triennale]

Poloni, Giulia (2017) Ricerca della derivazione in logica proposizionale intuizionista. [Magistrali biennali]

S

Santacroce, Davide (2019) Anelli di funzioni a valori reali come modelli booleani della teoria dei campi ordinati. [Laurea triennale]

Schincariol, Simone (2018) Teoria di Galois da un punto di vista costruttivo. [Laurea triennale]

U

Unterholzner, Paola (1979) Semantica algebrica e relazionale per logiche bimodali. [Laurea vecchio ordinamento]

V

Valentini, Silvio (1977) L'uso del calcolo dei predicati per la scrittura di algoritmi. [Laurea vecchio ordinamento]

X

Xillo, Natasha (2020) Allegorie e algebre di Boole complete. [Laurea triennale]

This list was generated on Tue Oct 20 00:44:01 2020 CEST.