Technopedia Center
PMB University Brochure
Faculty of Engineering and Computer Science
S1 Informatics
S1 Information Systems
S1 Information Technology
S1 Computer Engineering
S1 Electrical Engineering
S1 Civil Engineering
faculty of Economics and Business
S1 Management
S1 Accountancy
Faculty of Letters and Educational Sciences
S1 English literature
S1 English language education
S1 Mathematics education
S1 Sports Education
Registerasi
Brosur UTI
Kip Scholarship Information
Performance
Weltenzyklopädie
Utente:Italo-Europeo/sabbiera
Search
Utente:Italo-Europeo/sabbiera
Utente:Italo-Europeo/sabbiera - Teknopedia
Utente
:
Italo-Europeo/sabbiera
Da Teknopedia, l'enciclopedia libera.
<
Utente:Italo-Europeo
Vai alla navigazione
Vai alla ricerca
V
·
D
·
M
Logici
Anderson
·
Aristotele
·
Averroè
·
Avicenna
·
Barwise
·
Bernays
·
Boole
·
Boolos
·
Cantor
·
Carnap
·
Church
·
Crisippo di Soli
·
Curry
·
De Morgan
·
Frege
·
Geach
·
Gentzen
·
Gödel
·
Hilbert
·
Kleene
·
Kripke
·
Leibniz
·
Löwenheim
·
Peano
·
Peirce
·
Putnam
·
Quine
·
Russell
·
Scotus
·
Skolem
·
Smullyan
·
Tarski
·
Turing
·
Whitehead
·
William of Ockham
·
Wittgenstein
·
Zermelo
V
·
D
·
M
Logica matematica
Concetti generali
Linguaggio formale
·
Regole di formazione
·
Sistema formale
·
Sistema deduttivo
·
Dimostraione
·
Semantica formale
·
Formula ben formata
·
Insieme
·
Elemento
·
Classe
·
Logica classica
·
Conseguenza logica
·
Sistema assiomatico
·
Teoria dei tipi
·
Simbolo
·
Sintassi
·
Teoria
Logica tradizionale
Proposizione
·
Inferenza
·
Argomento
·
Validità
·
Sillogismo
·
Quadrato degli opposti
·
Diagramma di Venn
Logica proposizionale
e
logica booleana
Logica booleana
·
Calcolo proposizionale
·
Formula proposizionale
·
Connettivi logici
·
Quantificatore
·
Tabella di verità
Logica dei predicati
Teoria del primo ordine
·
Quantificatore
·
Predicato
·
Teoria del secondo ordine
Teoria degli insiemi
Insieme
·
Insieme vuoto
·
Enumerazione
·
Estensionalità
·
Insieme finito
·
Funzione
·
Sottoinsieme
·
Insieme potenza
·
Insieme numerabile
·
Insieme ricorsivo
·
Dominio
·
Insieme immagine
·
Coppia ordinata
·
Insieme non numerabile
Teoria dei modelli
Modello
·
Interpretazione
·
Modello non standard
·
Valore di verità
·
Validità
Teoria delle dimostrazioni
Dimostrazione
·
Sistema deduttivo
·
Sistema formale
·
Teorema
·
Conseguenza logica
·
Regola di inferenza
·
Sintassi
Computabilità
Algoritmo ricorsivo
·
Insieme ricorsivo
·
Insieme ricorsivamente enumerabile
·
Problema della decisione
·
Tesi di Church-Turing
·
Funzione calcolabile
·
Funzione ricorsiva primitiva
Note
[
modifica
|
modifica wikitesto
]
Estratto da "
https://it.wikipedia.org/w/index.php?title=Utente:Italo-Europeo/sabbiera&oldid=87275238
"
Menu di navigazione
Strumenti personali
Accesso non effettuato
discussioni
contributi
registrati
entra
Namespace
Utente
Discussione
italiano
Visite
Leggi
Modifica
Modifica wikitesto
Cronologia
Altro
Ricerca
Navigazione
Pagina principale
Ultime modifiche
Una voce a caso
Nelle vicinanze
Vetrina
Aiuto
Sportello informazioni
Comunità
Portale Comunità
Bar
Il Teknopediano
Fai una donazione
Contatti
Strumenti
Puntano qui
Modifiche correlate
Contributi utente
Registri
Visualizza gruppi utente
Pagine speciali
Link permanente
Informazioni pagina
Ottieni URL breve
Scarica codice QR
Stampa/esporta
Crea un libro
Scarica come PDF
Versione stampabile
In altre lingue
14 bahasa
Indonesia
English
Français
日本語
Deutsch
Italiano
Español
Русский
فارسی
Polski
中文
Nederlands
Português
العربية