Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Conditional Statements: C++ Basics
Graph Chatbot
Related lectures (33)
Quantum Circuits: Classic Circuits
Log in to Mediaspace to watch this video
Explores classic circuits in quantum computing, including Boolean functions and reversible gates.
Python Basics: Syntax, Variables, Functions
Log in to Mediaspace to watch this video
Covers Python basics such as syntax, variables, and functions, introducing the Renku platform for collaborative data science.
Control Structures and Error Handling in MATLAB
Log in to Mediaspace to watch this video
Explores control structures, error handling, and data structures in MATLAB programming, emphasizing code readability and practical examples.
FSM Design and Synthesis
Log in to Mediaspace to watch this video
Explains the design and synthesis of Finite State Machines in logic systems.
FPGA Programming with Speedgoat: Real-Time Signal Processing
Log in to Mediaspace to watch this video
Focuses on implementing a square function generator using Speedgoat FPGA technology and real-time signal processing techniques.
Optimal Stopping Problems: Theory and Applications
Log in to Mediaspace to watch this video
Covers optimal stopping problems in applied probability and stochastic processes, focusing on theory and practical applications.
Closure Conversion: Representation and Transformation
Log in to Mediaspace to watch this video
Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.
Boolean Algebra: Properties and Theorems
Log in to Mediaspace to watch this video
Covers the properties and theorems of Boolean algebra in logic systems.
More VHDL for Synthesis: Sequential Statements & Processes
Log in to Mediaspace to watch this video
Explores VHDL for synthesis, emphasizing sequential statements and processes.
Formal Logic: Proofs and Sets
Log in to Mediaspace to watch this video
Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.
Boolean Algebra: Properties and Optimization
Log in to Mediaspace to watch this video
Explores Boolean algebra properties and optimization techniques using Karnaugh diagrams and De Morgan's theorems.
High-Order Functions: Unification Theory
Log in to Mediaspace to watch this video
Covers high-order functions, parser, and type checker concepts.
Inductive Propositions: Reasoning and Evaluation Techniques
Log in to Mediaspace to watch this video
Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.
Previous
Page 2 of 2
Next