Results for "linear temporal logic"
Status: Free TrialJohns Hopkins University
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
Status: Free TrialDuke University
Skills you'll gain: Deductive Reasoning, Critical Thinking, Logical Reasoning, Computational Logic, Analysis, Probability, Diagram Design, Sampling (Statistics), Persuasive Communication, Verification And Validation, Probability & Statistics, Statistical Inference, Correlation Analysis, Communication, Decision Intelligence, Appeals, Business Communication
Status: NewStatus: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Computer Engineering, Communication Systems, Systems Analysis, Software Systems, Process Modeling, Functional Testing, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Logical Reasoning
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Model Based Systems Engineering, Mathematical Modeling, System Requirements, Functional Requirement, Theoretical Computer Science, Functional Specification, Verification And Validation, Systems Architecture, Automation Engineering, Control Systems, Network Model, Requirements Analysis, Mechanical Engineering, Mechanics, Applied Mathematics, Automation, Systems Analysis, Differential Equations, Algorithms
Status: Free TrialJohns Hopkins University
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
Status: Free TrialUniversity of Colorado Boulder
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
What brings you to Coursera today?
Status: NewStatus: Free TrialUniversity of London
Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Programming Principles, Computer Science, Critical Thinking, Computational Thinking, Business Logic, Algorithms, Mathematical Theory & Analysis, Algebra, Mathematical Modeling, Problem Solving, Strategic Communication
Status: Free TrialSkills 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
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, Timelines, Coordination, Data Import/Export, Digital Communications, Electronic Media
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, System Requirements, Functional Requirement, Theoretical Computer Science, Functional Specification, Mathematical Modeling, Requirements Analysis, Systems Analysis, Verification And Validation, Control Systems, Computer Science, Applied Mathematics
Status: Free TrialSkills you'll gain: Critical Thinking and Problem Solving, Logical Reasoning, Analytical Skills, Deductive Reasoning, Critical Thinking, Problem Solving, Complex Problem Solving, Computational Logic, Applied Mathematics, Combinatorics, Geometry, Arithmetic
Status: PreviewStanford University
Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Problem Solving, Mathematics and Mathematical Modeling, Business Logic
In summary, here are 10 of our most popular linear temporal logic courses
- Linear Algebra from Elementary to Advanced:Â Johns Hopkins University
- Introduction to Logic and Critical Thinking:Â Duke University
- Fundamentals of Model Checking:Â University of Colorado Boulder
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Precalculus through Data and Modelling:Â Johns Hopkins University
- Hardware Description Languages for FPGA Design:Â University of Colorado Boulder
- Logic and Reasoning for Computing:Â University of London
- Fundamentals of Digital Design for VLSI Chip Design:Â L&T EduTech
- Music Production:Â Berklee
- Requirement Specifications for Autonomous Systems:Â University of Colorado Boulder
