Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Programming paradigm
Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...
Graph Chatbot
Related lectures (31)
Login to filter by course
Login to filter by course
Reset
Previous
Page 3 of 4
Next
Functions: Programming Level
Covers the concept of functions at the programming level and their types.
Programming Models: Overview and Examples
Explores programming models for big data processing, including Spark's RDDs and optimizations.
Hoare Logic: Postconditions and Preconditions
Covers Hoare logic, postconditions, preconditions, and program behavior proofs.
Abstract Data Structures in C++
Covers procedural and object-oriented programming, abstract data structures, templates, and the C++ standard library.
Introduction to MATLAB & GNU Octave
Introduces MATLAB & GNU Octave basics, data types, plotting, programming structures, and GUI interfaces.
Converting Imperative Programs to Formulas
Explores converting imperative programs to formulas for verification, covering assignments, if-else statements, and command semicolons.
Functional Reactive Programming
Explores functional reactive programming as a cleaner and more functional alternative to the traditional observer pattern, using signals to simplify complex observer hierarchies.
Cache Coherence: Concepts and Protocols
Explores cache coherence in multiprocessor systems, including protocols and challenges.
Functional Reactive Programming: Signals and Transformations
Explores functional reactive programming using signals to simplify state changes and event reactions in a more functional and clean approach.
Python: Dictionaries and Tuples
Explores dictionaries, tuples, mutable objects, and variable-length arguments in Python.
