Salta al contenuto principale
Passa alla visualizzazione normale.

Ricerca avanzata per:

Risultati della ricerca

  • 1. Elementi di Logica Matematica (100%)

    23-ott-2014 12.49.14

    Elementi di Logica Matematica Gianluigi Oliveri University of Palermo gianluigi.oliveri@unipa.it ... e validit a 1.1 Introduzione Il problema dal quale ha avuto origine la logica matematica ... ) se ne ricava la grande importanza del problema da cui ha avuto origine la logica matematica. Due delle questioni centrali che motivarono lo studio della logica matem- atica agli inizi del suo sviluppo furono ... 4ac > 0:) Sebbene gli sviluppi della logica matematica l'abbiano portata molto lon- tano dai

  • 2. Programma di Logica 2015-2016 (67%)

    6-ott-2015 10.29.38

    Logica Gianluigi Oliveri gianluigi.oliveri@unipa.it Anno Accademico 2015/2016 Crediti: 6 ... . Didattica integrativa: Dal momento che una componente essenziale dello studio della logica matematica ... da svolgere e il corso stesso sara seguito da un congruo numero di ore di Esercitazioni di Logica ... del primo ordine I 7. Il calcolo dei predicati del primo ordine II Bibliogra a : Oliveri, G.: Elementi di Logica ... a: (a) Cantini, A. & Minari, P.: 2009, Introduzione alla Logica, Mondadori, Milano. (b) Hodges, W

  • 3. Esercitazione di logica n. 1 (61%)

    23-ott-2014 13.02.50

    Logica e Filoso a della Scienza Elementi di Logica Matematica 2 dicembre 2011 1. Se e possibile, rappresentate il seguente argomento per mezzo di un sequente corretto della logica proposizionale. Mostrate che il sequente ottenuto e corretto mediante l'uso di un tableau. Se cio non e possibile dite il perch e. A1 : Se gli investimenti rimarranno invariati o dovra aumentare la spesa ... argomento per mezzo di un sequente corretto della logica dei predicati del primo ordine. Mostrate

  • 4. Esercitazione di Logica n. 2 (61%)

    6-ott-2015 10.33.14

    Logica e Filoso a della Scienza Elementi di Logica Matematica 1. Se e possibile, rappresentate il seguente argomento per mezzo di un sequente corretto della logica proposizionale. Mostrate che il sequente ottenuto e corretto mediante l'uso di un tableau. Se cio non e possibile dite il perch e. A1 : Se l'in azione crescera gli impiegati a stipendio sso si impoveri- ranno. Ma se l'Italia non ... per mezzo di un sequente corretto della logica dei predicati del primo ordine. Mostrate

  • 5. Esercitazione di logica n. 1 (57%)

    23-ott-2014 13.03.20

    Esercitazione di logica n. 1 Esercitazione, logica, studenti Esercitazione di logica n. 1 GIANLUIGI OLIVERI /sites/portale/_categories/notizia/bacheca/

  • 6. Esercitazioni di logica n. 2 (57%)

    6-ott-2015 10.34.14

    Esercitazioni di logica n. 2 Esercitazioni, logica, studenti Esercitazione di Logica n. 2 GIANLUIGI OLIVERI /sites/portale/_categories/notizia/bacheca/

  • 7. Elementi di Logica Matematica (54%)

    23-ott-2014 12.50.12

    Elementi di Logica Matematica Logica Matematica, studenti, dispense Elementi di Logica Matematica Gianluigi Oliveri /sites/portale/_categories/notizia/bacheca/

  • 8. Esami di logica, prof. G. Oliveri (53%)

    27-mag-2020 16.00.05

    Esami di logica, prof. G. Oliveri studenti, esami di logica, CdS Si informano gli studenti che gli esami di Logica dei giorni 11 e 25 Giugno e del giorno 9 luglio 2020 saranno soltanto orali e avranno luogo mediante la piattaforma Microsoft Teams. BIAGIA RUSSO Si informano gli studenti che gli esami di Logica dei giorni 11 e 25 Giugno e del giorno 9 luglio 2020 saranno soltanto orali e avranno luogo mediante la piattaforma Microsoft Teams. /sites/portale/_categories/notizia/primo_piano/

  • 9. Brochure Terza Edizione Master in Cultura e Comunicazione del Gusto (50%)

    19-dic-2014 18.55.18

    STORIA E TRADIZIONI DEL CIBO - SPECIFICITÀ TECNICHE E PRODUZIONI - LOGICA DEI DISTRETTI PRODUTTIVI - PROCESSI DI SIGNIFICAZIONE E LOGICA NARRATIVA SOTTESA AI FENOMENI DI COMUNICAZIONE DEL CIBO ... E PRODUZIONI - LOGICA DEI DISTRETTI PRODUTTIVI - PROCESSI DI SIGNIFICAZIONE E LOGICA NARRATIVA ... E TRADIZIONI DEL CIBO - SPECIFICITÀ TECNICHE E PRODUZIONI - LOGICA DEI DISTRETTI PRODUTTIVI - PROCESSI DI SIGNIFICAZIONE E LOGICA NARRATIVA SOTTESA AI FENOMENI DI COMUNICAZIONE DEL CIBO - VALORE

  • 10. brochure_master_gusto_nov2015 (50%)

    13-nov-2015 14.43.51

    STORIA E TRADIZIONI DEL CIBO - SPECIFICITÀ TECNICHE E PRODUZIONI - LOGICA DEI DISTRETTI PRODUTTIVI - PROCESSI DI SIGNIFICAZIONE E LOGICA NARRATIVA SOTTESA AI FENOMENI DI COMUNICAZIONE DEL CIBO ... E PRODUZIONI - LOGICA DEI DISTRETTI PRODUTTIVI - PROCESSI DI SIGNIFICAZIONE E LOGICA NARRATIVA ... E TRADIZIONI DEL CIBO - SPECIFICITÀ TECNICHE E PRODUZIONI - LOGICA DEI DISTRETTI PRODUTTIVI - PROCESSI DI SIGNIFICAZIONE E LOGICA NARRATIVA SOTTESA AI FENOMENI DI COMUNICAZIONE DEL CIBO - VALORE

  • 11. Elenco dei partecipanti Corso B (49%)

    9-lug-2019 10.53.25

    Cognome Nome Biologia Chimica Fisica Logica Matematica La Gattuta Marco Biologia Chimica Fisica Logica Matematica La Greca Maria Chiara Biologia Chimica Fisica Logica Matematica Lando Salvatore Biologia Logica Leu Ruxandra Biologia Chimica Fisica Logica Matematica Li Gotti Giorgia Biologia Chimica Fisica Logica Matematica Li Muli Francesca Chimica Fisica Logica Matematica Lo Bosco Federica Logica Lo Cascio Martina Chimica Fisica Logica

  • 12. Elenco dei partecipanti Corso A (49%)

    9-lug-2019 10.53.19

    A Cognome Nome Biologia Chimica Fisica Logica Matematica Accardo Calogero Biologia Chimica Fisica Logica Matematica Agosta Elena Logica Matematica Alessi Caterina Biologia Fisica Logica Matematica Alieu Jube Biologia Chimica Fisica Logica Matematica Alletto Alessia Biologia Chimica Alliata Margherita Chimica Fisica Logica Matematica Almerico Walter Pasquale Chimica Fisica Logica Matematica Alongi Giada Biologia Chimica Fisica Logica

  • 13. Seminari di Logica e Filosofia della Scienza (48%)

    4-ott-2019 12.20.21

    Seminari di Logica e Filosofia della Scienza articolo, notizia, unipa, logica e filosofia della scienza, seminari Programma Seminari L&FS Primo Sem 2019--2020 GIANLUIGI OLIVERI Ore 16:30 Aula Consiglio, Piano Terra, Edificio 12 Viale delle Scienze, Palermo Conseguenza logica e razionalità umana Mario Piazza Classe di lettere e filosofia Scuola Normale Superiore Pisa /sites/portale/_categories/evento/

  • 14. Seminari di Logica e Filosofia della Scienza Coordinatore: Prof. Gianluigi Oliveri (47%)

    14-mar-2017 16.04.34

    Seminari di Logica e Filosofia della Scienza Coordinatore: Prof. Gianluigi Oliveri seminari, logica e filosofia della scienza, CdS, studi filosofici e storici I seminari di Logica e Filosofia della Scienza, il cui programma è disponibile in allegato, hanno luogo, dal 1 marzo 2017 fino al 26 aprile 2017, il mercoledì dalle 16:00 alle 18:00 in Aula Consiglio, piano terra della ex Facoltà di Lettere ... interessati e non c'è bisogno di effettuare delle prenotazioni. Programma Seminari di Logica II

  • 15. Seminari di Logica e Filosofia della Scienza Coordinatore: Prof. Gianluigi Oliveri (47%)

    14-mar-2017 15.55.45

    Seminari di Logica e Filosofia della Scienza Coordinatore: Prof. Gianluigi Oliveri logica e filosofia, seminari, locandina, scienze umanistiche I seminari di Logica e Filosofia della Scienza, il cui programma è disponibile in allegato, hanno luogo, dal 1 marzo 2017 fino al 26 aprile 2017, il mercoledì dalle 16:00 alle 18:00 in Aula Consiglio, piano terra della ex Facoltà di Lettere e Filosofia ... c'è bisogno di effettuare delle prenotazioni. Programma Seminari di Logica II Sem. 2016_2017 BIAGIA

  • 16. Seminari di Logica e Filosofia della Scienza Coordinatore: Prof. Gianluigi Oliveri (47%)

    14-mar-2017 16.16.54

    Seminari di Logica e Filosofia della Scienza Coordinatore: Prof. Gianluigi Oliveri seminari, logica e filosofia della scienza, scienze filosofiche I seminari di Logica e Filosofia della Scienza, il cui programma è disponibile in allegato, hanno luogo, dal 1 marzo 2017 fino al 26 aprile 2017, il mercoledì dalle 16:00 alle 18:00 in Aula Consiglio, piano terra della ex Facoltà di Lettere e Filosofia ... e non c'è bisogno di effettuare delle prenotazioni. Programma Seminari di Logica II Sem. 2016_2017

  • 17. Seminari di Logica e Filosofia della Scienza (44%)

    4-ott-2019 11.57.06

    articolo, notizia, unipa,seminari,logica e filosofia della scienza Programma Seminari L&FS Primo Sem 2019--2020 Seminari di Logica e Filosofia della Scienza GIANLUIGI OLIVERI Ore 16:30 Aula Consiglio, Piano Terra, Edificio 12 Viale delle Scienze, Palermo François Le Lionnais e l'Oulipo: il sorprendente ruolo della matematica in letteratura Elena Toscano e Maria Alessandra Vaccaro Dipartimento di Matematica e Informatica Università di Palermo /sites/portale/_categories/evento/

  • 18. Seminario di Logica e Filosofia della Scienza I semestre Anno Accademico 2015/2016 (42%)

    26-ott-2015 15.06.03

    Seminario di Logica e Filosofia della Scienza I semestre Anno Accademico 2015/2016 seminario, logica, Filosofia della Scienza, Oliveri Locandina BIAGIA RUSSO /sites/portale/_categories/notizia/primo_piano/

  • 19. Programma Seminari di Logica II Sem. 2016_2017 (41%)

    14-mar-2017 15.50.22

    Seminario di Logica e Filoso a della Scienza II semestre Anno Accademico 2016/2017 Dipartimento di Scienze Umanistiche Centro Interdipartimentale Tecnologie della Conoscenza Universit a degli Studi di Palermo Coordinatore: Gianluigi Oliveri Universit a di Palermo gianluigi.oliveri@unipa.it Ore 16.00{18.00, Aula Consiglio piano terra, ex Facolt a di Lettere e Filoso a (Edi cio 12) Viale delle Scienze 90128 Palermo Il tema a rontato dai seminari di questa serie e: Progresso e Verit a nelle

  • 20. Seminari di Logica e Filosofia della Scienza , II semestre anno accademico 2018/2019 (41%)

    15-mar-2019 9.17.04

    Seminari di Logica e Filosofia della Scienza , II semestre anno accademico 2018/2019 seminari, Logica e Filosofia della Scienza, II semestre, A.A. 2018/2019CdS Scienze filosofiche e storiche Durante il secondo semestre dell'anno accademico 2018-19 si svolgeranno i seminari di Logica e Filosofia della Scienza organizzati dal prof. G. Oliveri secondo le date visionabili nella locandina allegata. Programma Seminario L&FS II semestre 2018--2019 BIAGIA RUSSO /sites/portale/_categories/notizia