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

Results for "linear+temporal+logic"


  • B

    Birla Institute of Technology & Science, Pilani

    Formal Languages and Applications

    Skills you'll gain: Theoretical Computer Science, Computer Programming, Algorithms, Computer Science, Formal Learning, Software Engineering, Program Development, Data Science, Technical Analysis

    Intermediate · Course · 1 - 3 Months

    Category: New
    New
    Category: Build toward a degree
    Build toward a degree
  • U

    Universitat Politècnica de València

    Bases Matemáticas: Derivadas

    Skills you'll gain: Calculus, Applied Mathematics, Graphing, Algebra, Derivatives, Mathematical Theory & Analysis, Trigonometry

    Beginner · Course · 1 - 3 Months

    Category: New
    New
    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • U

    Universitat Autònoma de Barcelona

    Pre-Calculus

    Skills you'll gain: Trigonometry, Integral Calculus, Calculus, Arithmetic, Advanced Mathematics, Algebra, Geometry, Applied Mathematics, Graphing, Derivatives, Problem Solving

    ★ 4.7 (573) · Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • H

    Howard University

    Linear Algebra for Data Science Using Python

    Skills you'll gain: Data Wrangling, Linear Algebra, Regression Analysis, Data Manipulation, Predictive Modeling, Dimensionality Reduction, Data Science, Data Visualization, Mathematical Modeling, Scientific Visualization, Data Preprocessing, NumPy, Predictive Analytics, Statistical Modeling, Mathematical Software, Statistical Methods, Jupyter, Applied Mathematics, Algebra, Python Programming

    ★ 4.3 (33) · Beginner · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • D

    DeepLearning.AI

    Linear Algebra for Machine Learning and Data Science

    Skills you'll gain: Linear Algebra, Dimensionality Reduction, Mathematical Software, Machine Learning Methods, Data Transformation, Data Manipulation, Applied Mathematics, Machine Learning, Python Programming, Algebra, Image Analysis

    ★ 4.6 (2.3K) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    Universitat Politècnica de València

    Basic Math: Derivatives

    Skills you'll gain: Calculus, Advanced Mathematics, Algebra, Derivatives, Applied Mathematics, Trigonometry, Geometry

    Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • E

    Edureka

    Developing LLM Applications with LangChain

    Skills you'll gain: LangChain, LLM Application, Retrieval-Augmented Generation, LangGraph, AI Workflows, Large Language Modeling, AI Orchestration, Responsible AI, Generative AI, Token Optimization, Agentic systems, Prompt Engineering, Generative AI Agents, Natural Language Processing, Cloud Development, Application Programming Interface (API), Python Programming, Application Deployment, Data Processing, Pandas (Python Package)

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • D

    DeepLearning.AI

    LangChain for LLM Application Development

    Skills you'll gain: LangChain, LLM Application, Large Language Modeling, Retrieval-Augmented Generation, Generative AI Agents, Prompt Engineering, Prompt Patterns, Generative Model Architectures, AI Workflows

    ★ 4.7 (301) · Beginner · Project · Less Than 2 Hours

    Category: Free
    Free
    Category: Credit offered
    Credit offered
  • S

    Shanghai Jiao Tong University

    Discrete Mathematics

    Skills you'll gain: Combinatorics, Graph Theory, Theoretical Computer Science, Network Model, Mathematical Theory & Analysis, Advanced Mathematics, Network Analysis, Mathematics and Mathematical Modeling, Logical Reasoning, General Mathematics, Algorithms, Probability, Computer Science

    ★ 3.3 (203) · Intermediate · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • U

    Universitat Autònoma de Barcelona

    Digital Systems: From Logic Gates to Processors

    Skills you'll gain: Computer Architecture, Systems Design, Microarchitecture, System Design and Implementation, Technical Design, Application Specific Integrated Circuits, Digital Design, Design Software, Hardware Architecture, Computer Hardware, Simulations

    ★ 4.3 (858) · Intermediate · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • D

    Duke University

    Rust for Large Language Model Operations (LLMOps)

    Skills you'll gain: LLM Application, Hugging Face, Large Language Modeling, Generative AI, Rust (Programming Language), Model Deployment, Cloud Deployment, PyTorch (Machine Learning Library), Applied Machine Learning, Model Training, Natural Language Processing, DevOps, Amazon Web Services, Machine Learning

    ★ 4.3 (15) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 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

    Category: New
    New
    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
1…678…9

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

  • Formal Languages and Applications: Birla Institute of Technology & Science, Pilani
  • Bases Matemáticas: Derivadas: Universitat Politècnica de València
  • Pre-Calculus: Universitat Autònoma de Barcelona
  • Linear Algebra for Data Science Using Python: Howard University
  • Linear Algebra for Machine Learning and Data Science: DeepLearning.AI
  • Basic Math: Derivatives: Universitat Politècnica de València
  • Developing LLM Applications with LangChain: Edureka
  • LangChain for LLM Application Development: DeepLearning.AI
  • Discrete Mathematics: Shanghai Jiao Tong University
  • Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona

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