• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Linear Temporal Logic

Results for "linear+temporal+logic"


  • Status: Free Trial
    Free Trial
    B

    Birla Institute of Technology & Science, Pilani

    Basic Engineering Mathematics

    Skills you'll gain: Integral Calculus, Trigonometry, Engineering Analysis, Linear Algebra, Calculus, Advanced Mathematics, Differential Equations, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Engineering, Algebra, Derivatives

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    184 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universitat Politècnica de València

    Bases matemáticas: Álgebra

    Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, General Mathematics

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Hardware Description Languages for FPGA Design

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, System Design and Implementation, Application Specific Integrated Circuits, Test Case, Test Script Development, Verification And Validation, Electronic Hardware, Computational Logic, Electrical and Computer Engineering, Electronics, Test Tools, Development Testing, Simulation and Simulation Software, Programming Principles, Simulations, Functional Testing, Debugging, Computer Programming

    4.4
    Rating, 4.4 out of 5 stars
    ·
    627 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Leeds

    An Introduction to Logic for Computer Science

    Skills you'll gain: Logical Reasoning, Deductive Reasoning, Computational Logic, Computational Thinking, Algorithms, Artificial Intelligence, Cryptography, Graph Theory

    4.6
    Rating, 4.6 out of 5 stars
    ·
    33 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Precalculus: Relations and Functions

    Skills you'll gain: Graphing, Data Analysis, R (Software), R Programming, General Mathematics, Mathematical Modeling, Algebra, Mathematical Software, Applied Mathematics, Calculus, Business Mathematics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    224 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Mathematics for Machine Learning: Linear Algebra

    Skills you'll gain: Linear Algebra, Applied Mathematics, Jupyter, Data Science, Data Manipulation, Data Transformation, Machine Learning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    13K reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    The Hong Kong University of Science and Technology

    Calculus for Engineers

    Skills you'll gain: Calculus, Numerical Analysis, Integral Calculus, Applied Mathematics, Differential Equations, Mechanics, Trigonometry, Physics, Mathematical Theory & Analysis, Derivatives

    4.9
    Rating, 4.9 out of 5 stars
    ·
    30 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    B

    Birla Institute of Technology & Science, Pilani

    Logic for Computer Science

    Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Analytical Skills, Programming Principles, Computer Science, Data Analysis, Computer Programming, Algorithms, Verification And Validation, Software Development, Machine Learning

    Build toward a degree

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Fundamentals of Digital Design for VLSI Chip Design

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Computational Logic, Computer Architecture, Hardware Design, Hardware Architecture, Memory Management, Electronics, Electronic Systems, Electronic Components, Diagram Design, Data Storage, Data Storage Technologies, Algorithms

    4.5
    Rating, 4.5 out of 5 stars
    ·
    130 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Temporal Logic Model Checking

    Skills you'll gain: Computational Logic, Verification And Validation, Functional Testing, Theoretical Computer Science, Systems Design, Functional Specification, Process Modeling, Communication Systems, Algorithms

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    U

    Universitat Politècnica de València

    Basic Math: Numbers and Terminology

    Skills you'll gain: Deductive Reasoning, Concept Of Operations

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    SystemVerilog Tutorials: Hardware Design & Verification

    Skills you'll gain: Hardware Design, Field-Programmable Gate Array (FPGA), Data Structures, Electronic Hardware, Computational Logic, Application Specific Integrated Circuits, Electronic Systems, System Design and Implementation, Computer Architecture, Verification And Validation, Embedded Systems, Simulation and Simulation Software, Code Reusability, Test Engineering, Data Synthesis, Analysis, Design, Process Optimization

    Intermediate · Course · 1 - 4 Weeks

1234…9

In summary, here are 10 of our most popular linear+temporal+logic courses

  • Basic Engineering Mathematics: Birla Institute of Technology & Science, Pilani
  • Bases matemáticas: Álgebra: Universitat Politècnica de València
  • Hardware Description Languages for FPGA Design: University of Colorado Boulder
  • An Introduction to Logic for Computer Science: University of Leeds
  • Precalculus: Relations and Functions: Johns Hopkins University
  • Mathematics for Machine Learning: Linear Algebra: Imperial College London
  • Calculus for Engineers: The Hong Kong University of Science and Technology
  • Logic for Computer Science: Birla Institute of Technology & Science, Pilani
  • Fundamentals of Digital Design for VLSI Chip Design: L&T EduTech
  • Temporal Logic Model Checking : University of Colorado Boulder

Other topics to explore

Arts and Humanities
338 courses
Business
1095 courses
Computer Science
668 courses
Data Science
425 courses
Information Technology
145 courses
Health
471 courses
Math and Logic
70 courses
Personal Development
137 courses
Physical Science and Engineering
413 courses
Social Sciences
401 courses
Language Learning
150 courses

Coursera Footer

Skills

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

Coursera

  • About
  • What We Offer
  • Leadership
  • Careers
  • Catalog
  • Coursera Plus
  • Professional Certificates
  • MasterTrack® Certificates
  • Degrees
  • For Enterprise
  • For Government
  • For Campus
  • Become a Partner
  • Social Impact
  • Free Courses
  • Share your Coursera learning story

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok