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 2021
(08/03/2022 h.9/11, Aula C Edificio B) Una logica algebrica booleana adeguata alla formalizzazione di qualsiasi teoria assiomatica degli insiemi
Logica delle relazioni diadiche sviluppata secondo le linee di Tarski&Givant87

Logica delle relazioni diadiche sviluppata secondo le linee di Tarski&Givant87

Completion requirements

PDF

Click 2_logicaAlgebricaLucidi2022.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