Skip to main content

Home
Courses
All courses Fisica Ingegneria e Architettura Matematica e Geoscienze Scienze Chimiche e Farmaceutiche Scienze Economiche, Aziendali, Matematiche e Statistiche Scienze della Vita Scienze Giuridiche, del Linguaggio, dell`Interpretazione e della Traduzione Scienze Politiche e Sociali Studi Umanistici Universitario Clinico di Scienze mediche, chirurgiche e della salute E-learning@Units Centro Linguistico di Ateneo Sistema Bibliotecario di Ateneo Amministrazione Centrale Progetto FlashForward Corsi in convenzione PhD - Formazione trasversale La ricerca all'Università di Trieste CIRD - Centro Interdipartimentale per la Ricerca Didattica Teledidattica Moodle Guides Servizi Disabili e DSA Centro per la gestione del percorso universitario e accademico iniziale dei docenti delle scuole secondarie di primo e secondo grado
Support
Moodle Guide for students Moodle Guide for teachers Support Personal data policy
More

English ‎(en)‎

English ‎(en)‎ Italiano ‎(it)‎

You are currently using guest access

Log in

Home Courses Collapse Expand

All courses Fisica Ingegneria e Architettura Matematica e Geoscienze Scienze Chimiche e Farmaceutiche Scienze Economiche, Aziendali, Matematiche e Statistiche Scienze della Vita Scienze Giuridiche, del Linguaggio, dell`Interpretazione e della Traduzione Scienze Politiche e Sociali Studi Umanistici Universitario Clinico di Scienze mediche, chirurgiche e della salute E-learning@Units Centro Linguistico di Ateneo Sistema Bibliotecario di Ateneo Amministrazione Centrale Progetto FlashForward Corsi in convenzione PhD - Formazione trasversale La ricerca all'Università di Trieste CIRD - Centro Interdipartimentale per la Ricerca Didattica Teledidattica Moodle Guides Servizi Disabili e DSA Centro per la gestione del percorso universitario e accademico iniziale dei docenti delle scuole secondarie di primo e secondo grado

Support Collapse Expand

Moodle Guide for students Moodle Guide for teachers Support Personal data policy

Expand all Collapse all

204SM - LOGICA 2018
Gödelizzazione e diagonalizzazione (26 marzo 2019, h.11-13 aula 5A edificio H2bis)
Dispensetta su di un insieme ricorsivamente enumerabile che non è decidibile

Dispensetta su di un insieme ricorsivamente enumerabile che non è decidibile

Completion requirements

PDF

Click e_numerabilita.pdf link to view the file.

Documentation for this page

Contact site support

You are currently using guest access (Log in)

Get the mobile app

Powered by Moodle