Skip to Main Content (Press Enter)

Logo UNINSUBRIA
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze

UNI-FIND
Logo UNINSUBRIA

|

UNI-FIND

uninsubria.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze
  1. Persone
Persona
GERLA BRUNELLA

GERLA BRUNELLA

Docenti di ruolo di Ia fascia
DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE
Course Catalogue:
https://uninsubria.coursecatalogue.cineca.it/docen...

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

Settore MATH-01/A - Logica matematica
  • Contatti
  •  brunella.gerla@uninsubria.it
  • Avvisi
  • Aree Di Ricerca
  • Afferenze
  • Progetti
  • Pubblicazioni
  • Premi E Incarichi Scientifici
  • Altre Attività
  • Insegnamenti
  • Terza Missione
  • Ricevimento
  • Risorse Utili

Comunicazioni

Settori


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)

  • ascendente
  • decrescente
  • Tutti
  • All
  • Open
  • Partially Open
  • Mixed
  • Embargoed
  • Reserved

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 - ) 2019
Membro del Comitato Editoriale - SOFT COMPUTING - ISSN: 1432-7643 - Heidelberg ; Berlin : Springer (2003 - 2010) 2003
No Results Found

Collegi di dottorato (7)

Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2024 (ciclo: 40 - Anno: 2024 2024 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2023 (ciclo: 39 - Anno: 2023 2023 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2022 (ciclo: 38 - Anno: 2022 2022 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2021 (ciclo: 37 - Anno: 2021 2021 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2020 (ciclo: 36 - Anno: 2020 2020 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2019 (ciclo: 35 - Anno: 2019 2019 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2018 (ciclo: 34 - Anno: 2018 2018 )
No Results Found

Insegnamenti offerta formativa corrente (3)

SCV0002 - ALGEBRA E GEOMETRIA

Primo Semestre (23/09/2024 - 20/12/2024) - 2024
INFORMATICA ( DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE )
Laurea
9 CFU
72 ore

SCV0002 - ALGEBRA E GEOMETRIA

Primo Semestre (23/09/2024 - 20/12/2024) - 2024
INFORMATICA ( DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE )
Laurea
9 CFU
72 ore

SCV0847 - LOGIC FOR ARTIFICIAL INTELLIGENCE

Secondo Semestre (17/02/2025 - 30/05/2025) - 2024
INFORMATICA ( DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE )
Laurea Magistrale
9 CFU
80 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) 20231130
No Results Found

Ricevimento

Video

Risorse Utili

  • Accessibilità
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.5.0.1