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

Results for "linear+temporal+logic"


  • J

    Johns Hopkins University

    Linear Algebra from Elementary to Advanced

    Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, Advanced Mathematics, Artificial Intelligence and Machine Learning (AI/ML), Engineering Analysis, Mathematical Theory & Analysis, Geometry, Applied Machine Learning, Markov Model

    ★ 4.7 (230) · Beginner · Specialization · 3 - 6 Months

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

    Johns Hopkins University

    Algebra: Elementary to Advanced

    Skills you'll gain: Algebra, Mathematical Modeling, Graphing, Arithmetic, Advanced Mathematics, Applied Mathematics, Deductive Reasoning, Analytical Skills, Probability & Statistics, Geometry

    ★ 4.8 (810) · Beginner · Specialization · 3 - 6 Months

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

    Universitat Politècnica de València

    Basic Math: Algebra

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

    Beginner · Course · 1 - 4 Weeks

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

    Edureka

    LLM Engineering: Prompting, Fine-Tuning, Optimization & RAG

    Skills you'll gain: Retrieval-Augmented Generation, Prompt Engineering, Multimodal Prompts, Prompt Patterns, Prompt Engineering Tools, LLM Application, Fine-tuning, Model Evaluation, Context Engineering, LangChain, Token Optimization, Large Language Modeling, Hugging Face, Transfer Learning, Model Optimization, Model Deployment, Generative AI, LangGraph, Context Management, Vector Databases

    Intermediate · Specialization · 3 - 6 Months

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

    Johns Hopkins University

    Precalculus through Data and Modelling

    Skills you'll gain: Data Literacy, Data Analysis, Applied Mathematics, Mathematical Modeling, Graphing, Trigonometry, R (Software), R Programming, General Mathematics, Data Modeling, Algebra, Systems Of Measurement, Mathematical Software, Correlation Analysis, Regression Analysis, Calculus, Business Mathematics, Geometry

    ★ 4.7 (321) · Beginner · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 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 (130) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered

What brings you to Coursera today?

  • U

    University of London

    Essential Mathematics for Computer Science

    Skills you'll gain: Computational Logic, Algorithms, Arithmetic, Applied Mathematics, Advanced Mathematics, Mathematics and Mathematical Modeling, Deductive Reasoning, Mathematical Theory & Analysis, Trigonometry, Geometry, Statistics, General Mathematics, Graphing, Computer Science, Mathematical Modeling, Programming Principles, Business Mathematics, Business Logic, Algebra, Problem Solving

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

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
  • P

    Pragmatic AI Labs

    Deterministic LLM programming

    Skills you'll gain: Retrieval-Augmented Generation, Amazon Bedrock, LLM Application, AWS SageMaker, Token Optimization, Large Language Modeling, Amazon Web Services, No-Code Development, Prompt Engineering, Generative AI, AI Orchestration, Model Deployment, Generative AI Agents, Package and Software Management, Model Training, Rust (Programming Language), Model Optimization, Performance Tuning, Data Wrangling

    Beginner · Course · 1 - 4 Weeks

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

    University of North Texas

    Math Prep: College & Work Ready

    Skills you'll gain: Arithmetic, Graphing, Geometry, Statistics, Algebra, Descriptive Statistics, General Mathematics, Applied Mathematics, Statistical Visualization

    ★ 4.5 (327) · Beginner · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • U

    Universitat Politècnica de València

    Aplicaciones de la Teoría de Grafos a la vida real II

    Skills you'll gain: Graph Theory, Graphing, Traffic Flow Optimization, Operations Research, Applied Mathematics, Network Model, Mathematical Modeling, Network Routing, Network Analysis, Mathematics and Mathematical Modeling, Algorithms, Spatial Analysis, Capacity Management

    Intermediate · Course · 1 - 3 Months

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

    Universitat Politècnica de València

    Aplicaciones de la Teoría de Grafos a la vida real I

    Skills you'll gain: Graph Theory, Mathematical Modeling, Data Structures, Graphing, Applied Mathematics, Network Model, Algorithms, Network Analysis, Social Network Analysis, Graphical Tools, Network Routing, Computer Networking

    Beginner · Course · 1 - 3 Months

    Category: New
    New
    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • S

    Stanford University

    Introduction to Logic

    Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Problem Solving, Mathematics and Mathematical Modeling, Business Logic

    ★ 4.4 (655) · Intermediate · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
1234…9

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

  • Linear Algebra from Elementary to Advanced: Johns Hopkins University
  • Algebra: Elementary to Advanced: Johns Hopkins University
  • Basic Math: Algebra: Universitat Politècnica de València
  • LLM Engineering: Prompting, Fine-Tuning, Optimization & RAG: Edureka
  • Precalculus through Data and Modelling: Johns Hopkins University
  • Fundamentals of Digital Design for VLSI Chip Design: L&T EduTech
  • Essential Mathematics for Computer Science: University of London
  • Deterministic LLM programming: Pragmatic AI Labs
  • Math Prep: College & Work Ready: University of North Texas
  • Aplicaciones de la Teoría de Grafos a la vida real II: Universitat Politècnica de València

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