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
Untitled
Graph Chatbot
Related lectures (29)
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Composition of Applications in Mathematics
Explores the composition of applications in mathematics and the importance of understanding their properties.
Cartesian Product and Induction
Introduces Cartesian product and induction for proofs using integers and sets.
Dependent Types in Programming Languages
Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.
Foundations of Scala: Modelling and Type Systems
Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.
Differential Forms Integration
Covers the integration of differential forms on smooth manifolds, including the concepts of closed and exact forms.
Mapping Functions and Surjections
Explores mapping functions, surjections, injective and surjective functions, and bijective functions.
Gitlab Agent for Kubernetes (`agentk`)
Covers the setup of a Gitlab agent for Kubernetes, focusing on installation, version control, and troubleshooting.
Property-Based Testing: Advanced Techniques
Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.
Local Homeomorphisms and Coverings
Covers the concepts of local homeomorphisms and coverings in manifolds, emphasizing the conditions under which a map is considered a local homeomorphism or a covering.
Approximation Algorithms
Covers approximation algorithms for optimization problems, LP relaxation, and randomized rounding techniques.
Designing Learning Experiences: CS411 Class Project
Introduces the CS411 Class Project, where students design and test a lesson using learning theories.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
Untitled
Log in to Mediaspace to watch this video
Untitled
Log in to Mediaspace to watch this video
Introduction to Coq: Arithmetic Expressions and Evaluators
Log in to Mediaspace to watch this video
Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.
Untitled
Log in to Mediaspace to watch this video
Untitled
Log in to Mediaspace to watch this video
Logic Programming Techniques: Automated Proof Search and Unification
Log in to Mediaspace to watch this video
Covers logic programming concepts, focusing on automated proof search and unification techniques in Coq.
Introduction to Proof Scripting: Basics of Ltac
Log in to Mediaspace to watch this video
Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.
Previous
Page 1 of 2
Next
