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
Raggruppa per: Autore | Tipologia del documento | Nessun raggruppamento
Numero di documenti a questo livello: 27.

Laurea triennale

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

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

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

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

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

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

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

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

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]

Laurea vecchio ordinamento

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

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]

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

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

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

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

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

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

Magistrali biennali

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

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

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

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

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

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

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

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

Questa lista e' stata generata il Sun May 31 19:13:48 2020 CEST.