[Arabic] Discrete Structures (CS201) Lecture 4: Predicates and Quantifiers

This the first electronic lecture during the current conditions in the region. It covers the topics of predicates and quantifiers along with examples on how to convert English into logic. A brief mentioning of function programming languages is made in the end.

Видео [Arabic] Discrete Structures (CS201) Lecture 4: Predicates and Quantifiers канала Abdullah al-Heyari