Results for "linear temporal logic"
Johns 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
University 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
Johns 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
Duke 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
University 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
University 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
What brings you to Coursera today?
Berklee
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
Universitat Politècnica de València
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
Universitat Politècnica de València
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
Universitat Politècnica de València
Skills you'll gain: Linear Algebra, Algebra, Geometry, General Mathematics, Applied Mathematics
Howard University
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
University 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
In summary, here are 10 of our most popular linear temporal logic courses
- Linear Algebra from Elementary to Advanced:Â Johns Hopkins University
- Fundamentals of Model Checking:Â University of Colorado Boulder
- Precalculus through Data and Modelling:Â Johns Hopkins University
- Introduction to Logic and Critical Thinking:Â Duke University
- Hardware Description Languages for FPGA Design:Â University of Colorado Boulder
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Music Production:Â Berklee
- Aplicaciones de la TeorÃa de Grafos a la vida real II: Universitat Politècnica de València
- Aplicaciones de la TeorÃa de Grafos a la vida real I: Universitat Politècnica de València
- Basic Math: Algebra: Universitat Politècnica de València
