Results for "linear+temporal+logic"
Universidad de Palermo
Skills you'll gain: Algebra, Arithmetic, General Mathematics, Applied Mathematics, Graphing
University 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
University of Pennsylvania
Skills you'll gain: Calculus, Numerical Analysis, Applied Mathematics, Engineering Calculations, Integral Calculus, Engineering Analysis, Differential Equations, Mathematical Theory & Analysis, Advanced Mathematics, Estimation, Derivatives
University of Leeds
Skills you'll gain: Logical Reasoning, Computational Logic, Computational Thinking, Algorithms, Theoretical Computer Science, Artificial Intelligence, Cryptography, Graph Theory
University of Pennsylvania
Skills you'll gain: Calculus, Engineering Calculations, Mathematical Theory & Analysis, Algebra, Advanced Mathematics, Applied Mathematics, Derivatives
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Linear Algebra, Numerical Analysis, Artificial Intelligence and Machine Learning (AI/ML), Applied Mathematics, Data Analysis, Geometry, Machine Learning Algorithms, Machine Learning, Dimensionality Reduction, Artificial Neural Networks, Data Manipulation
The Hong Kong University of Science and Technology
Skills you'll gain: Computational Logic, Logical Reasoning, Theoretical Computer Science, Deductive Reasoning, Data Structures, Computational Thinking, Computer Science, Algorithms
Board Infinity
Skills you'll gain: Logical Reasoning, Analytical Skills, Deductive Reasoning, Critical Thinking, Problem Solving, Cognitive flexibility
Johns Hopkins University
Skills you'll gain: Data Modeling, Graphing, Mathematical Modeling, Algebra, Trigonometry, Linear Algebra, Calculus, Graphical Tools, Mathematical Software, Applied Mathematics, Geometry
Universitat Autònoma de Barcelona
Skills you'll gain: Computer Architecture, Systems Design, Technical Design, Application Specific Integrated Circuits, Digital Design, Hardware Architecture, Computer Hardware, Verification And Validation
Johns Hopkins University
Skills you'll gain: Graphing, Data Analysis, R (Software), General Mathematics, Mathematical Modeling, Algebra, Applied Mathematics, Calculus
University of North Texas
Skills you'll gain: Arithmetic, Probability & Statistics, Graphing, Geometry, Statistics, Algebra, Applied Mathematics, Systems Of Measurement
In summary, here are 10 of our most popular linear+temporal+logic courses
- Matemática Preuniversitaria: Universidad de Palermo
- Fundamentals of Model Checking: University of Colorado Boulder
- Single Variable Calculus: University of Pennsylvania
- An Introduction to Logic for Computer Science: University of Leeds
- Calculus: Single Variable Part 1 - Functions: University of Pennsylvania
- Linear Algebra for Machine Learning & AI: Birla Institute of Technology & Science, Pilani
- Discrete Math for Computer Science - Logic & Set Theory: The Hong Kong University of Science and Technology
- Logical & Analytical Reasoning — Exam & Recruitment Prep: Board Infinity
- Calculus through Data & Modeling: Precalculus Review: Johns Hopkins University
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
