Clicca sui collegamenti ipertestuali nell’indice per consultare le relative pagine o sezioni in questa pagina.

Pagine di informazioni generali su di noi e sui nostri corsi:

• Prima pagina
• Chi siamo
• Cosa facciamo
• Cosa NON facciamo
• Collaboratori esterni
• Dove lavoriamo
• I nostri clienti
• Piattaforme di lavoro
• Codice libero
• Le nostre posizioni etiche
• Metodologia e testi didattici
• Lingue con cui si svolgono le docenze
• I nostri corsi
• Categorie dei corsi
• Corsi di programmazione e linguaggi
• Prerequisiti per i corsi e approfondimenti
• Corsi di riqualificazione
• Corsi modulari
• Corsi aperti
• Calendario corsi aperti
• Formazione su progetti
• Corsi personalizzati
• Preventivi
• Domande frequenti
• Il nostro notiziario
• Marchi e loghi
• Dati personali e riservatezza
• Contatti
• Indice generale (questa pagina)

 

Elenco dei corsi

Macro-categorie dei corsi:

• Programmazione - sviluppo professionale di codice
• Linguaggi di programmazione //: “(v. l’elenco dei linguaggi sotto)”
• Progettazione
• Ingegneria del codice (v. anche sotto)
• Gestione progetti informatici
• Amministrazione di sistemi GNU/Linux e BSD (v. l’elenco)

Alcune categorie tematiche (l’elenco non è esaustivo):

• Algoritmi e strutture dati
• Automi e teoria degli automi
• Paradigmi di programmazione (v. l’elenco sotto)
• Programmazione parallela e distribuita (v. sotto)
• Programmazione sicura (v. sotto)
• Specifiche e verifiche formali del codice (v. sotto)
• Sviluppo sistemi integrati (v. elenco sotto)
• Intelligenza artificiale e apprendimento automatico (v. sotto)
• Interfacce utente grafiche //: #”(v. elenco sotto)”
• Programmazione web (v. elenco tecnologie sotto)
• Controllo versioni
• Uso di shell per sistemi GNU/Linux e UNIX
• Archiviazione criptata dei dati con LUKS
• Posta elettronica criptata, comunicazione riservata, GnuPG
• Blockchain

Corsi specifici e conferenze: //: “Programmazione applicata a dei specifici settori”

• Materie di per sè non informatiche, ma strettamente correlate
• Brevi eventi divulgativi e conferenze erogabili su richiesta

Sistemi operativi. Distribuzioni GNU/Linux e BSD:

Sistemi operativi

GNU/Linux

• Debian
• Devuan
• Ubuntu
• Mint
• SUSE: SLES, OpenSUSE
• Red Hat: RHEL, Fedora
• Raspberry Pi OS

BSD

• OpenBSD
• FreeBSD
• NetBSD

Ingegneria del codice

• Ingegneria del codice
• Prototipazione rapida
• Sviluppo guidato dalle verifiche

Paradigmi di programmazione:

• Programmazione funzionale
• Programmazione logica
• Programmazione imperativa
• Programmazione a oggetti, UML e schemi progettuali
• Schemi progettuali (“Design pattern”) (un sottoinsieme del corso precedente)
• UML (un altro sottoinsieme del corso di programmazione a oggetti)

Linguaggi di programmazione:

• Ada / SPARK
• Bash - programmazione di shell
• C
• C++
• Clojure
• Common Lisp
• Elixir
• Erlang
• F#
• Fortran
• Go
• Haskell
• JRuby
• Julia
• Jython
• Kotlin
• Lua
• OCaml
• Octave
• Perl
• PicoLisp
• Prolog
• Python
• R
• Racket
• Rexx
• Ruby
• Rust
• Scala
• Scheme
• sed e awk
• Tcl
• TypeScript
• Vala

Programmazione parallela e distribuita:

• Multithreading
• Socket TCP/IP
• CORBA
• RMI
• RMI-IIOP
• Pyro

Programmazione sicura:

• Programmazione sicura in C e C++

Specifiche e verifiche formali del codice

• Metodi formali

Sviluppo sistemi integrati:

• Raspberry PI
• Arduino
• Internet delle Cose

Intelligenza Artificiale e correlati:

• Intelligenza artificiale
• Apprendimento automatico
• Autoapprendimento con scikit-learn

Sviluppo web:

• Sviluppo web lato server con Django
• Programmazione web lato browser con Angular

Redattori di testo:

• vi e vim
• Emacs

Strumenti per costruzione dei programmi:

• GNU Make
• CMake
• SCons

Altri argomenti inerenti alla programmazione:

• Elaborazione testo
• Elaborazione file di testo e di flussi testuali con comandi da terminale
• Espressioni regolari

 

Corsi di programmazione applicata a dei specifici settori:

Matematica, calcolo numerico e scientifico e statistica

• Statistica con strumenti informatici
• Calcolo numerico e scientifico ed elaborazione dati
• Calcolo numerico e scientifico con GSL
• Calcolo numerico e scientifico con numpy-scipy-sympy-pandas-matplotlib
• Matematica finanziaria con strumenti informatici (stesso corso come quello nella sezione “Finanza”)

Finanza

• Fondamenti della finanza
• Matematica finanziaria con strumenti informatici (stesso corso come quello nella sezione “Matematica ecc.”)

Biologia e medicina

• Bioinformatica

 

Corsi di materie di per sè non informatiche, ma strettamente correlate

Necessità di competenze interdisciplinari

Logica formale

• Logica
• Logica classica
• Logiche non classiche
• Logica per intelligenza artificiale
• Logica per verifiche formali
• Oltre la logica

Elettronica

• Elettronica

 

Brevi eventi divulgativi e conferenze erogabili su richiesta

Sviluppo programmi

• Programmazione Agile o programmazione Fragile?

Sicurezza e riservatezza informatica:

• Grande Fardello - quando prodotti e servizi tecnologici ci opprimono

Mercatologia digitale:

• Perché la pubblicità su Internet non funziona (abbastanza)?

Altro

• Conferenze su richiesta