Sequence and Harmonic Series - Divergence, Proofs and Generalized Series

Geometric Series and Progressions - Definition, Rationale, Limit

Recursive (Decidable) Sets - Exercises in Computability Theory [Part 1]

Arithmetic Progression and Arithmetic Series - Definitions, Formulas, and Examples

Mathematical Sequences - Definition, Examples, and Differences from Progressions

Un viaggio nell'Informatica Teorica: dal sogno di Hilbert ai limiti dell’Intelligenza Artificiale

Principle of Induction on Natural Numbers and Exercises

Well-Ordering of Sets - Well-Ordered Sets and Zermelo's Theorem

Equipotent Sets - Equipotence, Cardinality, and Bijective Functions

POSET - Partially Ordered Sets and Hasse Diagram

EXERCISES ON PUMPING LEMMA CONTEXT-FREE LANGUAGES - FORMAL LANGUAGES [PART 2]

Mathematical Functions - Domain, Codomain, Injective, Surjective, and Bijective

Order Relations - Partial Order, Properties and Exercises

EXERCISES ON CONTEXT-FREE GRAMMARS - FORMAL LANGUAGES [PART 3]

ESERCIZI SU PUMPING LEMMA LINGUAGGI REGOLARI - LINGUAGGI FORMALI [PARTE 3]

Equivalence Relations - Properties, Equivalence Classes and Quotient Set

Mathematical Relations - Cartesian Product, Equivalence and Order Relations

Set Theory - Operations, Subsets, and Cardinalities

Logica Proposizionale Spiegata - Tabelle di Verità, Tautologie e Valutazione di Verità

EXERCISES ON REGULAR LANGUAGES - FORMAL LANGUAGES [Part 3]

Deduzione Naturale della Logica Proposizionale - Corso di Logica Proposizionale

Semantica della Logica Proposizionale - Corso di Logica Proposizionale

Sintassi della Logica Proposizionale - Corso di Logica Proposizionale

Introduction to Propositional Logic - Propositional Logic Course

Insiemi Produttivi e Non Ricorsivamente Enumerabili – Esercizi di Calcolabilità e Riduzioni

ESERCIZI SU INSIEMI CREATIVI - TEORIA DELLA CALCOLABILITA [Parte 1]

ESERCIZI DI INDUZIONE STRUTTURALE E SULLE REGOLE

SCHEMA DEI DOMINI - TEORIA DELLA CALCOLABILITÀ

ESERCIZI DI SIMULAZIONE E BISIMULAZIONE DEI PROGRAMMI

ESECUZIONE ESAME LINGUAGGI FORMALI - PARTE 2

ESERCIZI DI TIPAGGIO DEI PROGRAMMI

FOUNDATIONS OF THE THEORY OF COMPUTABILITY

FORMAL LANGUAGE EXAM - PART 1

ESERCIZI SU PUMPING LEMMA LINGUAGGI LIBERI DA CONTESTO - LINGUAGGI FORMALI [PARTE 1]

ESERCIZI SU GRAMMATICHE LIBERE DA CONTESTO - LINGUAGGI FORMALI [PARTE 2]

ESERCIZI SU GRAMMATICHE LIBERE DA CONTESTO - LINGUAGGI FORMALI [PARTE 1]

EXERCISES ON PUMPING LEMMA REGULAR LANGUAGES - FORMAL LANGUAGES [PART 2]

ESERCIZI SU LINGUAGGI REGOLARI - LINGUAGGI FORMALI [Parte 2]

ESERCIZI SU PUMPING LEMMA LINGUAGGI REGOLARI - LINGUAGGI FORMALI [PARTE 1]

ESERCIZI SU LINGUAGGI REGOLARI - LINGUAGGI FORMALI [Parte 1]

Corso di Linguaggio LaTeX

Test C second partial exam Programming 1 ~ uniVR

Prova B secondo esame parziale Programmazione 1 ~ uniVR

Test A second partial exam Programming 1 ~ uniVR

Preprocessor and Directives - C Language [FULL COURSE]

File and Stream Management - C Language [FULL COURSE]

Esercizi sulle STRUTTURE e LISTE - Lingaggio C

Lezione 15: Strutture, Unioni e Campi di Bit - Linguaggio C [CORSO COMPLETO]

Lezione 14: Allocazione dinamica della memoria - Linguaggio C [CORSO COMPLETO]

STRING Exercises - C Language

Lezione 13: Gestione delle Stringhe - Linguaggio C [CORSO COMPLETO]

Lesson 12: Pointer Handling - C Programming Language [FULL COURSE]

Prova C primo esame parziale Programmazione 1 ~ uniVR

Test B first partial exam Programming 1 ~ uniVR

Prova A primo esame parziale Programmazione 1 ~ uniVR

Che cos'è una FPGA? | Field Programmable Gate Array

Esercizi sui VETTORI - LINGUAGGIO C

Lesson 11: Vector Management - C Language [FULL COURSE]

Lezione 10: Variabili automatiche, esterne, statiche e registro - Linguaggio C [CORSO COMPLETO]

Exercises on FUNCTIONS - C LANGUAGE