Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "linear temporal logic"
The University of Sydney
Skills you'll gain: Linear Algebra, Markov Model, Geometry, Arithmetic, Algebra, General Mathematics, Advanced Mathematics, Probability, Mathematics and Mathematical Modeling, Mathematical Theory & Analysis, Mathematical Modeling, Applied Mathematics, Statistical Methods, Engineering Analysis
Status: FreeUniversitat Autònoma de Barcelona
Skills you'll gain: Computer Architecture, Hardware Architecture, Technical Design, System Design and Implementation, Application Specific Integrated Circuits, Embedded Systems, Digital Design, Computer Hardware, Computational Logic, Simulations
The Hong Kong University of Science and Technology
Skills you'll gain: Linear Algebra, Engineering Calculations, Algebra, Engineering Analysis, General Mathematics, Advanced Mathematics, Applied Mathematics
Status: New AI skillsGoogle
Skills you'll gain: Storyboarding, Wireframing, Responsive Web Design, User Experience Design, Design Thinking, User Research, UI/UX Research, Information Architecture, Figma (Design Software), Usability Testing, User Story, Web Design, Design Reviews, Usability, Presentations, User Experience, Design Research, Ideation, User Centered Design, Mockups
University of Colorado Boulder
Skills you'll gain: Operations Research, Algorithms, Applied Mathematics, Graph Theory, Network Model, Linear Algebra, Combinatorics, Computational Thinking, Mathematical Modeling, Theoretical Computer Science, Python Programming, Network Analysis
Duke University
Skills you'll gain: Regression Analysis, Data Analysis Software, Statistical Analysis, R Programming, Statistical Modeling, Statistical Inference, Correlation Analysis, Statistical Methods, Exploratory Data Analysis, Mathematical Modeling, Predictive Modeling
Georgia Institute of Technology
Skills you'll gain: Basic Electrical Systems, Electronic Components, Electrical Systems, Electrical Engineering, Engineering Analysis, Electronics, Engineering Calculations, Physics, Differential Equations
Status: FreeUniversity of Amsterdam
Skills you'll gain: Computational Logic, Logical Reasoning, Mathematics and Mathematical Modeling, Deductive Reasoning, General Mathematics
Status: NewVanderbilt University
Skills you'll gain: Prompt Engineering, ChatGPT, Generative AI Agents, Productivity, Java Programming, Agentic systems, Java, Generative AI, Artificial Intelligence, Large Language Modeling, Creative Thinking, Artificial Intelligence and Machine Learning (AI/ML), Ingenuity, Maintainability, Brainstorming, Persona (User Experience), Systems Integration, Business Logic, Software Development Tools, Transaction Processing
Duke University
Skills you'll gain: Prompt Engineering, Databricks, Large Language Modeling, Generative AI, Performance Analysis, Apache Airflow, Workflow Management, Data Lakes, ChatGPT, Extract, Transform, Load, OpenAI, AWS SageMaker, Performance Tuning, Scalability, Dataflow, Data Transformation, Data Infrastructure, Microsoft Azure, MLOps (Machine Learning Operations), PyTorch (Machine Learning Library)
University of Colorado Boulder
Skills you'll gain: Linear Algebra, Applied Mathematics, Data Science, Data Analysis, Statistical Methods, Algebra
Skills you'll gain: Data Wrangling, Data Cleansing, Data Analysis, Data Manipulation, Data Import/Export, Exploratory Data Analysis, Data Science, Statistical Analysis, Descriptive Statistics, Regression Analysis, Predictive Modeling, Pandas (Python Package), Scikit Learn (Machine Learning Library), Machine Learning Methods, Data Pipelines, NumPy
In summary, here are 10 of our most popular linear temporal logic courses
- Introduction to Linear Algebra:Â The University of Sydney
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Matrix Algebra for Engineers:Â The Hong Kong University of Science and Technology
- Google UX Design:Â Google
- Approximation Algorithms and Linear Programming :Â University of Colorado Boulder
- Linear Regression and Modeling :Â Duke University
- Linear Circuits 1: DC Analysis:Â Georgia Institute of Technology
- Logic for Economists:Â University of Amsterdam
- AI Agents in Java with Generative AI:Â Vanderbilt University
- Large Language Model Operations (LLMOps):Â Duke University
