├── requirements.txt ├── pdfs ├── laurea-magistrale │ ├── ingegneria-automazione.pdf │ ├── ingegneria-elettronica.pdf │ ├── ingegneria-informatica.pdf │ └── ingegneria-telecomunicazioni.pdf └── laurea-triennale │ ├── ingegneria-alimentare.pdf │ ├── ingegneria-elettronica.pdf │ └── ingegneria-informatica.pdf ├── .gitignore ├── CHANGELOG_VERSIONE2.md ├── .github ├── ISSUE_TEMPLATE │ ├── correzione-di-una-testimonianza.md │ └── aggiunta-testimonianza.md └── workflows │ ├── buildpdfs.yml │ └── deploy.yml ├── docs ├── laurea-triennale │ ├── ingegneria-alimentare.md │ └── ingegneria-elettronica.md ├── laurea-magistrale │ ├── ingegneria-elettronica.md │ ├── ingegneria-telecomunicazioni.md │ ├── ingegneria-automazione.md │ └── ingegneria-informatica.md └── index.md ├── Makefile ├── mkdocs.yml ├── README.md ├── CONTRIBUTING.md └── LICENSE /requirements.txt: -------------------------------------------------------------------------------- 1 | mkdocs>=1.5,<2.0 2 | mkdocs-material>=9.5,<10.0 3 | watchdog -------------------------------------------------------------------------------- /pdfs/laurea-magistrale/ingegneria-automazione.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnicalLoveTelegram/IndiceArgomentiOrale/HEAD/pdfs/laurea-magistrale/ingegneria-automazione.pdf -------------------------------------------------------------------------------- /pdfs/laurea-magistrale/ingegneria-elettronica.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnicalLoveTelegram/IndiceArgomentiOrale/HEAD/pdfs/laurea-magistrale/ingegneria-elettronica.pdf -------------------------------------------------------------------------------- /pdfs/laurea-magistrale/ingegneria-informatica.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnicalLoveTelegram/IndiceArgomentiOrale/HEAD/pdfs/laurea-magistrale/ingegneria-informatica.pdf -------------------------------------------------------------------------------- /pdfs/laurea-triennale/ingegneria-alimentare.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnicalLoveTelegram/IndiceArgomentiOrale/HEAD/pdfs/laurea-triennale/ingegneria-alimentare.pdf -------------------------------------------------------------------------------- /pdfs/laurea-triennale/ingegneria-elettronica.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnicalLoveTelegram/IndiceArgomentiOrale/HEAD/pdfs/laurea-triennale/ingegneria-elettronica.pdf -------------------------------------------------------------------------------- /pdfs/laurea-triennale/ingegneria-informatica.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnicalLoveTelegram/IndiceArgomentiOrale/HEAD/pdfs/laurea-triennale/ingegneria-informatica.pdf -------------------------------------------------------------------------------- /pdfs/laurea-magistrale/ingegneria-telecomunicazioni.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnicalLoveTelegram/IndiceArgomentiOrale/HEAD/pdfs/laurea-magistrale/ingegneria-telecomunicazioni.pdf -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | # Python virtual environments 2 | .venv/ 3 | venv/ 4 | env/ 5 | ENV/ 6 | 7 | # MkDocs build output 8 | site/ 9 | 10 | # Python cache 11 | __pycache__/ 12 | *.py[cod] 13 | *$py.class 14 | .mypy_cache/ 15 | .pytest_cache/ 16 | 17 | # Logs 18 | *.log 19 | 20 | # macOS metadata 21 | .DS_Store 22 | -------------------------------------------------------------------------------- /CHANGELOG_VERSIONE2.md: -------------------------------------------------------------------------------- 1 | # Changelog VERSIONE 2 2 | 3 | Grazie ad [Umberto Ciccia](https://github.com/umbertocicciaa) il progetto IndiceArgomentiOrale è un po' cambiato: 4 | 5 | - è stato introdotto il website come github page tramite MKDocs 6 | - I files son stati spostati dentro [la cartella docs](/docs/) 7 | - Linee guida, readme e materiale di documentazione è stato di conseguenza cambiato 8 | - modificate le github action per creare il flusso che crea il sito web statico 9 | 10 | Ringrazio ancora Umberto per l'impegno, e spero apprezzerete anche voi il lavoro fatto. 11 | -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/correzione-di-una-testimonianza.md: -------------------------------------------------------------------------------- 1 | --- 2 | name: Correzione di una Testimonianza 3 | about: Hai notato qualche errore di battitura o altro? segnalalo qua 4 | title: 'Correzione Testimonianza in [NOME CORSO DI LAUREA] ' 5 | labels: bug 6 | assignees: '' 7 | 8 | --- 9 | 10 | # nome corso di laurea - es: ingegneria informatica LT 11 | 12 | ## materia - es: ingegneria del software 13 | 14 | ### Professore con cui si è svolto l'esame - es: Furfaro Angelo 15 | 16 | #### anno di riferimento ( quello di settembre ) - es: 2018/2019 17 | 18 | - NOME ESAMINANDO oppure Anonimi 19 | - domanda o domande da correggere 20 | -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/aggiunta-testimonianza.md: -------------------------------------------------------------------------------- 1 | --- 2 | name: Aggiunta testimonianza 3 | about: 'come aggiungere una testimonianza al file ' 4 | title: Aggiunta testimonianza NOMEMATERIA-ANNO-NOMESTUDENTE 5 | labels: enhancement 6 | assignees: '' 7 | 8 | --- 9 | 10 | # nome corso di laurea - es: ingegneria informatica LT 11 | 12 | ## materia - es: ingegneria del software 13 | 14 | ### Professore con cui si è svolto l'esame - es: Furfaro Angelo 15 | 16 | #### anno di riferimento ( quello di settembre ) - es: 2018/2019 17 | 18 | - NOME ESAMINANDO oppure Anonimi 19 | - domanda 1 20 | - domanda correlata a domanda 1 21 | - risposta ( se la si vuole inserire) 22 | - domanda 2 23 | - domanda 3 24 | etc... 25 | -------------------------------------------------------------------------------- /docs/laurea-triennale/ingegneria-alimentare.md: -------------------------------------------------------------------------------- 1 | # Indice delle domande degli esami orali: Ingegneria Alimentare LT 2 | 3 | Questo file contiene le testimonianze degli esami orali di vari studenti del corso di laurea in **Ingegneria Alimentare Laurea Triennale** all' **Unical** ( *Università della Calabria* ) e fa parte del progetto [Indice Argomenti Orali](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale) gestito dall'organizzazione **UnicalLoveTelegram** 4 | 5 | Leggi il nostro [README](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/README.md) per conoscere tutti i dettagli del progetto, sapere come partecipare e come sfogliare tutto il nostro materiale! 6 | 7 | - [Indice delle domande degli esami orali: Ingegneria Alimentare LT](#indice-delle-domande-degli-esami-orali-ingegneria-alimentare-lt) 8 | -------------------------------------------------------------------------------- /docs/laurea-magistrale/ingegneria-elettronica.md: -------------------------------------------------------------------------------- 1 | # Indice delle domande degli esami orali: Ingegneria Elettronica LM 2 | 3 | Questo file contiene le testimonianze degli esami orali di vari studenti del corso di laurea in **Ingegneria Elettronica Laurea Magistrale** all' **Unical** ( *Università della Calabria* ) e fa parte del progetto [Indice Argomenti Orali](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale) gestito dall'organizzazione **UnicalLoveTelegram** 4 | 5 | Leggi il nostro [README](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/README.md) per conoscere tutti i dettagli del progetto, sapere come partecipare e come sfogliare tutto il nostro materiale! 6 | 7 | - [Indice delle domande degli esami orali: Ingegneria Elettronica LM](#indice-delle-domande-degli-esami-orali-ingegneria-elettronica-lm) 8 | -------------------------------------------------------------------------------- /.github/workflows/buildpdfs.yml: -------------------------------------------------------------------------------- 1 | name: Docs to PDF 2 | on: 3 | workflow_dispatch: 4 | push: 5 | branches: 6 | - main 7 | 8 | jobs: 9 | converttopdf: 10 | name: Build PDF 11 | runs-on: ubuntu-latest 12 | steps: 13 | - uses: actions/checkout@v3 14 | 15 | - name: Convert Markdown to PDF (Triennale) 16 | uses: baileyjm02/markdown-to-pdf@v1.2.0 17 | with: 18 | input_dir: ./docs/laurea-triennale 19 | output_dir: ./pdfs/laurea-triennale/ 20 | build_html: false 21 | table_of_contents: false 22 | 23 | - name: Convert Markdown to PDF (Magistrale) 24 | uses: baileyjm02/markdown-to-pdf@v1.2.0 25 | with: 26 | input_dir: ./docs/laurea-magistrale 27 | output_dir: ./pdfs/laurea-magistrale/ 28 | build_html: false 29 | table_of_contents: false 30 | 31 | - name: Commit and push PDFs 32 | run: | 33 | git config --global user.name 'github-actions[bot]' 34 | git config --global user.email 'github-actions[bot]@users.noreply.github.com' 35 | git add * 36 | git commit -m 'Add generated PDFs' 37 | git push -------------------------------------------------------------------------------- /.github/workflows/deploy.yml: -------------------------------------------------------------------------------- 1 | name: Deploy MkDocs site 2 | 3 | on: 4 | push: 5 | branches: 6 | - main 7 | workflow_dispatch: 8 | 9 | permissions: 10 | contents: read 11 | pages: write 12 | id-token: write 13 | 14 | concurrency: 15 | group: "pages" 16 | cancel-in-progress: false 17 | 18 | jobs: 19 | build: 20 | runs-on: ubuntu-latest 21 | steps: 22 | - name: Checkout repository 23 | uses: actions/checkout@v4 24 | 25 | - name: Set up Python 26 | uses: actions/setup-python@v5 27 | with: 28 | python-version: "3.11" 29 | 30 | - name: Install dependencies 31 | run: | 32 | python -m pip install --upgrade pip 33 | pip install -r requirements.txt 34 | 35 | - name: Build MkDocs site 36 | run: mkdocs build --site-dir site 37 | 38 | - name: Upload artifact 39 | uses: actions/upload-pages-artifact@v3 40 | with: 41 | path: site 42 | 43 | deploy: 44 | needs: build 45 | environment: 46 | name: github-pages 47 | url: ${{ steps.deployment.outputs.page_url }} 48 | runs-on: ubuntu-latest 49 | steps: 50 | - name: Deploy to GitHub Pages 51 | id: deployment 52 | uses: actions/deploy-pages@v4 53 | -------------------------------------------------------------------------------- /docs/laurea-magistrale/ingegneria-telecomunicazioni.md: -------------------------------------------------------------------------------- 1 | # Indice delle domande degli esami orali: Ingegneria delle Telecomunicazioni LM 2 | 3 | Questo file contiene le testimonianze degli esami orali di vari studenti del corso di laurea in **Ingegneria delle Telecomunicazioni Laurea Magistrale** all' **Unical** ( *Università della Calabria* ) e fa parte del progetto [Indice Argomenti Orali](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale) gestito dall'organizzazione **UnicalLoveTelegram** 4 | 5 | Leggi il nostro [README](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/README.md) per conoscere tutti i dettagli del progetto, sapere come partecipare e come sfogliare tutto il nostro materiale! 6 | 7 | - [Indice delle domande degli esami orali: Ingegneria delle Telecomunicazioni LM](#indice-delle-domande-degli-esami-orali-ingegneria-delle-telecomunicazioni-lm) 8 | - [Programmazione Dispositivi Mobili](#programmazione-dispositivi-mobili) 9 | - [Francesco Pupo](#francesco-pupo) 10 | 11 | ## Programmazione Dispositivi Mobili 12 | 13 | ### Francesco Pupo 14 | 15 | **2020/2021** 16 | 17 | - Anonimi 18 | - Commitment 19 | - Teorema del Pollo 20 | - dilemma prigionieri 21 | - alcuni casi di cooperazione e tradimento (per esempio perché 4-1 e 1-4 non sono equilibri?) 22 | - equilibrio di nash 23 | -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- 1 | # Default commands for working with the MkDocs site using a local venv. 2 | 3 | PYTHON ?= python3 4 | VENV_DIR ?= .venv 5 | 6 | ifeq ($(OS),Windows_NT) 7 | VENV_BIN := $(VENV_DIR)/Scripts 8 | else 9 | VENV_BIN := $(VENV_DIR)/bin 10 | endif 11 | 12 | VENV_PYTHON := $(VENV_BIN)/python 13 | PIP := $(VENV_PYTHON) -m pip 14 | MKDOCS := $(VENV_BIN)/mkdocs 15 | SITE_DIR ?= site 16 | 17 | .PHONY: help venv serve build clean 18 | 19 | help: 20 | @echo "Available targets:" 21 | @echo " venv - Create the local Python virtual environment ($(VENV_DIR))" 22 | @echo " install - Install MkDocs and dependencies inside the venv" 23 | @echo " serve - Run mkdocs serve with live reload (http://127.0.0.1:8000)" 24 | @echo " build - Build the static site into the $(SITE_DIR)/ directory" 25 | @echo " clean - Remove the generated $(SITE_DIR)/ directory" 26 | 27 | venv: 28 | @if [ ! -d "$(VENV_DIR)" ]; then \ 29 | $(PYTHON) -m venv $(VENV_DIR); \ 30 | fi 31 | 32 | install: $(VENV_DIR)/.installed 33 | 34 | $(VENV_DIR)/.installed: requirements.txt | venv 35 | $(VENV_PYTHON) -m pip install --upgrade pip 36 | $(PIP) install -r requirements.txt 37 | @touch $@ 38 | 39 | serve: install 40 | $(MKDOCS) serve --livereload --watch docs --dirtyreload 41 | 42 | build: install 43 | $(MKDOCS) build --site-dir $(SITE_DIR) 44 | 45 | clean: 46 | rm -rf $(SITE_DIR) 47 | -------------------------------------------------------------------------------- /docs/laurea-magistrale/ingegneria-automazione.md: -------------------------------------------------------------------------------- 1 | # Indice delle domande degli esami orali: Ingegneria dell' Automazione 2 | 3 | Questo file contiene le testimonianze degli esami orali di vari studenti del corso di laurea in **Ingegneria Ingegneria dell' Automazione Laurea Magistrale** all' **Unical** ( *Università della Calabria* ) e fa parte del progetto [Indice Argomenti Orali](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale) gestito dall'organizzazione **UnicalLoveTelegram** 4 | 5 | Leggi il nostro [README](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/README.md) per conoscere tutti i dettagli del progetto, sapere come partecipare e come sfogliare tutto il nostro materiale! 6 | 7 | - [Indice delle domande degli esami orali: Ingegneria dell' Automazione](#indice-delle-domande-degli-esami-orali-ingegneria-dell-automazione) 8 | - [Teoria dei sistemi](#teoria-dei-sistemi) 9 | - [Casavola](#casavola) 10 | 11 | ## Teoria dei sistemi 12 | 13 | ### Casavola 14 | 15 | **2018 2019** 16 | 17 | - Carmen 18 | - Linearizzazione 19 | - Taratura modelli ARMA 20 | - Analisi in frequenza 21 | - Risposta Libera 22 | - Esponenziale di matrice 23 | - Sylvester 24 | - Raggiungibilità 25 | - Osservabilità 26 | - Partizione alla Kalman 27 | - Trasferimento Energia minima 28 | - retroazione 29 | - retroazione dead beat 30 | -------------------------------------------------------------------------------- /mkdocs.yml: -------------------------------------------------------------------------------- 1 | 2 | site_name: Unical<3Telegram 3 | site_description: Raccolta collaborativa delle domande per gli esami orali dei corsi di Ingegneria all'Università della Calabria. 4 | site_url: https://unicallovetelegram.github.io/IndiceArgomentiOrale/ 5 | repo_url: https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale 6 | repo_name: UnicalLoveTelegram/IndiceArgomentiOrale 7 | theme: 8 | name: material 9 | language: it 10 | features: 11 | - navigation.instant 12 | - navigation.sections 13 | - navigation.expand 14 | - toc.follow 15 | palette: 16 | - scheme: default 17 | primary: indigo 18 | accent: red 19 | nav: 20 | - Home: index.md 21 | - Laurea Triennale: 22 | - Ingegneria Informatica: laurea-triennale/ingegneria-informatica.md 23 | - Ingegneria Elettronica: laurea-triennale/ingegneria-elettronica.md 24 | - Ingegneria Alimentare: laurea-triennale/ingegneria-alimentare.md 25 | - Laurea Magistrale: 26 | - Ingegneria Informatica: laurea-magistrale/ingegneria-informatica.md 27 | - Ingegneria Elettronica: laurea-magistrale/ingegneria-elettronica.md 28 | - Ingegneria delle Telecomunicazioni: laurea-magistrale/ingegneria-telecomunicazioni.md 29 | - Ingegneria dell'Automazione: laurea-magistrale/ingegneria-automazione.md 30 | markdown_extensions: 31 | - admonition 32 | - toc: 33 | permalink: true 34 | - tables 35 | - attr_list 36 | - md_in_html 37 | -------------------------------------------------------------------------------- /docs/index.md: -------------------------------------------------------------------------------- 1 | # Indice Argomenti Orale 2 | 3 | Benvenutə nella raccolta collaborativa delle domande affrontate durante gli esami orali dei corsi di laurea in Ingegneria dell'Università della Calabria. Il progetto nasce dalla community **Telegram ❤️ Unical: Dimes** per aiutare chi sta preparando gli orali, condividendo testimonianze e suggerimenti. 4 | 5 | ## Come consultare il sito 6 | 7 | - Usa il menu di navigazione per sfogliare i corsi di laurea triennale e magistrale. 8 | - Ogni pagina è organizzata per insegnamento, docente e anno accademico. 9 | - Puoi effettuare ricerche rapide con la funzione di ricerca integrata (tasto `/` oppure icona lente in alto). 10 | 11 | ## Come contribuire 12 | 13 | Se vuoi aggiungere nuove domande o aggiornare le liste esistenti: 14 | 15 | 1. Consulta la pagina [Come contribuire](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/CONTRIBUTING.md) con le linee guida dettagliate. 16 | 2. Invia le domande direttamente al founder del gruppo Telegram oppure apri una issue/pull request sul [repository GitHub](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale). 17 | 18 | Ogni contributo è prezioso: ricordati sempre di indicare il docente con cui hai sostenuto l'esame. 19 | 20 | ## Struttura dei contenuti 21 | 22 | I file sono suddivisi per corso di laurea: 23 | 24 | - **Laurea Triennale**: Informatica, Elettronica, Alimentare. 25 | - **Laurea Magistrale**: Informatica, Elettronica, Telecomunicazioni, Automazione. 26 | 27 | All'interno di ciascuna pagina trovi l'indice dei corsi e, per ognuno, le domande raccolte per docente e anno. 28 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # Indice Argomenti Orale 2 | 3 | `Ver: 2.0` → leggi [Changelog Versione 2 per sapere cosa è cambiato](CHANGELOG_VERSIONE2.md) 4 | 5 | [Sito Web](https://unicallovetelegram.github.io/IndiceArgomentiOrale/) 6 | 7 | Questo è un indice di argomenti per lo studio teorico, creato dalla community di **Telegram ❤️ Unical: Dimes**, fatto appositamente per aiutarci a vicenda, stilando una raccolta delle domande che i professori fanno agli studenti durante le interrogazioni orali. 8 | 9 | Ringrazio innanzitutto Albus per aver proposto questo tipo di 10 | approccio, molto apprezzato e interessante. 11 | 12 | > Nota bene: 13 | > 14 | > Non è una guida su come affrontare le interrogazioni né un elenco di tutte le possibili domande, è solo una raccolta delle nostre esperienze. 15 | 16 | Se vuoi partecipare, invia le domande al founder del gruppo su Telegram o apri **un issue o una request** [sul nostro github](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale). 17 | 18 | Ricorda che comunque ogni aiuto è gradito dalla community e da chi dopo di te studierà quegli argomenti. Ti ringraziamo per la partecipazione e speriamo di poterti aiutare! 19 | Ricorda sempre di indicare il professore o l’esercitatore con il quale hai affrontato l’esame! 20 | 21 | ## Contribuire al progetto 22 | 23 | Riferirsi alle [linee guida di di contribuzione nel file CONTRIBUTING.md](./CONTRIBUTING.md) 24 | 25 | ## Partecipare o sfogliare il file 26 | 27 | L'intera struttura è basata su più file, uno a corso di laurea: 28 | 29 | - [LT Ingegneria Informatica](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/docs/laurea-triennale/ingegneria-informatica.md) 30 | - [LT Ingegneria Elettronica](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/docs/laurea-triennale/ingegneria-elettronica.md) 31 | - [LT Ingegneria Alimentare](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/docs/laurea-triennale/ingegneria-alimentare.md) 32 | - [LM Ingegneria Informatica](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/docs/laurea-magistrale/ingegneria-informatica.md) 33 | - [LM Ingegneria Elettronica](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/docs/laurea-magistrale/ingegneria-elettronica.md) 34 | - [LM Ingegneria Telecomunicazioni](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/docs/laurea-magistrale/ingegneria-telecomunicazioni.md) 35 | - [LM Ingegneria Automazione](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/docs/laurea-magistrale/ingegneria-automazione.md) 36 | 37 | I file sono perfettamente visionabili su github stesso, ma verrà comunque generato un pdf e messo nella directory pdf del progetto per ogni modifica 38 | 39 | Ogni file poi è strutturato a livelli: 40 | 41 | - materia (Titolo H1) 42 | - professore (Titolo H2) 43 | - anno (Nessun titolo, font **bold** e underlined) 44 | 45 | Ogni file è scritto con sintassi **Markdown** 46 | 47 | ## Leggere nel file 48 | 49 | Esiste un indice dei contenuti automaticamente aggiornato (tramite Visual studio code + AIOM ) ad inizio del file. 50 | 51 | Il vostro lettore pdf comunque, dovrebbe indicizzarne i capitoli 52 | Potete comunque effettuare banali ricerche con il vostro reader. 53 | -------------------------------------------------------------------------------- /docs/laurea-triennale/ingegneria-elettronica.md: -------------------------------------------------------------------------------- 1 | # Indice delle domande degli esami orali: Ingegneria Elettronica LT 2 | 3 | Questo file contiene le testimonianze degli esami orali di vari studenti del corso di laurea in **Ingegneria Elettronica Laurea Triennale** all' **Unical** ( *Università della Calabria* ) e fa parte del progetto [Indice Argomenti Orali](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale) gestito dall'organizzazione **UnicalLoveTelegram** 4 | 5 | Leggi il nostro [README](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/README.md) per conoscere tutti i dettagli del progetto, sapere come partecipare e come sfogliare tutto il nostro materiale! 6 | 7 | - [Indice delle domande degli esami orali: Ingegneria Elettronica LT](#indice-delle-domande-degli-esami-orali-ingegneria-elettronica-lt) 8 | - [Campi Elettromagnetici](#campi-elettromagnetici) 9 | - [Amendola Gian Domenico](#amendola-gian-domenico) 10 | - [Automatica](#automatica) 11 | - [Fedele Giuseppe](#fedele-giuseppe) 12 | - [Fisica 2](#fisica-2) 13 | - [Sindona Antonio](#sindona-antonio) 14 | - [Analisi 2](#analisi-2) 15 | - [Scuro Carmelo](#scuro-carmelo) 16 | - [Elettronica 1](#elettronica-1) 17 | - [Crupi Felice](#crupi-felice) 18 | - [Laboratorio di microcontrollori](#laboratorio-di-microcontrollori) 19 | - [Tedesco Francesco](#tedesco-francesco) 20 | - [Analisi 1](#analisi-1) 21 | - [Tavernise Marianna](#tavernise-marianna) 22 | - [Fisica 1](#fisica-1) 23 | - [Mastroberardino Anna](#mastroberardino-anna) 24 | - [Fondamenti di Informatica 1](#fondamenti-di-informatica-1) 25 | - [Savaglio Claudio](#savaglio-claudio) 26 | - [Elettrotecnica](#elettrotecnica) 27 | - [Ricci Marco](#ricci-marco) 28 | 29 | ## Campi Elettromagnetici 30 | 31 | ### Amendola Gian Domenico 32 | 33 | **2022 2023** 34 | 35 | - Anonimi 36 | - Incidenza normale su un buon conduttore 37 | - dimostrazione angolo di totale trasmissione di un onda obliqua 38 | - potenza onda obliqua 39 | - densità di potenza 40 | 41 | ## Automatica 42 | 43 | ### Fedele Giuseppe 44 | 45 | **2023 2024** 46 | 47 | - Anonimi 48 | - Teorema di Nyquist 49 | - definizione di poli/zeri 50 | - asintoticità sistemi 51 | 52 | ## Fisica 2 53 | 54 | ### Sindona Antonio 55 | 56 | **2022 2023** 57 | 58 | - Anonimi 59 | - Potenziali ritardati 60 | - polarizzazione lineare e circolare 61 | - teorema di poynting 62 | 63 | ## Analisi 2 64 | 65 | ### Scuro Carmelo 66 | 67 | **2022 2023** 68 | 69 | - Anonimi 70 | - Teorema del rotore 71 | - massimi e minimi di una funzione a 2 variabili 72 | - teorema Schwartz 73 | 74 | ## Elettronica 1 75 | 76 | ### Crupi Felice 77 | 78 | **2022 2023** 79 | 80 | - Anonimi 81 | - Dispositivo MOSFET 82 | - disegno e regione di funzionamento 83 | - dispositivo bjt 84 | - diodo led 85 | 86 | ## Laboratorio di microcontrollori 87 | 88 | ### Tedesco Francesco 89 | 90 | **2023 2024** 91 | 92 | - Anonimi 93 | - teorema di Nyquist 94 | - digitalizzazione controllore 95 | 96 | ## Analisi 1 97 | 98 | ### Tavernise Marianna 99 | 100 | **2022 2023** 101 | 102 | - Anonimi 103 | - problema del differenziale di una funzione in una variabile 104 | - assioma di continuità del campo r 105 | - differenza tra serie e integrali 106 | - teorema di weiestrass 107 | - teorema fondamentale del calcolo integrale 108 | - teorema dell'unicità del limite 109 | 110 | ## Fisica 1 111 | 112 | ### Mastroberardino Anna 113 | 114 | **2022 2023** 115 | 116 | - Anonimi 117 | - coordinate polari nel piano 118 | - teorema energia cinetica 119 | 120 | ## Fondamenti di Informatica 1 121 | 122 | ### Savaglio Claudio 123 | 124 | **2021 2022** 125 | 126 | - Anonimi 127 | - Somma complemento a 2 128 | - puntatore 129 | - kernel 130 | 131 | ## Elettrotecnica 132 | 133 | ### Ricci Marco 134 | 135 | **2021 2022** 136 | 137 | - Anonimi 138 | - condensatore e conduttori in forma fasoriale 139 | - teorema norton 140 | - teorema tevenin 141 | -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- 1 | # Linee guida per i contributi 2 | 3 | Grazie per il tuo interesse a contribuire! Questo repository ora pubblica un sito statico in Markdown con [MkDocs](https://www.mkdocs.org/) e viene distribuito automaticamente su GitHub Pages. Le sezioni seguenti spiegano come proporre idee, modifiche e come verificare il sito in locale. 4 | 5 | ## Lanciare il progetto in locale 6 | 7 | Per visualizzare il sito MkDocs in locale e verificare le modifiche prima di aprire una pull request segui questi passaggi. Il repository include un `Makefile` che automatizza la creazione dell'ambiente virtuale e l'esecuzione dei comandi principali. 8 | 9 | ### Prerequisiti 10 | 11 | - **Python 3.10 o superiore** installato e disponibile come `python3`. 12 | - **make** (su macOS e Linux è già presente; su Windows puoi usare WSL o `make` fornito da Git for Windows). 13 | - Facoltativo ma consigliato: `pip` aggiornato. 14 | 15 | ### Setup e server di sviluppo 16 | 17 | 1. Installa le dipendenze all'interno di una virtualenv locale (creata automaticamente in `.venv/`): 18 | 19 | ```bash 20 | make install 21 | ``` 22 | 23 | 2. Avvia il server di anteprima con auto-reload; la documentazione sarà disponibile su `http://127.0.0.1:8000`: 24 | 25 | ```bash 26 | make serve 27 | ``` 28 | 29 | Premi `Ctrl+C` per interrompere il server quando hai terminato. 30 | 31 | ### Verifica della build e manutenzione 32 | 33 | - Genera il sito statico completo (utile per scoprire errori di configurazione prima di una PR): 34 | 35 | ```bash 36 | make build 37 | ``` 38 | 39 | - Ripulisci gli artefatti generati dalla build: 40 | 41 | ```bash 42 | make clean 43 | ``` 44 | 45 | - Elenca tutti i target disponibili del `Makefile`: 46 | 47 | ```bash 48 | make help 49 | ``` 50 | 51 | Tutti i comandi creano e usano l'ambiente virtuale locale; non è necessario attivarlo manualmente. Ricorda di eseguire `make install` dopo aver aggiornato `requirements.txt` per sincronizzare le dipendenze. 52 | 53 | ## Modalità di contributo 54 | 55 | ### Aprire una issue 56 | 57 | Se vuoi proporre nuove testimonianze, correggere contenuti esistenti o segnalare PDF da aggiornare, apri una nuova issue dalla pagina [Issues](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/issues) e scegli il template più adatto: 58 | 59 | - **Aggiunta di una testimonianza** per condividere nuove domande. 60 | - **Correzione di una testimonianza** per aggiornare domande già presenti. 61 | - **Generazione di un PDF** per chiedere la rigenerazione degli export. 62 | 63 | Ricorda che le issue **non** modificano direttamente i file: servono come promemoria e discussione per poi procedere con la modifica effettiva (PR). 64 | 65 | ### Inviare una pull request 66 | 67 | 1. **Fork** del repository. 68 | 2. **Clona** il fork sul tuo computer: 69 | 70 | ```bash 71 | git clone https://github.com/tuo-username/IndiceArgomentiOrale.git 72 | cd IndiceArgomentiOrale 73 | ``` 74 | 75 | 3. **Crea un branch** dedicato: 76 | 77 | ```bash 78 | git checkout -b nome-del-branch 79 | ``` 80 | 81 | 4. \[Opzionale\] **Prepara l’ambiente** e avvia l’anteprima locale: 82 | 83 | ```bash 84 | make install 85 | make serve # il sito sarà disponibile su http://127.0.0.1:8000 86 | ``` 87 | 88 | 5. **Modifica i file Markdown**. Tutto il contenuto pubblicato vive nella cartella `docs/`: 89 | - `docs/laurea-triennale/` per i corsi LT 90 | - `docs/laurea-magistrale/` per i corsi LM 91 | 6. **Verifica il sito**. Prima di creare la PR assicurati che la build vada a buon fine: 92 | 93 | ```bash 94 | make build 95 | ``` 96 | 97 | 7. **Commit e push** delle modifiche: 98 | 99 | ```bash 100 | git commit -am "Breve descrizione del contributo" 101 | git push origin nome-del-branch 102 | ``` 103 | 104 | 8. **Apri la pull request** descrivendo chiaramente cosa hai cambiato e perché. 105 | 106 | ## Stile e formattazione delle testimonianze 107 | 108 | - I file sono scritti in **Markdown** standard con qualche tocco HTML (ad esempio `` per il testo sottolineato). Mantieni lo stesso stile esistente. 109 | - Ogni testimonianza segue la gerarchia: 110 | 1. Titolo H1 per il corso 111 | 2. Titolo H2 per il docente 112 | 3. Anno in grassetto e sottolineato (`**2024/2025**`) 113 | 4. Elenco puntato con le domande 114 | - Mantieni l’ordine alfabetico/cronologico già presente. 115 | - Usa spazi anziché tab per indentare gli elenchi annidati. 116 | - Se aggiungi termini in inglese, non tradurre i titoli degli insegnamenti già consolidati. 117 | 118 | ## Struttura del repository 119 | 120 | - `docs/` contiene tutte le pagine pubblicate. Qualsiasi nuovo corso deve essere aggiunto qui e referenziato nel `mkdocs.yml`. 121 | - `mkdocs.yml` definisce menu, tema e opzioni del sito. Aggiornalo se aggiungi nuove pagine. 122 | - `Makefile` fornisce i comandi principali (`make install`, `make serve`, `make build`, `make clean`). 123 | - `requirements.txt` elenca le dipendenze Python necessarie per MkDocs. 124 | - `pdf/`, `pdfs/` e `Vecchio Indice/` conservano gli esporti in PDF e i materiali storici. 125 | 126 | ## Norme di condotta 127 | 128 | - Rispetta gli altri collaboratori e mantieni un linguaggio appropriato. 129 | - Evita di inserire dati personali o sensibili nelle testimonianze. 130 | - Discuti nelle issue se hai dubbi sul formato o sul posizionamento dei contenuti. 131 | 132 | Grazie ancora per il tuo contributo: mantenere aggiornato questo indice aiuta l’intera community! Se hai domande o vuoi suggerire miglioramenti alle linee guida, apri pure una issue dedicata. 133 | 134 | 135 | ### Indice 136 | 137 | L'indice viene automaticamente creato da MkDocs 138 | 139 | 140 | #### Alcuni consigli di buona scrittura 141 | 142 | - Lasciare almeno un rigo vuoto tra un titolo e un altro 143 | - meglio utilizzare gli elenchi puntati per dividere una testimonianza da un altra 144 | - meglio utilizzare codice inline o grassetto 145 | 146 | 147 | Grazie per il tuo contributo! 148 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | Creative Commons Legal Code 2 | 3 | CC0 1.0 Universal 4 | 5 | CREATIVE COMMONS CORPORATION IS NOT A LAW FIRM AND DOES NOT PROVIDE 6 | LEGAL SERVICES. DISTRIBUTION OF THIS DOCUMENT DOES NOT CREATE AN 7 | ATTORNEY-CLIENT RELATIONSHIP. CREATIVE COMMONS PROVIDES THIS 8 | INFORMATION ON AN "AS-IS" BASIS. CREATIVE COMMONS MAKES NO WARRANTIES 9 | REGARDING THE USE OF THIS DOCUMENT OR THE INFORMATION OR WORKS 10 | PROVIDED HEREUNDER, AND DISCLAIMS LIABILITY FOR DAMAGES RESULTING FROM 11 | THE USE OF THIS DOCUMENT OR THE INFORMATION OR WORKS PROVIDED 12 | HEREUNDER. 13 | 14 | Statement of Purpose 15 | 16 | The laws of most jurisdictions throughout the world automatically confer 17 | exclusive Copyright and Related Rights (defined below) upon the creator 18 | and subsequent owner(s) (each and all, an "owner") of an original work of 19 | authorship and/or a database (each, a "Work"). 20 | 21 | Certain owners wish to permanently relinquish those rights to a Work for 22 | the purpose of contributing to a commons of creative, cultural and 23 | scientific works ("Commons") that the public can reliably and without fear 24 | of later claims of infringement build upon, modify, incorporate in other 25 | works, reuse and redistribute as freely as possible in any form whatsoever 26 | and for any purposes, including without limitation commercial purposes. 27 | These owners may contribute to the Commons to promote the ideal of a free 28 | culture and the further production of creative, cultural and scientific 29 | works, or to gain reputation or greater distribution for their Work in 30 | part through the use and efforts of others. 31 | 32 | For these and/or other purposes and motivations, and without any 33 | expectation of additional consideration or compensation, the person 34 | associating CC0 with a Work (the "Affirmer"), to the extent that he or she 35 | is an owner of Copyright and Related Rights in the Work, voluntarily 36 | elects to apply CC0 to the Work and publicly distribute the Work under its 37 | terms, with knowledge of his or her Copyright and Related Rights in the 38 | Work and the meaning and intended legal effect of CC0 on those rights. 39 | 40 | 1. Copyright and Related Rights. A Work made available under CC0 may be 41 | protected by copyright and related or neighboring rights ("Copyright and 42 | Related Rights"). Copyright and Related Rights include, but are not 43 | limited to, the following: 44 | 45 | i. the right to reproduce, adapt, distribute, perform, display, 46 | communicate, and translate a Work; 47 | ii. moral rights retained by the original author(s) and/or performer(s); 48 | iii. publicity and privacy rights pertaining to a person's image or 49 | likeness depicted in a Work; 50 | iv. rights protecting against unfair competition in regards to a Work, 51 | subject to the limitations in paragraph 4(a), below; 52 | v. rights protecting the extraction, dissemination, use and reuse of data 53 | in a Work; 54 | vi. database rights (such as those arising under Directive 96/9/EC of the 55 | European Parliament and of the Council of 11 March 1996 on the legal 56 | protection of databases, and under any national implementation 57 | thereof, including any amended or successor version of such 58 | directive); and 59 | vii. other similar, equivalent or corresponding rights throughout the 60 | world based on applicable law or treaty, and any national 61 | implementations thereof. 62 | 63 | 2. Waiver. To the greatest extent permitted by, but not in contravention 64 | of, applicable law, Affirmer hereby overtly, fully, permanently, 65 | irrevocably and unconditionally waives, abandons, and surrenders all of 66 | Affirmer's Copyright and Related Rights and associated claims and causes 67 | of action, whether now known or unknown (including existing as well as 68 | future claims and causes of action), in the Work (i) in all territories 69 | worldwide, (ii) for the maximum duration provided by applicable law or 70 | treaty (including future time extensions), (iii) in any current or future 71 | medium and for any number of copies, and (iv) for any purpose whatsoever, 72 | including without limitation commercial, advertising or promotional 73 | purposes (the "Waiver"). Affirmer makes the Waiver for the benefit of each 74 | member of the public at large and to the detriment of Affirmer's heirs and 75 | successors, fully intending that such Waiver shall not be subject to 76 | revocation, rescission, cancellation, termination, or any other legal or 77 | equitable action to disrupt the quiet enjoyment of the Work by the public 78 | as contemplated by Affirmer's express Statement of Purpose. 79 | 80 | 3. Public License Fallback. Should any part of the Waiver for any reason 81 | be judged legally invalid or ineffective under applicable law, then the 82 | Waiver shall be preserved to the maximum extent permitted taking into 83 | account Affirmer's express Statement of Purpose. In addition, to the 84 | extent the Waiver is so judged Affirmer hereby grants to each affected 85 | person a royalty-free, non transferable, non sublicensable, non exclusive, 86 | irrevocable and unconditional license to exercise Affirmer's Copyright and 87 | Related Rights in the Work (i) in all territories worldwide, (ii) for the 88 | maximum duration provided by applicable law or treaty (including future 89 | time extensions), (iii) in any current or future medium and for any number 90 | of copies, and (iv) for any purpose whatsoever, including without 91 | limitation commercial, advertising or promotional purposes (the 92 | "License"). The License shall be deemed effective as of the date CC0 was 93 | applied by Affirmer to the Work. Should any part of the License for any 94 | reason be judged legally invalid or ineffective under applicable law, such 95 | partial invalidity or ineffectiveness shall not invalidate the remainder 96 | of the License, and in such case Affirmer hereby affirms that he or she 97 | will not (i) exercise any of his or her remaining Copyright and Related 98 | Rights in the Work or (ii) assert any associated claims and causes of 99 | action with respect to the Work, in either case contrary to Affirmer's 100 | express Statement of Purpose. 101 | 102 | 4. Limitations and Disclaimers. 103 | 104 | a. No trademark or patent rights held by Affirmer are waived, abandoned, 105 | surrendered, licensed or otherwise affected by this document. 106 | b. Affirmer offers the Work as-is and makes no representations or 107 | warranties of any kind concerning the Work, express, implied, 108 | statutory or otherwise, including without limitation warranties of 109 | title, merchantability, fitness for a particular purpose, non 110 | infringement, or the absence of latent or other defects, accuracy, or 111 | the present or absence of errors, whether or not discoverable, all to 112 | the greatest extent permissible under applicable law. 113 | c. Affirmer disclaims responsibility for clearing rights of other persons 114 | that may apply to the Work or any use thereof, including without 115 | limitation any person's Copyright and Related Rights in the Work. 116 | Further, Affirmer disclaims responsibility for obtaining any necessary 117 | consents, permissions or other rights required for any use of the 118 | Work. 119 | d. Affirmer understands and acknowledges that Creative Commons is not a 120 | party to this document and has no duty or obligation with respect to 121 | this CC0 or use of the Work. 122 | -------------------------------------------------------------------------------- /docs/laurea-magistrale/ingegneria-informatica.md: -------------------------------------------------------------------------------- 1 | # Indice delle domande degli esami orali: Ingegneria Informatica LM 2 | 3 | Questo file contiene le testimonianze degli esami orali di vari studenti del corso di laurea in **Ingegneria Informatica Laurea Magistrale** all' **Unical** ( *Università della Calabria* ) e fa parte del progetto [Indice Argomenti Orali](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale) gestito dall'organizzazione **UnicalLoveTelegram** 4 | 5 | Leggi il nostro [README](https://github.com/UnicalLoveTelegram/IndiceArgomentiOrale/blob/main/README.md) per conoscere tutti i dettagli del progetto, sapere come partecipare e come sfogliare tutto il nostro materiale! 6 | 7 | - [Indice delle domande degli esami orali: Ingegneria Informatica LM](#indice-delle-domande-degli-esami-orali-ingegneria-informatica-lm) 8 | - [Software Security](#software-security) 9 | - [Angelo Furfaro](#angelo-furfaro) 10 | - [Analisi di Social Network e Media](#analisi-di-social-network-e-media) 11 | - [Andrea Tagarelli](#andrea-tagarelli) 12 | - [Machine e Deep Learning](#machine-e-deep-learning) 13 | - [Angiulli Fabrizio](#angiulli-fabrizio) 14 | - [Data Mining](#data-mining) 15 | - [Sergio Greco](#sergio-greco) 16 | - [Ethical Hacking](#ethical-hacking) 17 | - [Francesco Lupia](#francesco-lupia) 18 | - [Angelo Furfaro](#angelo-furfaro-1) 19 | - [Metodi Informatici per l'analisi dei Processi](#metodi-informatici-per-lanalisi-dei-processi) 20 | - [Antonella Guzzo](#antonella-guzzo) 21 | - [Metodi e Strumenti per la Sicurezza Informatica](#metodi-e-strumenti-per-la-sicurezza-informatica) 22 | - [Michele Ianni](#michele-ianni) 23 | - [Business Intelligence](#business-intelligence) 24 | - [Filippo Furfaro](#filippo-furfaro) 25 | - [Strategie e Politiche Aziendali](#strategie-e-politiche-aziendali) 26 | - [Patrizia Pastore](#patrizia-pastore) 27 | - [Modelli e Tecniche per i Big Data](#modelli-e-tecniche-per-i-big-data) 28 | - [Paolo Trunfio](#paolo-trunfio) 29 | - [Architetture e programmazione dei sistemi di elaborazione](#architetture-e-programmazione-dei-sistemi-di-elaborazione) 30 | - [Fabrizio Angiulli](#fabrizio-angiulli) 31 | - [Linguaggi Formali](#linguaggi-formali) 32 | - [Domenico Saccà](#domenico-saccà) 33 | - [Rullo](#rullo) 34 | - [Informatica teorica](#informatica-teorica) 35 | - [Scarcello Francesco](#scarcello-francesco) 36 | - [Palopoli Luigi](#palopoli-luigi) 37 | - [Ottimizzazione](#ottimizzazione) 38 | - [Maria Flavia Monaco](#maria-flavia-monaco) 39 | - [Giovanni Giallombardo](#giovanni-giallombardo) 40 | - [Valutazione delle prestazioni](#valutazione-delle-prestazioni) 41 | - [Pasquale Legato](#pasquale-legato) 42 | - [Intelligenza Artificiale (6 CFU)](#intelligenza-artificiale-6-cfu) 43 | - [Palopoli Luigi](#palopoli-luigi-1) 44 | - [Intelligenza Artificiale (9 CFU)](#intelligenza-artificiale-9-cfu) 45 | - [Scarcello Francesco](#scarcello-francesco-1) 46 | - [Intelligenza Artificiale e rappresentazione della conoscenza (12 CFU)](#intelligenza-artificiale-e-rappresentazione-della-conoscenza-12-cfu) 47 | - [Palopoli Luigi](#palopoli-luigi-2) 48 | - [Sergio Greco](#sergio-greco-1) 49 | - [Rappresentazione della Conoscenza (6 CFU)](#rappresentazione-della-conoscenza-6-cfu) 50 | - [Sergio Greco](#sergio-greco-2) 51 | - [Sistemi Informativi](#sistemi-informativi) 52 | - [Cassavia](#cassavia) 53 | - [Sistemi Informativi Ambientali](#sistemi-informativi-ambientali) 54 | - [Davide Luciano De Luca](#davide-luciano-de-luca) 55 | - [ISSTRA Ingegneria del software per sistemi real-time ed agenti](#isstra-ingegneria-del-software-per-sistemi-real-time-ed-agenti) 56 | - [Libero Nigro](#libero-nigro) 57 | - [Sistemi Distribuiti e Cloud Computing ( 6 CFU e 9 CFU )](#sistemi-distribuiti-e-cloud-computing--6-cfu-e-9-cfu-) 58 | - [Talia Domenico](#talia-domenico) 59 | - [Loris Belcastro](#loris-belcastro) 60 | - [Basi di Dati evolute](#basi-di-dati-evolute) 61 | - [Molinaro Cristian](#molinaro-cristian) 62 | - [Calcolo Numerico](#calcolo-numerico) 63 | - [Yaroslav Sergeyev](#yaroslav-sergeyev) 64 | - [Marat Mukhametzhanov](#marat-mukhametzhanov) 65 | - [Dmitry](#dmitry) 66 | - [Crittografia e analisi reti sociali](#crittografia-e-analisi-reti-sociali) 67 | - [Molinaro Cristian](#molinaro-cristian-1) 68 | - [Algoritmi di Crittografia](#algoritmi-di-crittografia) 69 | - [Cristian Molinaro](#cristian-molinaro) 70 | - [Economia Aziendale](#economia-aziendale) 71 | - [Sicoli](#sicoli) 72 | 73 | 74 | ## Software Security 75 | 76 | ### Angelo Furfaro 77 | 78 | **2024 2025** 79 | 80 | - Anonimo 81 | - format string 82 | - fasi di compilazione 83 | - il binario 84 | - formato Elf 85 | 86 | ## Analisi di Social Network e Media 87 | 88 | ### Andrea Tagarelli 89 | 90 | **2021 2022** 91 | 92 | - Anonimi 93 | - Tim (algoritmo sketch based) 94 | - Modularità, Louvain con formule 95 | - Infomap con formule 96 | - Katz centrality 97 | - Perché la soluzione di bonacich e loyd differisce da quella di katz di una costante 98 | - SimRank 99 | - qual è la sua ratio, ossia perché ci piace fare la media dei simRank dei vicini e che legame c’è con la katz centrality 100 | - simPath 101 | - Cosa introduce il Page Rank rispetto alla Katz Centrality 102 | - concentrarsi molto sul significato delle formule e anche sulla memorizzazione della formula stessa (di qualsiasi difficoltà) 103 | - RIS di influence maximization 104 | - Metodo Montecarlo per l'influence maximization 105 | - CNM community detection 106 | - Differenza tra small world e scale free 107 | - Algoritmo di Louvian 108 | - Metodi Girvan Newman 109 | - Small world e come si comporta il modello al variare del parametro beta 110 | - Preferential Attachment model 111 | 112 | ## Machine e Deep Learning 113 | 114 | ### Angiulli Fabrizio 115 | 116 | **2021 2022** 117 | 118 | - Anonimi 119 | - Pac learnability in generale 120 | - Derivazione formula Agnostic Pac Learning 121 | - stima di densità non parametrica, knn e KDE 122 | - Vita, morte e miracoli dell’SVM 123 | - Model selection(sia con validation set, che SRM e MDL) 124 | - Problemi di learning convesso 125 | - Discesa del gradiente 126 | - Predittori lineari in generale 127 | - Regressione logistica 128 | - Quale proprietà ha la cross entropy loss? Risposta: è una funzione convessa, si può applicare l'algoritmo di discesa del gradiente) 129 | - Principal Component Analysis (PCA) 130 | - (Di ogni argomento il professore richiede passaggi, formule matematiche ed eventuali grafici) 131 | 132 | **2023 2024** 133 | 134 | - Anonimi 135 | - VAE 136 | - GAN 137 | - agnostic PAC 138 | - learnability 139 | - svm 140 | 141 | ## Data Mining 142 | 143 | ### Sergio Greco 144 | 145 | **2021 2022** 146 | 147 | - Alessio 148 | - clustering gerarchico 149 | - entropia 150 | - reti neurali 151 | 152 | - Anonimi 153 | - KNN 154 | 155 | ## Ethical Hacking 156 | 157 | ### Francesco Lupia 158 | 159 | **2020 2021** 160 | 161 | - Anonimi 162 | - Reverse Shell e Bind Shell 163 | - sql injection con script php (cosa è e cosa fa) 164 | - challenge web con loose comparison 165 | - differenze attacchi x32 bit e x64 bit 166 | - rop chain e bruteforce sul indirizzo di ritorno 167 | - Metasploit cosa è 168 | - tool simili a metasploit per windows 169 | - challenge web che presentava degli endpoint e bisognava loggarsi come admin 170 | - challenge web con form di login e registrazione 171 | - format string 172 | - privilege escalation windows: cosa faresti? 173 | 174 | **2021 2022** 175 | 176 | - Anonimi 177 | - Spiegazione csrf 178 | - Differenze tra csrf e xss 179 | - Cos'è kerberos 180 | - challenge SSRF presente sul sito di [burp suite](https://portswigger.net/burp) (in teoria vi registrate, andate in accademy e poi nei vulnerabilty lab e cercate ssrf) 181 | - pass the hash: descrizione 182 | - challenge presente su natas [numero 8](https://overthewire.org/wargames/natas) 183 | - Hash md5: come si riconosce? 184 | - siamo con una Macchina Windows e si devono rispondere alle seguenti domande poste dal prof: 185 | - psexec 186 | - pass the ticket 187 | - comandi vari del prompt o powershell 188 | - rogue potato (e in generale da tenere sott'occhio qualsiasi cosa che sia potato, quindi juicy potato, hot potato...) 189 | - si hanno degli output di eseguibili di Windows (permessi di un eseguibile e le info di un eseguibile) e fra i permessi di questo eseguibile c'era gitconfig e si poteva cambiare la configurazione per cambiare il /bin/path con una reverse shell 190 | - query su un registro per vedere se era attivo il permesso su un utente (alwaysinstalledprivileged) e si poteva sfruttare per installare qualsiasi eseguibile come utente privilegiato 191 | - pass the hash 192 | - bind e reverse shell 193 | - nishang 194 | - XML 195 | - come funziona la direttiva system 196 | - come è strutturato il linguaggio 197 | - SSRF 198 | - DDL Hijacking 199 | - ROP e mitigazioni 200 | - buffer overflow con diff tra x32 e x64 e possibili mitigazioni 201 | - challenge: file binario main, un file sorgente lib.c, hijack delle sharedlibrary consigliata da [hacktricks](https://book.hacktricks.xyz/linux-hardening/privilege-escalation/ld.so.conf-example) 202 | - Kerberosting. 203 | - Io ho prima introdotto kerberos, e poi gli ho parlato dell’attacco AS Rep Rosting. 204 | - Over pass the Hash 205 | - Io non lo conoscevo e gli ho parlato di pass the hash. 206 | - Cosa è necessario che sia presente per la tecnica pass the hash sulla macchina windows? 207 | - è necessatio sia presente SMB. Se non è presente allora si usa la tecnica Over Pass the hash. 208 | - Conosci altri framework di post-exploitation oltre a mimikatz? 209 | - In windows gli hash vengono memorizzati dove? 210 | - Ho risposto nel file SAM. 211 | - C'è un ulteriore luogo dove vengono memorizzati. Dove? 212 | - In un processo in memoria che prende il nome di LSASS 213 | - Perché l’ultima versione di powershell empire client-server è migliore rispetto alla vecchia versione monolitica? 214 | - Perché, se c’è un target e la tua macchina, e tu riesci a prendere il controllo di una macchina intermedia sempre sulla stessa rete del target, che magari ha anche privileggi migliori rispetto a quelli che hai dalla tua macchina attaccante, puoi lanciare l’attacco di bruteforce (server) da questa seconda macchina, e sgravare (client) la tua macchina dal lavoro. Puoi pure chiuderla e ricollegarti giorni dopo, e la tua macchina non fa nessuno sforzo. Prima con la monolitica, dovevi lanciare l’attacco dalla tua macchina. 215 | - Empire for Pentester: Active Directory Enumeration 216 | - tool per prelevare password (mimikatz) 217 | - dove vengono salvati gli hash delle password di windows? 218 | - i file importanti per le password hashate di windows (sam,lsas...) 219 | - come prelevi questi hash? 220 | - come prelevare password dal file sas? 221 | - pass the hash 222 | 223 | **2022 2023** 224 | 225 | - Anonimi 226 | - come si fa a creare l'ambiente isolato di docker 227 | - uso di docker 228 | - Pass the hash e pass the ticket 229 | - come si fa la privilege escalation? 230 | - Active Directory 231 | - come si chiama il computer principale? 232 | - come si fa la privilege escalation? 233 | - cosa è? 234 | - è presente su un computer? 235 | - come si esce da un ambiente docker? 236 | - come gestisci i servizi in linux? 237 | 238 | - Anonimi 239 | - Kerberos 240 | - attacchi kerberos. 241 | - Mimikatz. 242 | - SSTI 243 | - Active directory 244 | - Tool per rubare l'hash 245 | - Utente di dominio per Active directory 246 | 247 | - Anonimi 248 | - ssti 249 | - pass the hash 250 | - kerberos 251 | - docker 252 | - ldap con attacchi 253 | - rbash 254 | - pass the ticket 255 | - kerberoasting 256 | - aes-reproasting 257 | - Xss 258 | - La configurazione rete per macchine virtuali e container 259 | 260 | ### Angelo Furfaro 261 | 262 | **2021 2022** 263 | 264 | - Anonimi 265 | - Kerberos: cosa è ed attacchi 266 | - Docker:cosa è, configurazioni e comandi, attacchi (soprattutto privilege escalation) 267 | - Parte di privilege escalation disponibile su tryhackme (privesc) 268 | - Metasploit: come usare i servizi e gli exploit 269 | - nc: cosa è e come funziona 270 | - XXE: cosa è, scenari d'uso, esempi 271 | - XXS: cosa è, quali tipi ci sono, esempi 272 | - Laboratorio di attacco 273 | - Sudo con opzione -l 274 | - Utente con Alcuni privilegi di root 275 | - LDAP nel particolare 276 | - come creare una sottorete con virtualbox e come collegare due macchine alla sottorete 277 | - come creare un laboratorio con virtualbox 278 | - LDAP 279 | - qualche attacco 280 | - sfruttare il protocollo 281 | - se tu penetri su un sistema con una shell, cosa usi per vedere il traffico? 282 | - tcpdump e comandi annessi 283 | - che traffico internet vedi? traffico mio ingresso/uscita 284 | - metodi privilege escalation e post exploitation 285 | 286 | ## Metodi Informatici per l'analisi dei Processi 287 | 288 | ### Antonella Guzzo 289 | 290 | **2020/2021** 291 | 292 | - Anonimi 293 | - C-Net vs Heuristic net 294 | - Petri net Vs heuristic net 295 | - come viene fatta la classificazione delle attività iniziali e finali su ProM 296 | - workflow net (definizione) 297 | - cos'è la threshold 298 | - betweeness Nella resource analysis 299 | - differenze fra pattern merge e discriminator (bpmn) 300 | - perché scegliere un modello (o un plugin) rispetto ad un altro 301 | - boundness 302 | - quando il marking è dead? 303 | - esercizi su boundness e deadlock 304 | - alpha miner (con i vari punti specifici) 305 | - qualità del modello 306 | - in cosa consiste la classificazione di un dato 307 | - perché è costoso l'alpha miner? 308 | - domande sul progetto in generale e nello specifico 309 | - liveness 310 | - come ottenere un buon modello? 311 | - conformance e tipologie 312 | 313 | ## Metodi e Strumenti per la Sicurezza Informatica 314 | 315 | ### Michele Ianni 316 | 317 | **2020 2021** 318 | 319 | - Giovanni Giordano 320 | - risolvi la challenge edit: è andato down, la challenge consisteva in un form html che faceva una post all'indirizzo /ping dello stesso sito e ritornava semplicemente il codice di ritorno della shell linux collegata e il comando eseguito, altrimenti dava errore. Non c'era nient'altro, bisognava trovare la flag.txt da qualche parte nel sito. 321 | - GOT e PLT 322 | - Anonimi 323 | - Canary 324 | - gdb 325 | - sito che ritorna un immagine, come capisci le tabelle? 326 | - nmap port scanning 327 | - fin scan 328 | - udp scan 329 | - syn scan 330 | - null scan 331 | - xmas scan 332 | - arp poisoning 333 | - reflected, DOM Based e stored XSS 334 | - ASLR 335 | - CSRF 336 | - chi genera il token 337 | - ROP 338 | - come mai i tool automatizzati trovano tanti gadget mentre una scansione manuale ne trova pochi? 339 | - i gadget sono una serie di istruzioni. Perché ropper va a guardare l'esadecimale, parte da una ret e va all'indietro se una sotto sequenza è un'istruzione valida viene restituito il gadget. Ad esempio in esadecimale a3 aa bb cc 90 c3 è mov eax, 0x90aabbcc; ret, ma la sottosequenza 90 c3 è nop; ret. Sono entrambi gadget. 340 | - buffer overflow 341 | - mitigazioni 342 | - generarlo senza utilizzare le funzioni vulnerabili 343 | - code reuse 344 | - Mitigazioni SQL injection 345 | 346 | **2021 2022** 347 | 348 | - Anonimi 349 | - format string 350 | - xss 351 | - le differenze tra i vari tipi di xss 352 | - ARP poisoning 353 | - port scanning 354 | - FIN SCAN 355 | - XMAS SCAN 356 | - SYN SCAN 357 | - ret2libc 358 | - perché è meno conveniente rispetto alla code reuse? 359 | - Perchè ret2libc non può essere utilizzata in caso di chiamate a due o più funzioni che posseggono uno o più parametri, mentre la code reuse sì 360 | - Plt e got 361 | - Xss 362 | - Canary 363 | - perché si usa il carattere 0 364 | - Ropper 365 | - Blind sql injection 366 | - per rompere ASLR basta solo un offset, detto in un altro modo supponiamo di avere l’indirizzo della printf questo basta per derandomizzare l’intero spazio degli indirizzi o serve altro? 367 | - Per rompere ASLR basta trovare un solo indirizzo della libc in quanto poi l'offset tra le funzioni è sempre uguale 368 | 369 | **2022 2023** 370 | 371 | - Anonimi 372 | - XSS 373 | - CSRF 374 | - Post scanning (varie domande su tcp scan, syn, ecc) 375 | - ASLR 376 | - Mitigazione Relco e differenze tra Partial Relco e Full Relco 377 | - Got, plt, got patching e perché ci sono due tabelle anziché una sola 378 | - XSS Dom-Based 379 | - domanda sulla libc (quanti indirizzi ti servono per derandomizzare) 380 | - Mitigazioni di SQL injection 381 | - format string exploitation 382 | - arp poisoning e mitigazione 383 | 384 | ## Business Intelligence 385 | 386 | ### Filippo Furfaro 387 | 388 | **2020 2021** 389 | 390 | - Anonimi 391 | - gestione delle dimensioni degeneri 392 | - gerarchie dinamiche 393 | - a cosa serve attributo master nello scenario di verità storica 394 | - a cosa servono le chiavi surrogate 395 | - perchè non si usano i btree 396 | - star index 397 | - join index 398 | - quando conviene fare snow flake 399 | - gerarchie incomplete e soluzioni 400 | - indici bitmap a confronto con btree 401 | - molap e rolap 402 | - Tutti i pro e tutti i contro dell'usare Chiavi surrogate 403 | - Star index 404 | - quando non è efficiente usare lo star index 405 | - aggregatori olistici 406 | - indici di bit-sliced 407 | - gerarchie ricorsive ( pro e contro delle 2 soluzioni) 408 | 409 | ## Strategie e Politiche Aziendali 410 | 411 | ### Patrizia Pastore 412 | 413 | **2020 2021** 414 | 415 | - Anonimi 416 | - cosa faresti da imprenditore della tua azienda (cyber security), ovvero quali strategie sceglieresti tra quelle viste nel corso 417 | - classificazione outsourcing 418 | - scelta di un settore in cui competere e forze di porter 419 | - esempi a lezione 420 | - la valutazione comprende i punteggi dati al test online di fine corso (crocette) e i lavori in ppt di gruppo 421 | - Stakeholder amichevoli 422 | - Outsourcing 423 | - Finalitá dell azienda 424 | 425 | ## Modelli e Tecniche per i Big Data 426 | 427 | ### Paolo Trunfio 428 | 429 | **2020 2021** 430 | 431 | - Anonimi 432 | 433 | - parametri mpi speedrun tempo esecuzione parallelo e sequenziale 434 | - lambda expression 435 | - benefici java stream 436 | - differenze spark hadoop 437 | - RDD 438 | - hama 439 | - costo del calcolo bsp 440 | - zookeper 441 | - trajectory discovery 442 | - java stream lazy 443 | - legge amdhal 444 | - wordcount 445 | - mapper e reducer 446 | - spark e hadoop convenienza 447 | - bsp in generale 448 | - send receive non blocanti e bloccanti 449 | - spark lazy execution 450 | - wordcount reverse (chiave lunghezza parole) 451 | - logica di hive 452 | - legge di amdhal 453 | - comunicazione in MPI sincrona e asincrona e meccanismi 454 | - caratteristiche di un programma in parallelo 455 | - combiner in mapreduce 456 | - numero di reducer e mapper 457 | - watermark 458 | - wordlenghtcount 459 | 460 | - Anonimi 461 | - codice word count 462 | - che tipologia di programmi esegue storm 463 | - possono esserci piu spout? 464 | - quali metodi deve implementare spout e quali bolt 465 | - combiner di map reduce 466 | - codice word count reverse 467 | - Superlinear speedup: 468 | - architettura hdfs e file di configurazione delle risorse 469 | 470 | **2023 2024** 471 | 472 | - Anonimi 473 | - Modello BSP 474 | - Costo di BSP 475 | - Pseudocodice funzioni map e reduce 476 | - Topologia Storm 477 | - nota: da quest'anno il programma è cambiato, non si fa più Hama e si studiano GraphX e Apache Airflow (slide su teams) 478 | 479 | **2024 2025** 480 | 481 | - OliG9 482 | - UPC++ cos'è e a che modello fa riferimento 483 | - Parlare di APGAS 484 | - Esempio di calcolo del π con UPC++ visto in aula, descriverne in linea di massima il funzionamento 485 | - HDFS 486 | - Legge di Ahmdal cos'è (con la cosa dell'andamento sovralineare) 487 | - Come si fa a capire se abbiamo infiniti core quale sarà la prestazione del nostro programma (ahmdal) 488 | 489 | - Anonimo 490 | - Upc ++ 491 | - Montecarlo con Upc ++ 492 | - Apache storm 493 | 494 | ## Architetture e programmazione dei sistemi di elaborazione 495 | 496 | ### Fabrizio Angiulli 497 | 498 | **2016 2017** 499 | 500 | - Roberto 501 | - cache completamente associativa 502 | - open MP 503 | - schema monociclo e segnali di controllo +1 504 | - cache a k vie 505 | - multithreading 506 | - grana fine 507 | - grana grossa 508 | - vantaggi multithreading simultaneo (ogni thread a i suoi registri e PC ) 509 | - differenza multithreading sw e multithread hw 510 | - dimensionamento clock multicolore 511 | - conflitti sul controllo 512 | - statistica a 2 bit automa 513 | - nano programmazione 514 | - emissione fuori ordine 515 | - tabella segnali alpha monociclo 516 | - conflitti sui dati pipeline 517 | - conflitti superscalari 518 | - ottimizzazione unità di controllo (control store ) 519 | - completamente fuori ordine e ritiro in ordine 520 | - CPU vs GPU 521 | - una numa 522 | - macchina multiciclo 523 | - macchina monociclo 524 | - dimensionamento del clock della multi ciclo 525 | - ottimizzazione della parte di controllo microprogrammata 526 | - legge di moore e barriera dell'energia 527 | - speculazione nell'hardware 528 | - speculazione hw (epr) 529 | - buffer di ordinamento macchina super scalare 530 | - completamento fuori ordine 531 | - emissione fuori ordine 532 | - numero di posizioni 533 | - ottimizzazione del controllo microprogrammato 534 | - predizione dei salti schema 535 | - politiche sostituzione della cache 536 | - disegno 537 | - speculazione hardware macchina super scalare 538 | - differenza uma e numa 539 | - macchina hasswell 540 | - differenze cics e risc 541 | - principi di progettazione risc 542 | - riduzione parallela 543 | - rsr 544 | 545 | **2019 2020** 546 | 547 | - Anonimi 548 | - Legge di Moore e barriera energia 549 | - Macchina multiciclo 550 | - ottimizzazione unità di controllo (control store programmato ) 551 | - Nano programmazione 552 | - dimensionamento del clock nella multi ciclo microprogrammata 553 | - differenze macchine cisc e risc 554 | - principi di progettazione macchina risc 555 | - schema monociclo e tabella segnali alpha 556 | - conflitti sui dati pipeline 557 | - emissione fuori ordine 558 | - Rsr 559 | - completamente ofuori ordine 560 | - ritiro in ordine 561 | - confliti sul controllo 562 | - predizione dei salti a schema - branch prediction unità 563 | - statistica a due bit con automa 564 | - conflitti sulle super scalari 565 | - buffer di ordinamento macchina super scalare 566 | - speculazione hardware (epr) 567 | - completamento fuori ordine macchina super scalare 568 | - Macchina di Haswell 569 | - cache completamente associativa 570 | - cache a k vie 571 | - politiche di sostituzione nella cache disegno 572 | - differenza uma e numa 573 | - multithreading hw : grana fine e grana grossa 574 | - vantaggi multithreading simultaneo 575 | - differenza multi threading hw e sw 576 | - cpu vs gpu 577 | - riduzione parallela 578 | - open mp 579 | - Giovanni giordano 580 | - cache a k vie 581 | - cache a mappatura diretta 582 | - tipi di threading 583 | - conflitti pipeline 584 | 585 | **2020 2021** 586 | 587 | - Erma_TV 588 | - conflitti sulla pipeline quali sono e come si risolvono 589 | - CISC RISC 590 | - principi dei modelli di calcolatori di oggi 591 | - UMA e NUMA con disegno della NUMA 592 | - speculazione hardware come avviene e dove avviene 593 | - attacco spectr 594 | - c'é speculaizone hardware nella pipeline? No, come vengono gestiti i salti? 595 | - Anonimi 596 | - Cache 597 | - Politiche di sostituzione 598 | - Unità di controllo monociclo 599 | - Segnali beta mono e multi 600 | - Ottimizzazione controllo micro programmato 601 | - Circuito di selezione degli indirizzi 602 | - Disegno stack lru 603 | - E disegno circuito di selezione degli indirizzi 604 | - Ottimizzazione controllo microprogrammato 605 | - Macchine parallele 606 | - Nanoprogrammazione 607 | - circuito propagazione nella superscalare 608 | - circuito di bypass 609 | - NUMA e UMA 610 | - conflitti sul controllo 611 | - conflitti nella pipeline: inserimento circuito di uguaglianza 612 | - Confronto prestazionale fra tutte le macchine viste nel corso 613 | - Clock fine 614 | - Speculazione hw e cosa cambia rispetto alle predizioni della pipeline 615 | - Cache multilivello e come cambia il calcolo del tempo medio di accesso alla memoria 616 | 617 | **2024 2025** 618 | 619 | - Anonimi 620 | - Cache 621 | - Politiche di sostituzione 622 | - Unità di controllo monociclo 623 | - Segnali beta mono e multi 624 | - Ottimizzazione controllo micro programmato 625 | - Disegno stack lru 626 | - Ottimizzazione controllo microprogrammato 627 | - conflitti sui dati nella macchina pipeline 628 | - conflitti nella pipeline: inserimento circuito di uguaglianza 629 | 630 | ## Linguaggi Formali 631 | 632 | ### Domenico Saccà 633 | 634 | **2016 2017** 635 | 636 | - PsykeDady 637 | - Compilazione della tipizzazione dinamica dei linguaggi 638 | - tipizzazione dinamica che tipo di linguaggio è (risp: 2) 639 | - cos'è un automa a pila 640 | - Marco Domenicano 641 | - Tautologia 642 | - conraddizione 643 | - memorizzazione di un json in calculista 644 | - esercizio del minimo locale in calculist e prolog 645 | - Anonimi 646 | - come vengono memorizzati i json in memoria nella calculist 647 | 648 | **2019 2020** 649 | 650 | - Alfredo 651 | - json 652 | - linguaggi di primo, secondo e terzo tipo 653 | - java di che tipo è 654 | - html di che tipo è 655 | - xml di che tipo è 656 | - Giovanni Giordano 657 | - calculist esercizio `Unione(L1,L2,L3)` 658 | - costruire L3 **unendo L1 e L2** 659 | - Angelo 660 | - Scrivere automa a stati finiti deterministico che riconosce il linguaggio `(a+b+)+b*c` 661 | - fare esempio di una stringa che non appartiene al linguaggio 662 | - fare esempio di stringa che appartiene al linguaggio 663 | - Anonimi 664 | - Calculist esercizio `Intersezione(L1,L2,L3)` 665 | - costruire L3 come **intersezione di L1 e L2** 666 | - cos'è un modello logico 667 | - quando un modello è minimo 668 | - Calculist lista ordinata L 669 | - Calculist High Order Function espressione con lambda function 670 | - complessità del problema di stabilire se un programma logico ammette un unico modello (sol. *PSPACE*) 671 | - Verificare se due Liste L1 e L2 hanno gli stessi elementi 672 | 673 | **2020 2021** 674 | 675 | - Anonimi 676 | - high order function 677 | - solito esempio con u(X),p(X),r(X),rc(X) 678 | - universo di Herbrand, Base di Herbrand, modelli minimali 679 | - verificare che 2 liste abbiano gli stessi elementi con lo stesso numero di occorrenze 680 | - espressioni regolari 681 | - unificatore generale 682 | - Palindroma in Calculist 683 | 684 | ### Rullo 685 | 686 | **2016 2017** 687 | 688 | - Marco Domenicano 689 | - scrivere un programma in prolog che riceve una lista L, T, T1 e restituisce una lista di copia in output L1 così composta: se elemento di L corrisponde a T inserisci T1 altrimenti L 690 | 691 | **2019 2020** 692 | 693 | - Alfredo 694 | 695 | - 2 esercizi prolog 696 | - Giovanni Giordano 697 | - esercizio prolog su traccia `P(L1,L2,L3,L4)`, soddisfare: 698 | 1. `L3 come L1 intersecato L2` 699 | 2. `L4 come L1 - L2` 700 | - esercizio prolog su traccia su traccia `P(T,T1,L,L1)`, soddisfare 701 | - `se L[i]!=T verificare L[i]==L1[i] altrimenti L1[i]==T1` 702 | - Angelo 703 | - scrivere un metodo int(L1,L2,L3) che restituisce vero se: 704 | 1. L1 sotto insieme improprio di L3 705 | 2. L2 sotto insieme improprio di L3 706 | 3. L3 non contiene duplicati 707 | 4. L1,L2,L3 sono ordinati in modo crescente 708 | - Anonimi 709 | - scrivere un programma prolog che: `dati due termini T e T1 e una lista L` 710 | - produce una lista L1 identica a L in cui sono state sostituite tutte le istanze di T con T1, ossia la relazione `subst(T,T1,L,L1)` dove L1 è la lista ottenuta da L sostituendo tutte le istanze del termine T con T1 lasciando gli altri elementi invariati 711 | - `p(L1,L2)` che restituisce true se L1 ed L2 contengono gli stessi elementi 712 | - lanciare la computazione in calculist 713 | - descrivere stato memoria 714 | - dare risultato 715 | - Teorema di Rice (accenno) 716 | - quanti sono i modelli di un programma positivo 717 | - cos'è l'unificazione di due termini? 718 | - data: 719 | - `g(x/2)/1: lambda z: x(y,z+y);` 720 | - eseguire: `g(molt,3)(4);` risultato? 721 | - Quanti modelli minimali ci sono in questo programma logico? 722 | 723 | ```pseudocode 724 | u(1). 725 | u(2). 726 | u(3). 727 | p(1). 728 | p(2). 729 | r(X): 730 | u(X), not(p(X)). 731 | rc(X):- u(X), not(r(X)). 732 | g(x/2,y)/1: lambda z: x(y,z+y); 733 | pp(x,y): x+2*y; 734 | ^g(pp,3)(4); 735 | ``` 736 | 737 | - - risultato=17 738 | - quanti sono i modelli minimali (stesso modello)? 739 | - `u(1).` 740 | - `u(2).` 741 | - `p(1).` 742 | - `r(X):- u(X), not(p(X)).` 743 | - `rc(X):- u(X), not(r(X)).` 744 | - cos'è un universo 745 | - tutti i termini ground, nel caso di prima i primi due 746 | - funziona calculist che dato `x` calcola `fibonacci(x)` 747 | - dato: 748 | 749 | ```pseudocode 750 | u(1). 751 | u(2). 752 | p(1). 753 | r(X):- u(X), not(p(X)). 754 | rc(X):- u(X), not(r(X)). 755 | ``` 756 | 757 | - - - quanti sono i modelli minimali 758 | - **Legenda**: u sono gli umani, p sono i poveri, r è una persona ricca, rc è il reddito di cittadinanza (i significati hanno poca rilevanza). 759 | - **Risposta**: quando si ha la negazione di solito si hanno piu modelli minimali 760 | - **modello migliore**: `rc(X)=true` solo in un caso (reddito di cittadinanza solo ad un elemento) 761 | - scrivere un metodo che riceve in ingresso 4 liste `q(L1, L2, L3, L4)` che restituisce `true` se **L3** è l'itersezione di **L1+L2** ed **L4=L1-L2** (sottrazione insieimistica), le liste vanno intese come insiemi. 762 | - scrivere un metodo `q(A,B,L1,L2)` che restituisce true `L1=L2` con i caratteri **A sostituiti con B in L2** 763 | - scrivere un `q(X,L,Y)` che restituisce vero se **Y** è l'elemento successivo a **X** nella **L** 764 | - scrivere un `q(X,L,Y)` che restituisce vero solo se **Y** è nella posizione **X** di **L** 765 | 766 | **2020 2021** 767 | 768 | - Anonimi 769 | - riceve 2 liste: true se le due liste contengono gli stessi elementi, anche con numero di occorrenze diverso 770 | - ricerca binaria in prolog 771 | - Scrivere un programma Prolog che, dati due termini T e T1 e una lista L, produce una lista L1 identica a L in cui sono state sostituite tutte le istanze di T con T1, ossia la relazione: subst(T,T1,L,L1), dove L1 è la lista ottenuta da L sostituendo tutte le istanze del termine T con il termine T1 e lasciando invariati gli altri elementi p(1,2,[1,1,2,2],[2,2,2,2]) 772 | - Si scriva un programma Prolog che, prendendo in ingresso due liste L1 e L2, restituisca in uscita due liste L3 e L4 tali che L3 contenga gli elementi di L1 che appartengono anche a L2, mentre L4 contenga gli elementi di L1 che non appartengono a L2. Si supponga disponibile il predicato member p([a,r,t],[t,s,m,n,a],L3,L4) p([a,r,t],[t,s,m,n,a],[a,t] ,[r]) 773 | - Scrivere un programma PROLOG per la seguente relazione: d(X,Y) se e solo se Y è la lista che si ottiene dalla lista X rimuovendo gli elementi di posizione pari 774 | - Define a predicate add_up_list(L,K) which, given a list of integers L, returns a list of integers in which each element is the sum of all the elements in L up to the same position. add_up_list([1,2,3,4], [1,3,6,10]) 775 | - Scrivere un programma Prolog che, dati due termini T e T1 e una lista L, produce una lista L1 identica a L in cui sono state sostituite tutte le istanze di T con T1, ossia la relazione: subst(T,T1,L,L1), dove L1 è la lista ottenuta da L sostituendo tutte le istanze del termine T con il termine T1 e lasciando invariati gli altri elementi 776 | - Definire il predicato Prolog fib(N,F) che sia vero se F rappresenta l’N-esimo numero della sequenza di fibonacci. Ricordiamo che la sequenza di Fibonacci è definita dalle seguenti: f(0) = 1, f(1) = 1 ,f(N) = f(N - 1) + f(N - 2) 777 | - Si scriva un programma Prolog che, prendendo in ingresso due liste L1 e L2, restituisca in uscita due liste L3 e L4 tali che L3 contenga gli elementi di L1 che appartengono anche a L2, mentre L4 contenga gli elementi di L1 che non appartengono a L2. r([1,2,3],[3,4,5,6,1],L3,L4) 778 | - Define a predicate reverse(L,K) which holds if and only if the list K is the reverse of the list L 779 | - Define a predicate occurs(L,N,X) which holds iff X is the element occurring in position N of the list L 780 | - Define a predicate add_up_list(L,K) which, given a list of integers L, returns a list of integers in which each element is the sum of all the elements in L up to the same position. Example: ?- add_up_list([1,2,3,4],K). K = [1,3,6,10] 781 | - Define a predicateoccurs(L,N,X)which holds iffXis the element occurring in positionNof the listL 782 | - palindroma 783 | - Scrivere un programma Prolog che, dati due termini T e T1 e una lista L, produce una lista L1 identica a L in cui sono state sostituite tutte le istanze di T con T1, ossia la relazione: subst(T,T1,L,L1), dove L1 è la lista ottenuta da L sostituendo tutte le istanze del termine T con il termine T1 e lasciando invariati gli altri elementi 784 | - Si scriva un programma Prolog che, prendendo in ingresso due liste L1 e L2, restituisca in uscita due liste L3 e L4 tali che L3 contenga gli elementi di L1 che appartengono anche a L2, mentre L4 contenga gli elementi di L1 che non appartengono a L2. Si supponga disponibile il predicato member. 785 | - Define a predicate occurrences(X,L,N) which holds iff the element X occurs N times in the list L 786 | - Definire il predicato Prolog fib(N,F) che sia vero se F rappresenta l’N-esimo numero della sequenza di fibonacci. Ricordiamo che la sequenza di Fibonacci è definita dalle seguenti: f(0) = 1, f(1) = 1, f(N) = f(N - 1) + f(N - 2) 787 | - Scrivere un programma PROLOG per la seguente relazione: d(X,Y) se e solo se Y è la lista che si ottiene dalla lista X rimuovendo gli elementi di posizione pari. 788 | - Define a predicate add_up_list(L,K) which, given a list of integers L, returns a list of integers in which each element is the sum of all the elements in L up to the same position 789 | - Define a predicate merge(L,K,M) which, given two ordered lists of integers L and K, returns an ordered list M containing all the elements of L and K 790 | - dd(f/2,x)/1: lambda y: f(y)+2*x: s2(x): 2*x; ^dd(s,3)(4); funzione lambda proposta 791 | 792 | **2021 2022** 793 | 794 | - Anonimi 795 | - Scrivere un programma Prolog che, dati due termini T e T1 e una lista L, produce una lista L1 identica a L in cui sono state sostituite tutte le istanze di T con T1, ossia la relazione: subst(T,T1,L,L1), dove L1 è la lista ottenuta da L sostituendo tutte le istanze del termine T con il termine T1 e lasciando invariati gli altri elementi 796 | - Si scriva un programma Prolog che, prendendo in ingresso due liste L1 e L2, restituisca in uscita due liste L3 e L4 tali che L3 contenga gli elementi di L1 che appartengono anche a L2, mentre L4 contenga gli elementi di L1 che non appartengono a L2 797 | - stessiElem(L1,L2), which holds if L1 and L2 have same elements 798 | - Define a predicate occurrences(X,L,N) which holds iff the element X occurs N times in the list L 799 | - Scrivere un programma Prolog che, dati due termini T e T1 e una lista L, produce una lista L1 identica a L in cui sono state sostituite tutte le istanze di T con T1, ossia la relazione: subst(T,T1,L,L1), dove L1 è la lista ottenuta da L sostituendo tutte le istanze del termine T con il termine T1 e lasciando invariati gli altri elementi 800 | - Si scriva un programma Prolog che, prendendo in ingresso due liste L1 e L2, restituisca in uscita due liste L3 e L4 tali che L3 contenga gli elementi di L1 che appartengono anche a L2, mentre L4 contenga gli elementi di L1 che non appartengono a L2. 801 | - Define a predicate occurs(L,N,X) which holds iff X is the element occurring in position N of the list L. 802 | - Define a predicate add_up_list(L,K) which, given a list of integers L, returns a list of integers in which each element is the sum of all the elements in L up to the same position 803 | 804 | ## Informatica teorica 805 | 806 | ### Scarcello Francesco 807 | 808 | **2016 2017** 809 | 810 | - PsykeDady 811 | - Teorema di Cook 812 | - Definizione di NP complete 813 | - Riccardo 814 | - Partendo dal fatto che un problema è np-hard se qualsiasi problema np si riduce ad esso in tempo polinomiale 815 | - domanda: come cambia la classe np-complete se cambiamo la definizione di hardness considerando trasformazioni esponenziali invece che polinomiali? 816 | - risposta: Poiché np-complete è l'intersezione di np-hard ed np, i problemi di tale classe rappresentano il sottoinsieme dei problemi più difficili tra quelli appartenenti ad np (risolvibili in p-time da una NTM). Se si cambia la definizione di hardness considerando trasformazioni esponenziali però si estende la classe a problemi exp-time, in quanto si altera il rapporto di complessità durante la riduzione che supporta la hardness: intuitivamente, una trasformazione esponenziale trasferirebbe parte della complessità nella riduzione, permettendo poi di risolvere il problema risultante in tempo polinomiale, dunque tali problemi ricadrebbero in questa versione modificata di np-complete. 817 | - Anonimi 818 | - Teorema di Cook 819 | - Definizioni di problema Np, Np-hard, Np-complete 820 | - Dimostrazione di appartenenza di Hamiltonian Cycle a Np-Complete 821 | - Dimostrazione di non appartenenza di Ld a RE 822 | - Dimostrazione di appartenenza di Lu a RE 823 | - Definizione di riduzione 824 | - Teorema di Rice 825 | 826 | **2017 2018** 827 | 828 | - Marco 829 | - Linguaggio Empty 830 | - dimostrazione NP complete 831 | - dimostrazione indipendent Set 832 | 833 | (continuare da 2016 2017 linguaggi formali sacca psykeS) 834 | 835 | **2018 2019** 836 | 837 | - Matteo Grollino 838 | - Teorema Rice 839 | - Teorema Cook 840 | - Knapsack Intero e Frazionario 841 | - subset sum 842 | - approssimabilità knapsack 843 | - Algoritmo pseudo-polinomiale 844 | - FPTAS 845 | - Definizione NP 846 | - Definizione NP Hard 847 | - Definizione NP Complete 848 | - Dimostrazioen indecidibilità Lu e non appartenenza a RE di Ld 849 | - Importanza riduzione polinomiale tra problemi decisionali 850 | - Perché NP è incluso in PSpace con dimostrazione 851 | - complessità parametrizzata con definizione di XP e FP 852 | - Algoritmo FPT del vertex Cover 853 | - Gianpaolo 854 | - Teorema 4.14.1 : un problema NP ha come definizione NP = {L|E R polinomialmente decidibile e bilanciata che caratterizza L } con Pl1 R=L (dimostrazione ) 855 | 856 | **2019 2020** 857 | 858 | - Angelo 859 | - definizione di problema np-completo 860 | - cos' é una trasformazione polinomiale? 861 | - dimostrazione del teorema di Rice 862 | - fixed parameter trattability 863 | - cos' é uno schema di approssimazione polinomiale ? 864 | - dimostrare che nap-sack é np-hard 865 | - perché usiamo trasformazioni polinomiali e non esponenziali? 866 | - dimostrare che ld é ricorsivamente enumerabile 867 | - definizione di np-hard 868 | - dimostrare che Hamiltonian cycle é np-hard 869 | - Giovanni Giordano 870 | - Dimostrazione linguaggio NTM==DTM 871 | - caratterizzazione NP dimostrato 872 | - Indipendent Set dimostrato 873 | - Anonimi 874 | - cook 875 | - NP dentro PSpace (dimostrazione) 876 | - **Risposta**: Perchè la definizione di NP dice che NP appartiene a Ptime, poichè Ptime è un sottoinsieme di Pspace allora anche NP è un sottoinsieme di Pspace 877 | - teorema di Rice 878 | - np completo (definizione) e vantaggi nellúso 879 | - Teorema di Cook 880 | - Definizione di problema NP-complete 881 | - Domanda: `come cambia la clas shortcut multicursorsse np complete se cambiamo la definizione di hardness considerando trasformazioni esponenziali` 882 | - **Risposta**: poiché np-complete é l'intersezione di np-hard ed np, i problemi di tale classe rappresentano il sottoinsieme dei problemi più difficili tra quelli appartenenti ad np (risolvibili in p-time da una NTM). Se si cambia la definizione di hardness considerando trasformazioni esponenziali però si estende la classe a problemi exp-time, in quanto si altera il rapporto di complessità durante la riduzione che supporta la hardness: intuitivamente una trasformazione esponenziale trasferirebbe parte della complessità nella riduzione, permettendo poi di risolvere il problema risultante in tempo polinomiale, dunque tali problemi ricadrebbero in questa versione modificata di np-complete. 883 | - Dimostrazione di appartenenza di Hamiltonian Cycle a np-complete 884 | - dimostrazione di non appartenenza di Ld a RE 885 | - Dimostrazione di appartenenza di Lu a RE 886 | - definizione di riduzione 887 | - Linguaggio Empty dimostrazione NP complete 888 | - mostrazione Indipendent SET 889 | - Knapsack intero e frazionario 890 | - subset sum 891 | - Approssimabilità knpasack (algoritmo pseudo polinomiale e FPTAS) 892 | - importanza della riduzione polinomiale tra problemi decisionali 893 | - complessità parametrizzata con definizione di xp e di ffpt 894 | - problema np ha come definizione NP = `{L| E R polinomialmente decidibile e bilanciata che caratterizza L}` con PI1 R=L (dimostrazione) 895 | - FPTAS con costi 896 | - FPT con VC e con knapsack 897 | - knapsack con programmazione dinamica 898 | 899 | **2020 2021** 900 | 901 | - Erma_TV 902 | - Dimostrazione NP incluso in PSPACE 903 | - Dimostrazione che Knapsack ammette un FPTAS 904 | - Che sono le classi di approssimabilitá 905 | - Anonimi 906 | - Rice con dimostrazione 907 | - FPT 908 | - FPT con vertex cover (con le due soluzioni) 909 | - Dimostrare che Subset Sum è NP-Hard 910 | - Rice con dimostrazione 911 | - NL con dimostrazione che è NP-Hard 912 | - vertex cover 913 | - indipendet set 914 | - hamiltonian cycle 915 | - NTM = DTM 916 | - def di NP-complete (NP-HARD, NP) 917 | - L appartiene ad NP se e solo se esiste una relazione caratteristica RL di L (parte <=) e (parte =>) 918 | - Bisaccia FPTAS 919 | 920 | ### Palopoli Luigi 921 | 922 | **2022 2023** 923 | 924 | - Anonimo 925 | - cosa sono i linguaggi regolari? 926 | - quali sono le caratteristiche dell automa di un linguaggio regolare? 927 | - quanti simboli leggo per volta? 928 | - c è differenza di potenza di calcolo tra dfa e nfa? no, ma c'è differenza di? (risposta: taglia, dimensione, numero di stati) 929 | - teorema di rice con dimostrazione 930 | - teorema di savitch con dimostrazione 931 | - parliamo del concetto di approssimabilità 932 | - i problemi sono tutti approssimabili? 933 | - cos'è la classe p/poly 934 | - classe di complessità IP 935 | - legame che c'è tra complessita di circuito e di tempo nei linguaggi 936 | - un insieme r.e. lo possiamo definire in più modi, come e in che modo sono equivalenti le def(dimostrazione che la seconda def è equivalente alla terza) 937 | - cos è la forma normale di Greinbach 938 | - classe di complessita NC 939 | - confronta NCI con ACI 940 | - p/poly dove sta rispetto a NCI e ACI (non è sicuro sia questo confronto però è sicuro sia con p/poly) 941 | - nel linguaggio mini C non abbiamo l'if-than-else, riusciamo a realizzarlo? 942 | - pumping lemma linguaggi regolari 943 | - se due linguaggi sono regolari la loro unione è regolare, dimostrazione 944 | - consideriamo l'insieme degli indici delle funzioni totali, è ricorsivo r.e. o non r.e. 945 | - parliamo di p spazio e indichiamone un linguaggio completo 946 | - data una macchina che dati n elementi in input si vuole stabilire se il numero di elementi dell array sia pari o dispari, che complessità ha nello spazio 947 | - esiste una forma normale per i problemi in psapzio che è anche la codifica di un problema completo, com è fatto 948 | - domande su copspazio generiche 949 | - teorema di toda (ultimo fatto nel corso) 950 | - dimostriamo che un automa a pila deterministico è sempre equivalente a uno a pila non deterministico, non è così in realtà, mi fai vedere un linguaggio che separa? 951 | - consideriamo ww^R perché l automa a pila det non è sufficiente in questo caso, dimostrazione 952 | - Abbiamo due forme di automi a pila accettanti per stato finale e per stato vuoto, dimostrazione equivalenza che i linguaggi riconosciuti da uno sono "equivalenti" a quelli dell altro 953 | 954 | **2023 2024** 955 | 956 | - Anonimo 957 | - MaxSat e perché è DeltaP2Completo 958 | - MaxCol e perché è DeltaP2CompletoLog 959 | - Funzione di Ackerman 960 | - Exp e Nexp 961 | - Esempio di problema PSpace Completo 962 | - Gerarchia Polinomiale 963 | - Teorema di Post 964 | - Dimostrazione di equivalenza tra le due definizioni di Ricorsivamente enumerabile 965 | - Teorema di Savitch 966 | - cos'è Ppoly 967 | - Ppoly contiene linguaggi indecidibili? 968 | - Dimostrazione che se L è unario allora è PPoly 969 | - Dimostrare che NP è chiuso rispetto alla stella di kleeny 970 | - Teorema di Toda 971 | - Cos'è #P 972 | - Cos'è IP? È equivalente a PSpace? 973 | - Simulare comportamento di una TM multi nastro con una multitraccia 974 | - Pumping lemma per linguaggi ctx free 975 | - Principio della piccionaia 976 | - Come funziona la tecnica di riduzione per problemi indecidibili 977 | 978 | **2024 2025** 979 | 980 | - Anonimo 1 981 | - L={| M accetta numero antropomorfi} 982 | - antropomorfi=sono numeri tali che n e n quadro terminano con stesso numero (potrebbe non chiamarsi antropomorfo ma è importante la sua struttura appena definita, esercizio che fa parte dello scritto) 983 | - Rice 984 | - Definire le composizioni. 985 | - Combinazioni, esponenziazioni e ripetizioni. 986 | - Insieme a zero. 987 | - Identità, successore e l'altro argomento correlato 988 | - Definire classe IP 989 | - Np complete 990 | 991 | - Anonimo 2 992 | - All'altro ragazzo ha chiesto Rice, 993 | - Dimostrazione che automa è uguale a regex 994 | - Una caratteristica dei context free 995 | - Un'altra domanda ma ora non ricordo 996 | 997 | - Anonimo 3 998 | - dimostrazione punto fisso 999 | 1000 | - Anonimo 4 1001 | - Quanti sono i programmi di una funzione ricorsiva parziale data 1002 | - Funzione successore in quanti modi si può definire 1003 | - Differenza tra funzioni e programmi 1004 | - Il mapping tra programma e funzione è di 1 (ecco quante funzioni sa calcolare un programma) 1005 | - Il numero di programmi che calcola una funzione sono aleph 0 (tanti quanti i numeri naturali) perché si possono aggiungere aggiungere istruzioni farlocche ma la funzione che esegue il programma non cambia. 1006 | - La proprietà è un predicato che individua un insieme di f ricorsive parziali. 1007 | - A quale classe della gerarchia polinomiale equivale IP? 1008 | - Dimmi un problema delta P2 completo 1009 | 1010 | - Anonimo 5 1011 | - Teorema di rice e dimostrazione 1012 | - Teorema del punto fisso 1013 | - Teorema della ricorsione e dimostrazione 1014 | - Classe delta p 2 1015 | - Classe epsilon p 2 1016 | - Classe NC 1017 | - Classe IC 1018 | - Problema dell' Isomorfismo tra grafi e sua classe 1019 | 1020 | ## Ottimizzazione 1021 | 1022 | ### Maria Flavia Monaco 1023 | 1024 | **2016 2017** 1025 | 1026 | - PsykeDady 1027 | - Argomento a piacere : Rilassato LaGrangiano 1028 | - Definizione di problema Rilassato 1029 | - Duale LaGrangiano (perché farlo? obiettivi) 1030 | - Vehicle Routing Problem formulazione 1031 | - Anonimi 1032 | - che ho a disposizione se voglio risolvere un problema piccolo con un algoritmo esatto ? (B&Bound) 1033 | - Cosa si intende per "cut" e quindi un algoritmo di `branch and cut` 1034 | - Gomory, tutto il procedimento 1035 | - Perché posso usare la funzione obiettivo in gomory per indurre un taglio? 1036 | - come si valuta un euristica? Lagrangiano 1037 | - Definire duale di Lagrangiano 1038 | - Commesso viaggiatore 1039 | - come calcolo un lowerbound ? 1040 | - perché non si usa Lagrangiano? 1041 | - perché ha un numero esponenziale di cicli e molto probabilmente avrà sempre sottocicli 1042 | - Problema del commesso viaggiatore non orientato 1043 | - taglio con Branch and Cut 1044 | - oracolo di Separazione 1045 | - Formulazioni commesso viaggiatore sia orientato che non 1046 | - Quando una formulazione è ottimale? (matrice TUM) 1047 | - Per quale problema ho una formulazione ottimale anche se non è TUM? problema del matching 1048 | - Set covering definizione 1049 | - Commesso viaggiatore 1050 | - perché è intrinsecamente combinatorio 1051 | - complessità 1052 | - come risolvo il set-covering (max saving) 1053 | - chvatal 1054 | - Vehicle routing 1055 | - Algoritmo clarke wright (massimo risparmio) 1056 | - Epsilon approssimativo 1057 | - definizione 1058 | - TSP 1059 | - algoritmo dell'albero 1060 | - Differenza Hamilton - eulero, con confronto tra i due 1061 | - Teorema di minkowsky 1062 | 1063 | **2020 2021** 1064 | 1065 | - Anonimi 1066 | - Set covering 1067 | - Formulazione valida 1068 | - ottima 1069 | - Problema di localizzazione 1070 | - Rilassamento lagrangiano 1071 | - Se x è punto estremo => x appartiene ad S 1072 | 1073 | **2021 2022** 1074 | 1075 | - Erma_TV 1076 | - effetto orizzonte 1077 | - nucleolo 1078 | - semantica operazionale per la logica di default 1079 | - complessità ed espressività 1080 | - anomalia di Sussman 1081 | 1082 | - Arbrane97 1083 | - Bargaining Set 1084 | - Iterative deepening 1085 | - Algoritmo di Waltz 1086 | - Hill Climbing 1087 | 1088 | ### Giovanni Giallombardo 1089 | 1090 | **2022 2023** 1091 | 1092 | - Anonimi 1093 | - svr 1094 | - regressione 1095 | - l'algoritmo di Newton 1096 | - metodo del gradiente 1097 | 1098 | **2023 2024** 1099 | 1100 | - Anonimi 1101 | - Metodo di Newton 1102 | - Metodo Quasi Newton 1103 | - formulazione SVR 1104 | - Generalmente fa tre domande, una sicura sulla parte di Machine Learning 1105 | 1106 | **2024 2025** 1107 | 1108 | - Anonimo 1 1109 | - ottimizzazione unidimensionale non vincolata 1110 | - ricerca lineare approssimata e esatta 1111 | - SVM 1112 | - formulazione Hard Margin 1113 | 1114 | - Anonimo 2 1115 | - armijo goldstein (scelta del passo) 1116 | - SVR 1117 | 1118 | - Anonimo 3 1119 | - kkt 1120 | - smo 1121 | 1122 | - Anonimo 4 1123 | - soft margin e kkt 1124 | - armijo con interpretazione geometrica 1125 | 1126 | ## Valutazione delle prestazioni 1127 | 1128 | ### Pasquale Legato 1129 | 1130 | **2016 2017** 1131 | 1132 | - PsykeDady 1133 | - problema del professore in ritardo (su excel) 1134 | - produttore consumatore (excel) 1135 | - modello di markov (slide) 1136 | 1137 | ## Intelligenza Artificiale (6 CFU) 1138 | 1139 | ### Palopoli Luigi 1140 | 1141 | **2017 2018** 1142 | 1143 | - PsykeDady 1144 | - Estensione di Reiter 1145 | - Anomalia di Sussman 1146 | - breadth first (vantaggi rispetto a depth first) 1147 | - strips 1148 | - frame problem 1149 | - quantification problem 1150 | - representation problem 1151 | - deep learning 1152 | - definizione 1153 | - reti neurali 1154 | - struttura neurone 1155 | - altri approcci 1156 | - deep learning 1157 | - features extracton 1158 | - hill climbing + simulated annealing 1159 | - pac learning 1160 | - Anonime 1161 | - IDA* perchè c'è min nella funzione 1162 | - Frame assension 1163 | - strips 1164 | - risoluzioni 1165 | - problemi del non essere linguaggio logico 1166 | - estensione di reithers 1167 | - come calcolarla 1168 | - che succede se togliamo TH da IN(pigreco) 1169 | - nucleolo 1170 | 1171 | ## Intelligenza Artificiale (9 CFU) 1172 | 1173 | ### Scarcello Francesco 1174 | 1175 | **2023 2024** 1176 | 1177 | - Anonimi 1178 | - Semantica di ASP con esempio 1179 | - A* 1180 | - Dimostrazione ottimalità A* 1181 | - cos'è la soluzione ottima 1182 | - calcolo frontiera 1183 | - Equilibrio di Nash normale e misti 1184 | - core e nucleoli nella teoria dei giochi 1185 | - CSP 1186 | 1187 | - Anonimo 1 1188 | - Giochi di coalizione 1189 | - Cos'è un contributo marginale 1190 | - dummy player, definizione formale 1191 | - Che tipo di algoritmi utilizziamo per i giochi con avversari? 1192 | - minimax con pruning 1193 | - euristica di minimax con upper bound o lower bound 1194 | - Questi giochi con avversari sono giochi a somma zero o arbitrari? 1195 | - col pruning abbiamo l'ottimalità (considerando upper bound,lower bound)? 1196 | - Cos'è un modello? 1197 | - programma logico dato come esempio, trovare i modelli e gli answer set 1198 | - Se dalla terza regola deduci C cosa succede? 1199 | 1200 | - Anonimo 2 1201 | - answer set da un programma logico 1202 | - un modello quando si dice answer set 1203 | - Dimostrare che A* è corretto e completo 1204 | - tree search con spiegazione dell'ottimalità 1205 | - Definizione formale di ammissibilità 1206 | - aste, second price 1207 | - truthful 1208 | 1209 | - Anonimo 3: 1210 | - Constraints satisfaction problem 1211 | - Come funziona il forward checking? 1212 | - Problema aciclico? 1213 | - ipergrafo 1214 | - problemi binari o con arità maggiore. 1215 | - Cos'è un grafo? 1216 | - Equilibrio di nash, cos'è e definizione formale. 1217 | - spiegazione di a*, perchè è ottimale? 1218 | - Cos'è l'ammissibilità? 1219 | - Depth first search 1220 | 1221 | - Anonimo 4: 1222 | - Equilibrio di nash 1223 | - che possiamo dire per l'esistenza di questi equilibri? 1224 | - Cos'è il nucleolo? 1225 | - Differenza tra core e nucleolo 1226 | - Dato un programma logico trovami gli answer set 1227 | 1228 | - Anonimo 5: 1229 | - Che cos'è un answer set 1230 | - dato un programma logico, trovare il suo answer set 1231 | - riduzione programma logico 1232 | - Cos'è il contributo marginale e il Contributo singolo? 1233 | - Cos'è un dummy player e lo shapley value? 1234 | - Esiste sempre lo shapley value? 1235 | - Csp aciclici 1236 | 1237 | - Anonimo 6: 1238 | - Csp con struttura associata. 1239 | 1240 | - Anonimo 7: 1241 | - Differenza tra tree search e graph search 1242 | - perché su graph search non è ottimale 1243 | - contributo marginale 1244 | - coalizioni 1245 | - nucleolo 1246 | - core 1247 | 1248 | - Anonimo 8: 1249 | - Che tipo di algoritmi abbiamo fatto per i problemi di soddisfacimento dei vincoli, 1250 | - Core 1251 | - se le due strutture sono acicliche che succede? 1252 | - Qual è il beneficio se la struttura è aciclica? (Alla fine della procedura possiamo sapere qualcosa) 1253 | - Cos'è un answer set? 1254 | 1255 | - Anonimo 9: 1256 | - Giochi strategici 1257 | - definizione di equilibrio di nash 1258 | - cosa possiamo dire dell'esistenza invece nelle strategie miste? 1259 | - Csp tree decomposition 1260 | 1261 | **2024 2025** 1262 | 1263 | - Anonimo 1 1264 | - Teorema di grohe 1265 | - Dimostrazione dell'ottimalità di A* nella tree search 1266 | - Cosa rappresenta la tree width minima 1267 | - Contributo marginale 1268 | - Contributo singolo 1269 | - Cos è lo shapley Value 1270 | - Cos è il nucleolo 1271 | - Cos è il core 1272 | 1273 | - Anonimo 2 1274 | - Teorema di grohe 1275 | - Minmax con alpha betha pruning 1276 | - Cos è il nucleolo 1277 | - Dimosrrazione dell'ottimalitá di A* graph search 1278 | 1279 | - Anonimo 3 1280 | - Algoritmo yannakaki 1281 | - Complessita dell'algoritmo di yannakaki 1282 | 1283 | - Anonimo 4 1284 | - Dimostrazione che se è ammissibile euristica allora a star è ottimale 1285 | - Dimostrazione che euristica consistente implica ammissibile 1286 | - Nucleolo 1287 | 1288 | - Anonimo 5 1289 | - Dimostrazioni A* ottimo sia per tree che per graph search 1290 | - teorema di Grohe 1291 | - definizione di nucleolo 1292 | - algoritmo per calcolarlo 1293 | - il nucleolo è nel core se non è vuoto e motivazione 1294 | 1295 | - Anomimo 6 1296 | - Dimostrazione che euristica consistente implica ammissibile 1297 | - Dimostrazione che se il core non è vuoto allora il nucleolo si trova nel core 1298 | - Nucleolo 1299 | 1300 | - Anonimo 7 1301 | - Nucleolo e metodo di PL che lo fa calcolare 1302 | - Teorema Di Grohe 1303 | 1304 | ## Intelligenza Artificiale e rappresentazione della conoscenza (12 CFU) 1305 | 1306 | ### Palopoli Luigi 1307 | 1308 | **2019 2020** 1309 | 1310 | - Anonimi 1311 | - Iterative Broadening (ordine di visita degli alberi ) 1312 | - Iterative Deepening 1313 | - processi closed e successful 1314 | - shapley value 1315 | - wsat e gsat 1316 | - estensioni di reiter 1317 | - frame problem e perché strips non soffre del problema del frame 1318 | - approssimazione lower bound-upperbound con calcolo greatest lower bound 1319 | 1320 | **2020 2021** 1321 | 1322 | - Anonimi 1323 | - primo interrogato 1324 | - hill climb simulated annealing 1325 | - planning 1326 | - nucleolo stable set 1327 | - regole inferenza 1328 | - entailment in logica di default perché è Pi P2-C? 1329 | - gsat wsat con random walking 1330 | - secondo interrogato 1331 | - breadth first 1332 | - Iterative broadening e come si fa con A* 1333 | - Nucleolo di nuovo 1334 | - Compilazione di conoscenza 1335 | - datalog or not 1336 | - terzo interrogato 1337 | - metodi di ricerca blind e metodi di ricerca informata: differenze 1338 | - iterative deepening con vantaggi 1339 | - IDA* 1340 | - semantica alla reiter default logic 1341 | - semantica brave default logic 1342 | - verifica coerenza teoria di default (NP Hard) 1343 | - processo 1344 | - nucleolo 1345 | - quarto interrogato 1346 | - iterative broadening 1347 | - perché non usiamo A* per i giochi al posto di min max? 1348 | - hill climb simulated annealing 1349 | - modello stabile con negazione e disgiunzione 1350 | - computer vision e algoritmo di waltz 1351 | - planning 1352 | - quale sequenza di azioni va considerata? 1353 | - perché la delete list deve essere vuota? 1354 | - stable set teoria giochi 1355 | - N=1,2,3 v1=v2=v3=0 e la coalizione di taglia due hanno valore 2, la coalizione di tagla tre vale 5: c'è stable set? 1356 | - quinto interrogato 1357 | - metodi olistici di riconoscimento ambiente 1358 | - pianificazione: Strips 1359 | - Strips Assumption 1360 | - A1:precondizione vuota, add list è P, delete list vuota,A2:precondizione vuota, add list not P, delete list vuota e stato iniziale vuoto. Risultato? 1361 | - concetti soluzione che danno equità, Shapley Value 1362 | - effetto orizzonte 1363 | - singolar extension 1364 | - nodo quieto e nodo tattico 1365 | - A* 1366 | - modello stabile per datalog not 1367 | - intersezione tra modelli che provoca? 1368 | - semantica modelli perfetti o modell stabili 1369 | - sesto interrogato 1370 | - test turing 1371 | - regole di inferenza correttezza e completezza 1372 | - Modus Ponens e completezza del modus ponens 1373 | - esempio sound e non complete 1374 | - quanto costa capire se f può essere generato da modus ponens con F? 1375 | - versione arricchita del modus ponens Tp 1376 | - di nuovo la cosa della add list di prima con riflessione su strips 1377 | - waking sat 1378 | - il numero dei GLB in una teoria CNF 1379 | - bargening set 1380 | - algoritmo della famiglia minmax a cui si applica alfa-beta con valori +0.001 e -0.001 in questo caso si taglia l'albero? 1381 | - algoritmo waltz 1382 | - settimo interrogato 1383 | - numero GLB teoria di horn di dimensione n 1384 | - come scende la complessità del caution reasoning? 1385 | - pure theory 1386 | - se una teoria ha un estensione non calcolabile attraverso i processi cosa succede? 1387 | - A* con differenza best-first 1388 | - la funzione euristica non esegue mai il backtracking? 1389 | - Core 1390 | - algoritmo waltz 1391 | - ottavo interrogato 1392 | - numero dei GLB? la congiunzione degli UB è 1 (unico LUB congiunto), anche la congiunzione dei GLB è pure 1 solo se la teoria è di horn (esponenziale se teoria default) 1393 | - kernel 1394 | - teoria di default che abbia un estensione che non possa essere calcolata dall'albero de processi? 1395 | - IDA* 1396 | - a cosa serve il min? 1397 | - programma datalog stratificato 1398 | - altri 1399 | - Verie testimonianze 04/02/2021 1400 | - Descrizione algoritmo Iterative deepening 1401 | - Precisare come si può uscire dal ciclo quando non ci sono goal 1402 | - **Risposta**: la soluzione proposta dal prof è quella di utilizzare una variabile booleana (non sappiamo nel dettaglio come), un'altra soluzione è quella di uscire quando il cutting level sia pari all'altezza dell'albero ma costa troppo in termini temporali 1403 | - Complessità di verificare la coerenza di una teoria in logica di default (ossia se ammette un'estensione), dimostrare almeno intuitivamente perché tale problema è almeno NP-hard 1404 | - **Risposta**: intuitivamente se la complessità dell'entailment è CONP-c in logica proposizionale, poiché la logica di default ha sia una teoria proposizionale W che un'insieme di default D è facile capire che sarà almeno difficile quanto l'entailment è quindi ha almeno una sorgente di esponenzialità 1405 | - Strips genera stati inconsistenti? 1406 | - **Risposta**:un esempio è {f, not(f)} in cui abbiamo uno stato con due fluenti con valore logico opposto, ma strips NON è un linguaggio logico, f e not f potrebbero essere chiamati pluto e paperino quindi no, non genera stati inconsistenti in quanto il concetto di incosistenza è associato a linguaggi logici) 1407 | - Esempio di teoria di default in cui non ci sia alcuna estensione che sia calcolabile con la semantica operazionale 1408 | - **Risposta**: basta usare una teoria incoerente, {TRUE:A/¬A } è l'esempio tipico 1409 | - Giovanni 1410 | - GSAT 1411 | - espressività vs complessità 1412 | - hill climb con simulated annealing 1413 | - modello perfetto 1414 | 1415 | **2021 2022** 1416 | 1417 | - Anonimi 1418 | - primo interrogato 1419 | - Semantica operazionale per DL 1420 | - Insieme di regole d'inferenza corretto e completo 1421 | - Iterative deepening 1422 | - secondo interrogato 1423 | - Algoritmo di Waltz 1424 | - Algoritmo Bread First 1425 | - Shapley Value 1426 | - Complessità formalismi vs espressività 1427 | - Abduzione 1428 | - IDA* 1429 | 1430 | ### Sergio Greco 1431 | 1432 | **2023 2024** 1433 | 1434 | - Anonimi 1435 | - come si valuta il maggiore o uguale e minore o uguale nel tableau (nota: contatela come domanda fatta, non badate a quale anonimo sia stata fatta) 1436 | - primo Anonimo 1437 | - Algoritmo punto fisso (con esempio di possibile applicazione) Quando può essere applicato questo algoritmo? 1438 | - In cosa consiste il problema della verifica? Cosa ha in Input? Che complessità ha? 1439 | - Quando un interpretazione è stabile per un programma? 1440 | - Cosa è un interpretazione? È un sottoinsieme della base di Herbrand. 1441 | - Qual è la dimensione dell'universo di Herbrand? 1442 | - Dimensione del ground di un programma. 1443 | - Semantica della possibilità/Semantica della certezza. 1444 | - Skeptical reasoning (definizione) 1445 | - Struttura dei modelli completi. 1446 | - secondo Anonimo 1447 | - Argomentazione in generale 1448 | - I 3 problemi nell'ambito di argomentazione con le complessità 1449 | - Spiegazione delle complessità 1450 | - terzo Anonimo 1451 | - Algoritmo semi-naïve in generale (cosa vogliamo ottenere) cosa abbiamo in input: una base di dati e un insieme di regole. 1452 | Questo programma calcola il modello minimo per il programma P (insieme di regole) 1453 | - Esempio di applicazione dell'algoritmo. Con questo esempio dire che cosa fa l'algoritmo naïve e dove interviene quello semi-naïve. 1454 | - Che cosa fa eval_rule()? Dato l'esempio, generare l'espressione in algebra relazionale. 1455 | - Description logic in generale. 1456 | - Linguaggio ALC, descrizione. 1457 | - Perchè utilizziamo la description logic? Non potremmo usare le formule del calcolo dei predicati al suo posto? La domanda scaturisce dal fatro che qualunque formula la possiamo riscrivere con formule del calcolo dei predicati (FOL), e quindi perché utilizzare description logic? 1458 | - Tbox e Abox 1459 | - quarto Anonimo 1460 | - Algoritmo naïve (la sua descrizione formale, anche ad alto livello) 1461 | 1462 | ## Rappresentazione della Conoscenza (6 CFU) 1463 | 1464 | ### Sergio Greco 1465 | 1466 | **2024 2025** 1467 | 1468 | - Anonimo 1469 | - Algoritmo naive/semi-naive 1470 | - complessità ASP 1471 | - sistemi di argomentazione in generale 1472 | - Linguaggio ALC 1473 | 1474 | ## Sistemi Informativi 1475 | 1476 | ### Cassavia 1477 | 1478 | **2017 2018** 1479 | 1480 | - Gianpaolo 1481 | - Parte PENTAHO: 1482 | - OLAP 1483 | - modellazione concettuale data warehouse 1484 | - realizzare in saiku roll up e roll down 1485 | - document datastore 1486 | - column family 1487 | - Luca 1488 | - Creare in saiku l'operazione slice e selezione 1489 | - modellazione logica dei data ware house 1490 | - 4 fasi della modellazione 1491 | - imputation mismatching 1492 | - schema di HBase 1493 | - disegnare 1494 | - nome delle componenti 1495 | - modi per interfacciarlo con il client 1496 | - teorema CAP 1497 | 1498 | **2019 2020** 1499 | 1500 | - PsykeDady 1501 | - presentazione progetto 1502 | - eseguire su pentaho: 1503 | - drill up 1504 | - roll down 1505 | - selection slice 1506 | - fasi di progettazione Data Warehouse 1507 | - Schemi di fatto a stella e snowflake 1508 | - Proprietà sistemi nosql 1509 | - utilizzo di hbase 1510 | 1511 | ## Sistemi Informativi Ambientali 1512 | 1513 | ### Davide Luciano De Luca 1514 | 1515 | **2021 2022** 1516 | 1517 | - giovixo97 1518 | - cosa è un DEM? 1519 | - differenza file shape vettoriale e file raster 1520 | - tecniche di geoprocessing 1521 | - tutti i tipi di interpolatori (esatto,non esatto,locale,globale...) 1522 | - cosa vuol dire la media o la varianza in un certo punto? 1523 | - cosa rappresenta Z0? Ponendo Zi come i punti che hanno misura esatta con i>0 1524 | - cosa è una misura? 1525 | - lo strumento misura sicuramente bene 1526 | - cosa è un GCP? 1527 | - come è fatto un file di tipo geografico? 1528 | - numero delle righe,colonne,risoluzione,xcornern,ycornern... 1529 | 1530 | ## ISSTRA Ingegneria del software per sistemi real-time ed agenti 1531 | 1532 | ### Libero Nigro 1533 | 1534 | **2018 2019** 1535 | 1536 | - Anonimi 1537 | - tempo di blocco FPS 1538 | - conversione processo sporadico/periodico 1539 | - Ping Pong in Jade 1540 | - Grafo degli stati UPPAAL 1541 | - Query In Uppaal 1542 | - Scrivere un parcheggio in reti di petri 1543 | - template tTransaction pTransaction delle ptpn 1544 | - clock di uppaall 1545 | - come si rappresenta uno stato nel model state graph di uppaal 1546 | - JSemaphore 1547 | - Parametro Lambda delle simulazioni ad attori 1548 | 1549 | ## Sistemi Distribuiti e Cloud Computing ( 6 CFU e 9 CFU ) 1550 | 1551 | ### Talia Domenico 1552 | 1553 | **2018 2019** 1554 | 1555 | - Aloeasy 1556 | - Java Card 1557 | - Replicazione 1558 | - NFS 1559 | - COnsistenza 1560 | 1561 | **2019 2020** 1562 | 1563 | - Giovanni Giordano 1564 | - Weak Consistency 1565 | - release consistency 1566 | - differenze EC2, S3 e DNS 1567 | - Anonimi 1568 | - eukaliptus 1569 | - Naming in generale 1570 | - HT Condor 1571 | 1572 | **2020 2021** 1573 | 1574 | - Anonimi 1575 | - componenti del Cloud Amazon 1576 | - tecniche di scalabilità dei sistemi distribuiti 1577 | - grid computing 1578 | - Consistenza debole (synchronize) 1579 | - Naming in generale e p2p 1580 | - Kerberos 1581 | - grid 1582 | - algoritmo elezioni 1583 | 1584 | - Erma_TV 1585 | - HTCondor 1586 | - Client Side Consistency (Eventual Consistency) 1587 | - RPC (in prticolare RPC one-way) 1588 | - Eucalyptus 1589 | 1590 | **2021 2022** 1591 | 1592 | - Anonimi 1593 | - prima sessione di interrogazione: 1594 | - ClassAds di HTCondor 1595 | - cos'è e come viene usato il KDC 1596 | - algoritmi di elezione 1597 | - Eucalyptus 1598 | - Match macker (ht condor) 1599 | - Locking nfs 1600 | - Naming sistemi distribuiti 1601 | - seconda sessione di interrogazione: 1602 | - MPI 1603 | - Modello di autenticazione challenge-response a 5 messaggi a 3 e reflection Attack 1604 | - File locking in NFS 1605 | - sistemi distribuiti in generale e proprietà 1606 | - Coda 1607 | - Needham Shroeder 1608 | - Kdc 1609 | - RPC 1610 | - Globus Gram Home based 1611 | - mutua esclusione 1612 | - NFS 1613 | - lamport 1614 | - sincronizzazione 1615 | - Htcondor 1616 | - consistenza sequenziale 1617 | - read your writes 1618 | - terza sessione di interrogazione: 1619 | - Naming 1620 | - Consistenza 1621 | - quarta sessione di interrogazione: 1622 | - Sistemi grid 1623 | - HT condor 1624 | - KDC 1625 | - NFS lock 1626 | - Strong mobility 1627 | 1628 | **2022 2023** 1629 | 1630 | - Anonimo 1 1631 | - grid 1632 | - integrazione tra condor e globus 1633 | - come vengono raccolti i dati in un sistema distribuito 1634 | - modello di autenticazione challenge-response 1635 | - con la scalabilità vengono introdotte soluzioni non scalabili? 1636 | - (Risposta: sì e avviene con la replicazione) 1637 | - Anonimo 2 1638 | - Agente mobile 1639 | - NFS e protocolli principale 1640 | - NFS Delegation 1641 | - NFS Lock 1642 | - Modelli Cloud a Servizi 1643 | 1644 | - Anonimo 3 1645 | - distributed garbage collector 1646 | - grid computing 1647 | - Coda 1648 | - come gestisce le repliche 1649 | - mounting del file system 1650 | - va nello specifico davvero di ogni tipologia di argomento chiedendo dettagli molto particolari e fini 1651 | 1652 | **2024 2025** 1653 | 1654 | - Anonimo 1655 | - teorema di lamport 1656 | - algoritmi di mutua esclusione 1657 | - kerberos 1658 | - consistenza causale 1659 | 1660 | ### Loris Belcastro 1661 | 1662 | **2018 2019** 1663 | 1664 | - Aloeasy 1665 | - Distribuited garbage collector 1666 | - Storage di Azure 1667 | - Fabric Controller di Azure 1668 | - come si passano i parametri in JAva RMI 1669 | 1670 | **2019 2020** 1671 | 1672 | - Giovanni Giordano 1673 | - distribuited garbage collector 1674 | - riferimenti Java RMI 1675 | - tabelle Azure 1676 | - Combiner 1677 | 1678 | **2020 2021** 1679 | 1680 | - Anonimi 1681 | - equals in RMI 1682 | - distributed garbage collector 1683 | - tables di azure 1684 | - json web token 1685 | - Dynamic class download 1686 | - Oggetti attivabili 1687 | - Modulo combiner in map reduce 1688 | - combiner 1689 | - jwt 1690 | - raw key e timestamp 1691 | 1692 | - Erma_TV 1693 | - MapReduce 1694 | - Distributed Garbage Collector 1695 | - Tables Di Azure 1696 | 1697 | **2021 2022** 1698 | 1699 | - Anonimi 1700 | - prima sessione di interrogazione: 1701 | - Map Reduce 1702 | - La table di azure 1703 | - dynamic class download 1704 | - problema dell'equals in RMI e Remote Object 1705 | - CDN 1706 | - Combiner di MapReduce 1707 | - seconda sessione di interrogazione: 1708 | - Distributed Garbage Collector 1709 | - storage di Azure 1710 | - Docker in generale 1711 | - come aggiungere un altro layer ad un'immagine 1712 | - il vantaggio dei volumi sui bind mount 1713 | - se esistono container con kernel Windows 1714 | - differenze tra storage per oggetti e blocchi in aws 1715 | - terza sessione di interrogazione: 1716 | - Map reduce con Disegno e spiegazione del Partitioner e Combiner 1717 | - Garbage collector 1718 | - Table di azure 1719 | - CND azure 1720 | 1721 | **2022 2023** 1722 | 1723 | - Anonimo 1724 | - docker 1725 | - vantaggi di docker rispetto alle macchine virtuali 1726 | - come creare oggetti in Java rmi 1727 | - come vengono passati gli oggetti in Java rmi 1728 | - con quali operazioni viene caricato un oggetto in un registry 1729 | - (risposta: bind e rebind) 1730 | - con quale operazione viene cercato un oggetto in un registry 1731 | - (risposta: lookup) 1732 | - la struttura delle tabelle azure 1733 | - Anonimi 1734 | - meccanismi code Azure: 1735 | - 3 tipi di proprietà obbligatorie 1736 | - perché si utilizza UnicastRemoteObject.exportObject e non si usa il metodo normale (lookup e ribind)? 1737 | - il meccanismo di Java obbliga a estendere la classe e questo dovrebbe farlo ogni client (soluzione scomoda) 1738 | 1739 | **2024 2025** 1740 | 1741 | - Anonimo 1742 | - java rmi 1743 | - distributed garbage collector 1744 | - equals and hash code java rmi 1745 | 1746 | ## Basi di Dati evolute 1747 | 1748 | ### Molinaro Cristian 1749 | 1750 | **2019 2020** 1751 | 1752 | - Rak 1753 | - calcolo relazionale e definizione di linguaggio indipendente dal dominio di valutazione 1754 | - lock su database distribuiti 1755 | - tecniche di assegnazione 1756 | - deadlock 1757 | - risposta: che se due transazioni richiedono il lock in scrittura sulla stessa risorsa e ci sono dei ritardi nella rete, nessuna delle due transazioni ottiene il lock e quindi si va in deadlock 1758 | 1759 | **2020 2021** 1760 | 1761 | - Anonimi 1762 | - protocollo zero knowledge 1763 | - algoritmo fiat shamir 1764 | - proprietà funzioen hash firma digitale 1765 | - paradosso compleanno 1766 | 1767 | ## Calcolo Numerico 1768 | 1769 | ### Yaroslav Sergeyev 1770 | 1771 | **2019 2020** 1772 | 1773 | - Anonimi 1774 | - equazioni differenziali metodi conosciuti impliciti ed esplici 1775 | - esistenza polinomio di interpolazione e tecniche con vantaggi e svantaggi ( LaGrange e Newton ) 1776 | - metodo romberg 1777 | - metodi Runge Kutta 1778 | - metodi di interpolazione conosciuti (LaGrange ecc) 1779 | - punto fisso condizioni convergenza 1780 | - grafici di convergenza 1781 | - metodi di derivazione numerica 1782 | 1783 | **2020 2021** 1784 | 1785 | - Anonimi 1786 | - le tecniche di preprocessamento dei sistemi lineari (pivoting parziale, totale e bilanciamento) 1787 | - indice di condizionamento 1788 | - Erma_Tv 1789 | - integrale di riferimento 1790 | - metodi di integrazione in più dimensione e perché non si può sempre suddividere in somma di integrali come in 1 dimensione 1791 | - condizione convergenza metodi iterativi (sistemi) 1792 | - ordine dell’errore (sia locale che globale) in tutti i metodi sulla risoluzione delle equazioni differenziali 1793 | - può succedere che Jacobi converga e Gaus-Siedel diverga o viceversa? 1794 | - FARE BENE il metodo di Cavalieri-Simpson (con enfasi sul motivo per cui si fa l’ipotesi sull’ uguaglianza tra la derivata in psi e psi con tilde 1795 | - come scegliere i nodi per evitare fenomeno Runge 1796 | - modo migliore per calcolare la somma di tanti numeri in virgola mobile (slide Marat) 1797 | - come si migliora l’indice di condizionamento? -> PREPROCESSING 1798 | - Anonimi 1799 | - Quando parliamo di integrazione, cos'è l'intervallo di riferimento? 1800 | - Qual'è il significato del condizionamento di un sistema lineare? 1801 | - Cos'è la fattorizzazione di Cholesky? 1802 | - Qual'è la differenza tra errore locale e errore globale 1803 | - Qual'è il grado più elevato che permette di usare un polinomio di interpolazione? 1804 | - (Risposta: settimo, oltre avviene il fenomeno di Runge) 1805 | - Qual'è la migliore predisposizione dei nodi? 1806 | - (Risposta: la peggiore sono i nodi equidistanti, la migliore sono i nodi di Chebyshev) 1807 | - Vantaggi e svantaggi di metodi iterativi rispetto ai metodi diretti 1808 | - (Risposta: sono più semplici ma non è detto che convergano) 1809 | - Da cosa dipende il condizionamento di un sistema lineare? 1810 | - Cancellazione numerica e come si può evitare 1811 | - Prendendo un metodo iterativo qual'è la condizione della convergenza? 1812 | - (Raggio spettrale (ovvero massimo degli autovalori della matrice d'iterazione) < 1) 1813 | - Cos'è uno spazio lineare? 1814 | - Data una grande sequenza di numeri positivi, qual'è il migliore modo di sommarli? 1815 | - (Risposta: ordine crescente, minor perdita d'informazioni) 1816 | - Quale dei metodi (Gauss e Gauss-Jordan) è il più efficente? 1817 | Risposta: Il migliore è il metodo di Gauss perché ha una complessità minore 1818 | - Svantaggi della formula del polinomio interpolante di LaGrange? 1819 | Risposta: la complessità e non si possono aggiungere nodi senza dover ricalcolare il polinomio da capo 1820 | - Significato di errore assoluto e relativo nell'approssimazione di un numero floating point 1821 | - Formula adattiva di Cavalieri-Simpson e qual'è il presupposto fatto? 1822 | Risposta: la derivata quarta di f(xi) è supposta uguale all'aumentare del passo 1823 | - Quali sono i metodi per la risoluzione di equazioni differenziali ordinarie? Cosa vuol dire implicito ed esplicito? 1824 | - Residuo dei sistemi lineare? Se il residuo è piccolo cosa possiamo dire sulla soluzione? 1825 | - Risposta: r^(k) = b - Ax^(k) 1826 | - Se il sistema è mal condizionato il fatto che il residuo è piccolo non ci dice nulla 1827 | - Metodi per la risoluzione di equazioni differenziali e ordine degli errori 1828 | - Come funzionano i metodi di integrazione numerica in più dimensioni? Perchè non si può usare la formula che trasforma un 1829 | - integrale a più dimensioni in una successione di integrali in una dimensione? 1830 | - Metodi per la derivazione numerica 1831 | - Estrapolazione di Richardson 1832 | - Migliorare il condizionamento di un sistema lineare? 1833 | - Risposta: tecniche di pre-processing 1834 | - Metodi iterativi per la risoluzione dei sistemi lineari? Differenza in implementazione? 1835 | - Risposta: Jacobi può essere parallelizzato 1836 | - Cos'è una matrice di permutazione e quali sono le proprietà? 1837 | - Formula di Cavaglieri-Simpson adattiva e come si valuta l'errore 1838 | - Fenomeno Runge e come si risolve? 1839 | - Risposta: nodi di Chebyshev o uso di Spline 1840 | - Può capitare che uno dei metodi di risoluzione dei sistemi lineari (iterativi) converge e l'altro diverge? 1841 | - Risposta: si perché avendo la matrice di iterazione due formule diverse il raggio spettrale potrebbe essere diverso 1842 | - Teorema dell'esistenza di un unico polinomio d'interpolazione 1843 | - Vantaggi e svantaggi dei metodi diretti rispetto ai metodi iterativi per la soluzione di sistemi lineari. 1844 | - Quando i metodi diretti non sono applicabili? 1845 | - Risposta: Quando le matrici sono di grandi dimensioni è preferibile usare il metodo di Jacobi che è parallelizzabile 1846 | - Metodo dei coefficenti indeterminati? 1847 | - Metodo del punto fisso 1848 | - Condizione di Lipshiz e dove si applica 1849 | - Tipi di problemi computazionali (problema diretto, inverso e di indentificazione) ed esempi 1850 | - Pre-processing sistemi lineari 1851 | - polinomi osculatori 1852 | - spazi lineari 1853 | - metodo dei coefficienti indeterminati 1854 | - classificazione problemi computazionali 1855 | - integrazione in multi dimensioni 1856 | - CONDIZIONE DI LIPSCHITZ 1857 | - gauss e gauss jordan 1858 | - come trovare la matrice inversa 1859 | - matrice di permutazione 1860 | - qual è il trucco dea formula di integrazione di cavalieri Simpson? 1861 | - metodi di derivazione,i tipi e qual è il margine di errore, come si migliora, che grado di errore c'è 1862 | - clark nicolson 1863 | - calcolo delle matrici LU (con studio dell'errore) 1864 | 1865 | ### Marat Mukhametzhanov 1866 | 1867 | **2019 2020** 1868 | 1869 | - Giovanni Giordano 1870 | - errore assoluto e relativo 1871 | - estrapolazione di Richardson 1872 | - Anonimi 1873 | - fenomeno Runge 1874 | - cancellazione numerica 1875 | - decomposizione triangolare con Teoremi 1876 | 1877 | **2020 2021** 1878 | 1879 | - Anonimi 1880 | - estrapolazione di richardson 1881 | - Problema di Cauchy 1882 | - Equazione differenziale 1883 | - Stima indice K(A) 1884 | - Differenze divise e proprietà 1885 | - idea di fondo degli algoritmi 1886 | - jacobi 1887 | - Spline lineari e quadratiche 1888 | 1889 | ### Dmitry 1890 | 1891 | **2024 2025** 1892 | 1893 | - Anonimi 1894 | - Metodo del punto fisso 1895 | - Sistema virgola mobile 1896 | - Errore di arrotondamento 1897 | - Interpolazione 1898 | - Lagrange 1899 | - Forma di Newton 1900 | - Errore di interpolazione 1901 | - Fenomeno di Runge 1902 | - Spline 1903 | - Formula spline quadratica 1904 | - Estrapolazione di Ric 1905 | - Metodo di Romberg 1906 | - Formule adattive 1907 | - Sistemi lineari 1908 | - Condizionamento 1909 | - Metodi iterativi 1910 | - Equazioni differenziali 1911 | - Problema di Cauchy 1912 | 1913 | - Anonimi 2 1914 | - Che cos'è l’indice di condizionamento? 1915 | - Quali sono i metodi espliciti (es. Eulero, Runge-Kutta)? 1916 | - Che cos’è il metodo di Crank-Nicolson? 1917 | - Che cos'è la precisione macchina? 1918 | - Come vengono rappresentati i numeri sul calcolatore? 1919 | - Che cos'è la derivazione numerica? 1920 | - Che cos'è l’integrazione numerica? 1921 | - Che cosa sono i metodi adattivi e come funzionano? 1922 | - cavalieri simpson adattivo 1923 | - Che cos’è la cancellazione numerica? 1924 | - Che cos'è la perdita di contributo (somma tra numero grande e piccolo)? 1925 | - Che cosa sono le norme? 1926 | - Definizione di norma su vettori. 1927 | - Come si applicano le norme ai vettori? 1928 | - Come si applicano le norme alle matrici? 1929 | - Proprietà delle norme. 1930 | - Che cos’è la norma 1, norma infinito, norma 2, norma p? 1931 | - Cosa sono le equazioni differenziali? 1932 | - Problema di cauchy 1933 | - Cosa succede nel metodo di integrazione di newton vuoi aumentare il grado del polinomio, devi ricalcolare tutto? (No) 1934 | - Perchè esiste sempre il polinomio di migliore approssimazione e quali sono le condizioni affinchè si verifichi ciò? (teorema di weirestrass e intervallo con tutti nodi diversi) 1935 | 1936 | ## Crittografia e analisi reti sociali 1937 | 1938 | ### Molinaro Cristian 1939 | 1940 | **2016 2017** 1941 | 1942 | - Tassone 1943 | - Cifrario a flusso 1944 | - OTP 1945 | - PRG 1946 | - Shannon 1947 | - Cifrari a blocchi 1948 | - Sicurezza semantica 1949 | - PRP 1950 | - ECP 1951 | - CBC 1952 | - CBC+nonce 1953 | - CTR 1954 | - CTR+nonce 1955 | - MAC (funzionamento sicurezza e challange) 1956 | - NMac 1957 | - PMAC 1958 | - HMAC 1959 | - ECBC MAC 1960 | - PAYLOAD 1961 | - HASH (funzionamento sicurezza e challange) 1962 | - PAradosso compleanno + attacco hash (collissioni) 1963 | - Merkle damgard 1964 | - Autenticazione cifrata (funzionamento sicurezza e challange) 1965 | - tre tipologie costruzione autenticazione cifrata (e than m, e and m, m then e) più differenze e sicurezza 1966 | - differenza chiave simmetrica e asimmetrica 1967 | - principi chiave asimmetrica 1968 | - RSA 1969 | - Complessità attacco RSA per scoprire chaive segreta 1970 | - complessita attacco RSA per un messaggio cifrato (differenza con sopra ) 1971 | - Merkle puzzle 1972 | - autorità di certificazione e firma digitale (molto in generale più schema) 1973 | - Riccardo 1974 | - generazione rsa per calcolo chiavi 1975 | - come si cifra 1976 | - come si decifra 1977 | - rabin come si generano le chiavi 1978 | - collegarsi alla fattorizzazione 1979 | - output di 4 messaggi 1980 | - cattiva proprietà del sistema 1981 | - ElGamal su cosa è basato 1982 | - come si calcolano le chiavi 1983 | - tutti i possibili attacchi di chiave che si muovono contro RSA 1984 | - brute force 1985 | - euclide 1986 | - vari problemi 1987 | - puzzle di merkle 1988 | - introduzione key managment e scneari utilizzo rsa 1989 | 1990 | **2024 2025** 1991 | 1992 | - Anonimi 1993 | - Sicurezza Prg (tutte e tre le definizioni) 1994 | - Puzzle Merkle 1995 | - Sicurezza puzzle merkle 1996 | - paradosso compleanno 1997 | - attacco alle funzioni hash (col paradosso del compleanno) 1998 | 1999 | ## Algoritmi di Crittografia 2000 | 2001 | ### Cristian Molinaro 2002 | 2003 | **2019 2020** 2004 | 2005 | - Giovanni Giordano 2006 | - CBC 2007 | - funzioni hash 2008 | - Anonimi 2009 | - merkel puzzle 2010 | - obiettivo 2011 | - problemi 2012 | - algoritmo 2013 | - One Time Pad 2014 | - decifatura e cifratura deterministica 2015 | - decifatura e cifratura randomizzata 2016 | - sicurezza per mandare messaggi 2017 | - problemi 2018 | - sicurezza Semantica 2019 | - probab adv dice 1 quando EXP1 2020 | - modi operativi many time Key 2021 | - PRG e definizioni sicurezza 2022 | - firma digitale e CA 2023 | 2024 | **2020 2021** 2025 | 2026 | - Anonimi 2027 | - Modi operativi many time key 2028 | - Sicurezza modi operativi many time key 2029 | - zero knowledge 2030 | - Algoritmo che è capace di attaccare qualsiasi funzione hash e paradosso del compleanno 2031 | 2032 | **2022 2023** 2033 | 2034 | - Oscar 2035 | - 3 des funzionamento come si cifra e come si decifra 2036 | - che costo ha des con ricerca esaustiva e con altri attacchi (complessità spaziale e temporale) 2037 | - funzioni hash e collisioni con l'attacco relativo (paradosso del compleanno) 2038 | 2039 | **2024 2025** 2040 | 2041 | - Anonimo 1 2042 | - puzzle di merkle 2043 | - analisi sicurezza puzzle merkle 2044 | - 3des e perché non usiamo 2des (analisi complessità attacco al 2des e come applicarlo al 3des) 2045 | - cos'è una funzione hash e come attaccarla 2046 | - padding nel mac 2047 | - definizione di sicurezza per generatori pseudocasuali e predicibilità con dimostrazione di predicibile=>non sicuro 2048 | - definizione con p1 e p2 computazionalmente indistinguibili 2049 | - AE quale è il più sicuro e quale non lo è (perché non lo è) 2050 | - modi operativi MTK con il gioco dell'avversario 2051 | - proof of knowledge 2052 | - differenza e analogie tra rsa e rabin 2053 | 2054 | - Anonimo 2 2055 | - diffie-helman 2056 | - differenza tra attaccante attivo e passivo 2057 | - sicurezza dei modi operativi many time key 2058 | - cosa può fare l'attaccante attivo che scopre la chiave 2059 | - fiat shamir 2060 | - differenza tra attacco a forza bruta e attacco a forza bruta del paradosso del compleanno ( la risposta "dovrebbe essere" che lo spazio di ricerca è diverso ) 2061 | - se l'avversario si aspetta un valore di e ma ne arriva un altro puo correggere il tiro? ( la risposta "dovrebbe essere" che non può perchè il calcolo ha complessita pari a radice modulare n ) 2062 | - 3des 2063 | - come decifrare con 3des ( se E(k1,k2,k3,m)=E(k1,D(k2,E(k3,m))) allora D(k1,k2,k3,m)=D(k3,E(k2,D(k1,c))) ) 2064 | - attacco e complessità dell'attacco a 2des 2065 | - dimostra che l'attacco di 2des non si può fare su 3des 2066 | 2067 | ## Economia Aziendale 2068 | 2069 | ### Sicoli 2070 | 2071 | **2025 2026** 2072 | 2073 | - Theo19 2074 | - domanda aperta 1: differenza tra gruppo economico e finanziario 2075 | - domanda aperta 2: differenza tra aziende di produzione ed erogazione 2076 | - domanda aperta 3: cosa si intende per concezione circolare del finalismo d'impresa 2077 | - domanda aperta 4: cosa si intende per produzione dal punto di vista economico 2078 | - domanda aperta 4: organigramma struttura a matrice e descrizione orizzontale, verticale, efficienza e efficacia (c'era anche plurifunzionale e multidivisionale analogamente) 2079 | --------------------------------------------------------------------------------