Results for "linear temporal logic"
Status: NewStatus: Free TrialUniversity of London
Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Computer Science, Critical Thinking, Computational Thinking, Business Logic, Algorithms, Mathematical Modeling, Problem Solving, Strategic Communication
Status: NewStatus: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Systems Analysis, Software Systems, Theoretical Computer Science, Computational Thinking, System Design and Implementation, Simulations, Programming Principles, Software Architecture, Software Design, Model Evaluation, Graph Theory, Pseudocode, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, Logical Reasoning
Status: Free TrialJohns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, Advanced Mathematics, Artificial Intelligence and Machine Learning (AI/ML), Mathematical Modeling, Engineering Analysis, Mathematical Theory & Analysis, Numerical Analysis, Geometry, Data Transformation, Applied Machine Learning, Dimensionality Reduction, Markov Model, Probability
Status: NewStatus: Free TrialUniversity of London
Skills you'll gain: Computational Logic, Combinatorics, Algorithms, Computational Thinking, Probability & Statistics, Applied Mathematics, Logical Reasoning, Data Analysis, Advanced Mathematics, Linear Algebra, Theoretical Computer Science, General Mathematics, Computer Science, Mathematical Modeling, Programming Principles, Business Mathematics, Business Logic, Algebra, Arithmetic, Problem Solving
Status: Free TrialBerklee
Skills you'll gain: Post-Production, Music, Musical Composition, Peer Review, Media Production, Music Performance, Creativity, Instrumental Music, Automation, Editing, File Management, Writing, Digital Signal Processing, Coordination, Electronic Media, System Configuration, Technology Solutions
Status: Free TrialJohns Hopkins University
Skills you'll gain: Data Analysis, Applied Mathematics, Mathematical Modeling, Graphing, Trigonometry, R (Software), Analytical Skills, General Mathematics, Statistics, Algebra, Systems Of Measurement, Correlation Analysis, Regression Analysis, Calculus, Geometry
What brings you to Coursera today?
Status: NewSkills you'll gain: Deductive Reasoning, Logical Reasoning, Case Studies, Ethical Standards And Conduct, Psychology
Status: Free TrialHoward University
Skills you'll gain: Data Wrangling, Linear Algebra, Regression Analysis, NumPy, Predictive Modeling, Dimensionality Reduction, Data Science, Data Visualization, Applied Mathematics, Data Preprocessing, Statistical Modeling, Jupyter, Data Analysis, Machine Learning Methods, Mathematical Modeling, Algebra, Exploratory Data Analysis, Python Programming, Model Evaluation, Statistical Analysis
Status: NewStatus: PreviewSkills you'll gain: Hardware Design, Field-Programmable Gate Array (FPGA), Data Structures, Systems Design, Application Specific Integrated Circuits, Electronic Systems, Computer Engineering, Verification And Validation, Embedded Systems, Software Design, Simulation and Simulation Software, Test Engineering, Programming Principles, Data Synthesis, Analysis, Design, Process Optimization
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, Vector Databases, Engineering Analysis, Computational Logic
Status: NewStatus: Free TrialSkills you'll gain: Programmable Logic Controllers, Performance Tuning
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, System Requirements, Functional Requirement, Theoretical Computer Science, Verification And Validation, Control Systems, Network Model, Systems Analysis, Automation, Mechanical Engineering, Real-Time Operating Systems, Agentic systems, Differential Equations, Safety Assurance, Robotics, Artificial Intelligence, Linear Algebra, Algorithms, Applied Mathematics
In summary, here are 10 of our most popular linear temporal logic courses
- Logic and Reasoning for Computing: University of London
- Fundamentals of Model Checking: University of Colorado Boulder
- Linear Algebra from Elementary to Advanced: Johns Hopkins University
- Essential Mathematics for Computer Science: University of London
- Music Production: Berklee
- Precalculus through Data and Modelling: Johns Hopkins University
- Logic In Philosophy: Logical Fallacies And Common Mistakes: Alex Genadinik
- Linear Algebra for Data Science Using Python: Howard University
- SystemVerilog Tutorials: Hardware Design & Verification: Coursera
- Introduction to Linear Algebra: The University of Sydney
