Course website

• 01 Introduction
• 02 Architectures
• 03 Application
• 04 Transport
• 05.1 Network
• 05.2 Routing
• 06 Datalink

Exercises:

• 01 Simple TCP exercise
• 02 TCP fast retransmit and timeouts
• 03 TCP fast retransmit with partial ACKs
• 04 Distance vector routing and network configuration

Add a new pseudocode folder to have algorithms pseudocodes inside.

Rename C files in camel case as it's done in C++

Add all sql projects from the last year of high school

Website

• Overview of the course
• Introduction
• Basic notions
• Authentication I
• Cryptography: Introduction
• Cryptography at work: PKI and TLS
• Blockchain Technology
• Authentication II
• Access Control I
• Access Control II
• Web application security
• Privacy and Data Protection
• Wrap-up

Update not working links on readme

Link

• 00 Introduction
• 01 Set theory
• 02 PL - Introduction
• 03 PL - Reasoning via Truth Tables
• 04 PL - Reasoning as deduction
• 05 PL - Exercises
• 06 FOL - Introduction
• 07 FOL - Reasoning as deduction
• 08 DPLL and FOL - Exercises
• 09 Modal Logic: Introduction
• 10 Modal Logic: K and more
• 11 Modal Logic: Reasoning
• 12 Exercises: Modal Logic
• 13 Description Logic: Introduction
• 14 Description Logic: Tbox and Abox
• 15 Description Logic: Tableaux
• 16 Applications of Description Logic
• 17 Exercises: Modal Logic

Fix all the names of the projects of the folder Java.
Make possibile to open all of them with Eclipse or Visual Studio Code

Remove already ignored files inside C++ and Java projects

Website

Theory

• 1 Introduzione al corso
• 2 Processi e metodologie Agile
• 3 Requisiti e il linguaggio di modellazione UML - OCL
• 4 Progettazione
• 5 BPMN

Laboratory

• Esercitazione 1 - Diagramma di contesto
• Esercitazione 2 - Diagramma dei componenti
• Esercitazione 3 - Diagrammi di contesto
• Esercitazione 4 - BPMN (senza soluzioni)

Class diagram

• Architectural Design
• Resturant exercise
• Facebook exercise
• Ebay exercise
• Restaurant Management System exercise

Website
Theory
Moved to Notion