| THEORETICAL INFORMATICS
(objectives)
Introduce the students to the theory of languages and, at the same time, to the theory of automata. introduce computability and complexity paradigms. At the end of the course students should know new formal methodologies, should be able to critically review, from the perspective of their expressive potential, already known methodologies and should be able to classify problems from the point of view of the resources required for their solution.
|
|
Code
|
20801728 |
|
Language
|
ITA |
|
Type of certificate
|
Profit certificate
|
| Module:
(objectives)
Introduce the students to the theory of languages and, at the same time, to the theory of automata. introduce computability and complexity paradigms. At the end of the course students should know new formal methodologies, should be able to critically review, from the perspective of their expressive potential, already known methodologies and should be able to classify problems from the point of view of the resources required for their solution.
|
|
Code
|
20801728-1 |
|
Language
|
ITA |
|
Type of certificate
|
Profit certificate
|
|
Credits
|
6
|
|
Scientific Disciplinary Sector Code
|
ING-INF/05
|
|
Contact Hours
|
54
|
|
Type of Activity
|
Core compulsory activities
|
|
Teacher
|
DI BATTISTA GIUSEPPE
(syllabus)
Quality of service: Quality of network services. The application layer: Design of scalable architectures for Web services, Content delivery networks, Architecture of an Internet data center, Peer-to-peer networks and distributed hash tables. The relationship between application layer and transport layer: Socket for clients, Socket for servers. Containment level and congestion control: Transport Techniques, TCP and Congestion Control, Insights, Exercises, and Examples on TCP. Routing Methodologies and Technologies: Routing Algorithms for Fixed Network Infrastructure, Link-State-Packet Algorithms, Routing Protocols and the Internet, Software Defined Networks, Spanning Tree Calculation in Switch Networks. Domain Routing: Border Gateway Protocol (BGP), BGP Scalability, Structure of a Transit AS, Data on the Internet, Internet Data Analysis, BGP Stability. Virtual Networks: Virtual Local Networks, Spanning Tree Protocol Evolution, Virtual Private Networks based on MPLS. IPv6: NAT and Outsourcing of IPv4 Addressing, Protocol Base Addressing, ICMPv6, Source Address Selection and Multihoming, IPv4-IPv6 Transition Mechanisms. Using a Network Emulator: Netkit.
(reference books)
Slides provided by the teacher.
|
|
Dates of beginning and end of teaching activities
|
From to |
|
Delivery mode
|
Traditional
|
|
Attendance
|
not mandatory
|
|
|
| Module:
(objectives)
Introduce the students to the theory of languages and, at the same time, to the theory of automata. introduce computability and complexity paradigms. At the end of the course students should know new formal methodologies, should be able to critically review, from the perspective of their expressive potential, already known methodologies and should be able to classify problems from the point of view of the resources required for their solution.
|
|
Code
|
20801728-2 |
|
Language
|
ITA |
|
Type of certificate
|
Profit certificate
|
|
Credits
|
6
|
|
Scientific Disciplinary Sector Code
|
ING-INF/05
|
|
Contact Hours
|
54
|
|
Type of Activity
|
Core compulsory activities
|
|
Teacher
|
DI BATTISTA GIUSEPPE
(syllabus)
Quality of service: Quality of network services. The application layer: Design of scalable architectures for Web services, Content delivery networks, Architecture of an Internet data center, Peer-to-peer networks and distributed hash tables. The relationship between application layer and transport layer: Socket for clients, Socket for servers. Containment level and congestion control: Transport Techniques, TCP and Congestion Control, Insights, Exercises, and Examples on TCP. Routing Methodologies and Technologies: Routing Algorithms for Fixed Network Infrastructure, Link-State-Packet Algorithms, Routing Protocols and the Internet, Software Defined Networks, Spanning Tree Calculation in Switch Networks. Domain Routing: Border Gateway Protocol (BGP), BGP Scalability, Structure of a Transit AS, Data on the Internet, Internet Data Analysis, BGP Stability. Virtual Networks: Virtual Local Networks, Spanning Tree Protocol Evolution, Virtual Private Networks based on MPLS. IPv6: NAT and Outsourcing of IPv4 Addressing, Protocol Base Addressing, ICMPv6, Source Address Selection and Multihoming, IPv4-IPv6 Transition Mechanisms. Using a Network Emulator: Netkit.
(reference books)
Slides provided by the teacher.
|
|
Dates of beginning and end of teaching activities
|
From to |
|
Delivery mode
|
Traditional
|
|
Attendance
|
not mandatory
|
|
|
|
Università Roma Tre