Persona

GERLA BRUNELLA

Posizione:

Docenti di ruolo di Ia fascia

Dipartimento:

DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE

Course Catalogue:

https://uninsubria.coursecatalogue.cineca.it/docen...

Gruppo Scientifico Disciplinare

Gruppo 01/MATH-01 - LOGICA MATEMATICA, DIDATTICA E STORIA DELLA MATEMATICA

Settore disciplinare

Settore MATH-01/A - Logica matematica

Contatti
brunella.gerla@uninsubria.it

Settori

Settore ERC

PE1_1 - Logic and foundations - (2022)

Partecipa a

Logiche non classiche

Gruppo

Ricerca finanziata

Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus allowing to reason about modes of truth

Progetti di ricerca UE - Programmi Quadro

Progetto

Responsabile scientifico

2021

48 mesi

No Results Found

Pubblicazioni (70)

Comitati editoriali (2)

Membro del Comitato Editoriale - FUZZY SETS AND SYSTEMS - ISSN: 0165-0114 - Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598 (2019 - )

Membro del Comitato Editoriale - SOFT COMPUTING - ISSN: 1432-7643 - Heidelberg ; Berlin : Springer (2003 - 2010)

No Results Found

Collegi di dottorato (7)

Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2024 (ciclo: 40 - Anno: 2024 )

Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2023 (ciclo: 39 - Anno: 2023 )

Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2022 (ciclo: 38 - Anno: 2022 )

Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2021 (ciclo: 37 - Anno: 2021 )

Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2020 (ciclo: 36 - Anno: 2020 )

Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2019 (ciclo: 35 - Anno: 2019 )

Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2018 (ciclo: 34 - Anno: 2018 )

No Results Found

Insegnamenti offerta formativa corrente (5)

SCV0002 - ALGEBRA E GEOMETRIA

Primo Semestre (22/09/2025 - 19/12/2025) - 2025

INFORMATICA ( DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE )

Laurea

9 CFU

72 ore

SCV0002 - ALGEBRA E GEOMETRIA

Primo Semestre (22/09/2025 - 19/12/2025) - 2025

INFORMATICA ( DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE )

Laurea

9 CFU

72 ore

SCV0314 - LOGICA

Secondo Semestre (23/02/2026 - 29/05/2026) - 2025

INFORMATICA ( DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE )

Laurea

6 CFU

48 ore

SCV0314 - LOGICA

Secondo Semestre (23/02/2026 - 29/05/2026) - 2025

INFORMATICA ( DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE )

Laurea

6 CFU

48 ore

SCV0314 - LOGICA

Secondo Semestre (23/02/2026 - 29/05/2026) - 2025

INFORMATICA ( DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE )

Laurea

6 CFU

48 ore

No Results Found

Public Engagement

Attività di coinvolgimento e interazione con il mondo della scuola (Organizzatore) - Parliamo di Intelligenza artificiale

DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE

Istituto Comprensivi "E. Franceschini", Rho (MI) (30/11/2023 - 30/11/2023)

No Results Found

GERLA BRUNELLA

Comunicazioni

Settori

Partecipa a

Logiche non classiche

Ricerca finanziata

Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus allowing to reason about modes of truth

Pubblicazioni (70)

Comitati editoriali (2)

Collegi di dottorato (7)

Insegnamenti offerta formativa corrente (5)

SCV0002 - ALGEBRA E GEOMETRIA

SCV0002 - ALGEBRA E GEOMETRIA

SCV0314 - LOGICA

SCV0314 - LOGICA

SCV0314 - LOGICA

Public Engagement

Ricevimento

Video

Risorse Utili