Logic Courses and Certifications

Discover AI

Watch Out for AI Phase Transitions - First Order Logic

Discover how AI models experience logical phase transitions and learn to identify the exact breaking points where LLM reasoning collapses using first-order logic principles.

• YouTube
• 20 minutes
• Self-Paced
• Free Video

Mathematical Thinking in Computer Science

2284 ratings at Coursera

Develop critical thinking skills for computer science through induction, recursion, logic, and invariants. Solve interactive puzzles to grasp key concepts in algorithms, data science, and machine learning.

• Coursera
• 1 day 17 hours 45 minutes
• Self-Paced
• Paid Course

Azure Serverless Functions and Logic Apps

4928 ratings at Udemy

Learn about the new Serverless model for Cloud Apps, using Azure Functions, Logic Apps, and Event Grid.

• Udemy
• 2 hours 10 minutes
• Self-Paced
• Paid Course

Applied Logic (Level 2)

3859 ratings at Udemy

This course will give an intermediate-level student the experience necessary to originate complex, logical solutions.

• Udemy
• 8 hours 28 minutes
• Self-Paced
• Paid Course

Azure Function, Logic Apps & Blob Storage for .NET Developer

3505 ratings at Udemy

Master Azure Functions, Azure Logic Apps, Azure Blob Storage and Azure Cache for Redis with real world .NET Core Project

• Udemy
• 6 hours 4 minutes
• Self-Paced
• Paid Course

NPTEL-NOC IITM

Logical Reasoning: Syllogism Logic, Truth and Validity - Module 2 Lecture 12

1 rating

Explore the concepts of syllogism logic, truth, and validity in logical reasoning, understanding how to evaluate arguments and distinguish between logical forms.

• YouTube
• 27 minutes
• Self-Paced
• Free Video

Discrete Math for Computer Science - Logic & Set Theory

Master propositional and predicate logic, set theory, and formal reasoning to build mathematical foundations essential for algorithm design and program correctness.

• Coursera
• 9 hours 24 minutes
• Self-Paced
• Paid Course

Mixing and Mastering in Logic Pro - Music Production Guide

2170 ratings at Udemy

Learn Mixing and Mastering in Logic Pro with our follow-along music production guide for mixing and mastering music

• Udemy
• 8 hours 52 minutes
• Self-Paced
• Paid Course

RSlogix/Studio5000 Ladder Logic Training. Basic

2054 ratings at Udemy

The student will learn how to create a project, routines and ladder programming using RSlogix/Studio5000 software.

• Udemy
• 3 hours 26 minutes
• Self-Paced
• Paid Course

BSidesLV

Breaking the Giants With Logic

Explore logic-based vulnerabilities in major platforms, focusing on duplicates and business logic flaws. Learn techniques to identify and exploit these weaknesses through real-world case studies.

• YouTube
• 25 minutes
• Self-Paced
• Conference Talk

IMSA

Model Theory: From Logic to Geometric Stability Theory and O-Minimality II

Explore model theory principles, focusing on o-minimality and stability theory, with applications to complex geometry and arithmetic aspects.

• YouTube
• 1 hour 6 minutes
• Self-Paced
• Free Video

IEEE

A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols

Explore a logic and interactive prover for computational post-quantum security in protocols, enhancing understanding of cryptographic security in the quantum era.

• YouTube
• 18 minutes
• Self-Paced
• Conference Talk

Fields Institute

Open Problems Session - Connections with Logic Workshop

Explore cutting-edge challenges in operator algebras and logic during this interactive session, fostering collaboration and advancing research in mathematical foundations.

• YouTube
• 45 minutes
• Self-Paced
• Free Video

Hausdorff Center for Mathematics

First-Order Logic from a Naproche Perspective

Explore first-order logic through the lens of Naproche, a natural language proof checker, in this insightful talk by Peter Koepke at the School on Formal Mathematics.

• YouTube
• 24 minutes
• Self-Paced
• Free Video

Simons Institute

Logic and Algebras for Distributed Computing - Applications and Open Questions

Exploring connections between distributed computing and formal program representations, unifying logic and algebra-based approaches for practical language design and theoretical proofs.

• YouTube
• 1 hour 1 minute
• Self-Paced
• Free Video