Loop Invariants

Filter Courses within "Loop Invariants" (Click to filter)
Reset Filters | Advanced Global Search
What is a Proof? (Coursera) Coursera
University of California, San Diego,Higher School of Economics - HSE University

What is a Proof? (Coursera)

CS: Software Engineering CS: Theory

Dive into the core concepts of mathematical thinking and unlock the secrets behind solving complex problems in computer science. This course, 'What is a Proof?', will equip you with crucial skills in areas such as algorithms, bioinformatics, data science, and machine learning through an exploration of induction, recursion, logic, and other vital discrete mathematics tools.

Jun 1st 2026
5-12 Weeks
Math Programming Algorithms
Details
Computing: Art, Magic, Science - Part II (edX) EdX
ETH Zurich,ETHx

Computing: Art, Magic, Science - Part II (edX)

CS: Software Engineering

Dive deeper into the world of computing with 'Computing: Art, Magic, Science - Part II', an advanced course that builds upon foundational concepts introduced in Part I. This course is designed to enhance your understanding of functional programming, design patterns, loop invariants and other critical topics in computer science.

No sessions available
5-12 Weeks
Programming Computing Software Engineering
Details
Page 1