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 specifications"
Status: FreeStanford University
Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Business Logic, Applied Mathematics
Imperial College London
Skills you'll gain: Linear Algebra, NumPy, Applied Mathematics, Data Transformation, Data Science, Machine Learning Methods, Algorithms, Data Manipulation, Python Programming
University of Leeds
Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, Test Planning, Verification And Validation, Acceptance Testing, Functional Testing, Usability Testing, Performance Testing, Software Development Life Cycle
Skills you'll gain: Jupyter, Automation, Web Scraping, Python Programming, Data Manipulation, Data Import/Export, Scripting, Data Structures, Data Processing, Data Collection, Application Programming Interface (API), Pandas (Python Package), Programming Principles, NumPy, Object Oriented Programming (OOP), Computer Programming
Johns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, Artificial Intelligence and Machine Learning (AI/ML), Mathematical Modeling, Advanced Mathematics, Engineering Analysis, Mathematical Theory & Analysis, Geometry, Graph Theory, Applied Machine Learning, Markov Model
Status: FreeUniversity of Amsterdam
Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, General Mathematics
Johns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Mathematical Modeling, Engineering Analysis, Applied Mathematics, Mathematical Theory & Analysis, Geometry
Duke University
Skills you'll gain: Deductive Reasoning, Logical Reasoning, Computational Logic, Probability, Sampling (Statistics), Persuasive Communication, Research, Writing, Statistical Inference, Correlation Analysis, Scientific Methods, Interpersonal Communications, Interactive Learning, Learning Strategies
University of Illinois Urbana-Champaign
Skills you'll gain: Application Specific Integrated Circuits, Hardware Design, Computer-Aided Design, Electronic Hardware, Systems Design, Computer Architecture, Electrical and Computer Engineering, Engineering Design Process, Semiconductors, Network Routing, Computational Logic, Data Structures, Algorithms, Linear Algebra, Applied Mathematics, Mathematical Modeling, Calculus
University of Illinois Urbana-Champaign
Skills you'll gain: Computational Logic, Application Specific Integrated Circuits, Theoretical Computer Science, Hardware Design, Data Structures, Verification And Validation, Computer-Aided Design, Computer Architecture, Algorithms, Electrical and Computer Engineering, Programming Principles
Status: [object Object]Google
Skills you'll gain: Storyboarding, Wireframing, UI/UX Research, Responsive Web Design, User Experience Design, Design Thinking, User Research, Information Architecture, Figma (Design Software), Usability Testing, User Story, Web Design, Design Reviews, Usability, Presentations, Design Research, Persona (User Experience), Ideation, User Centered Design, Mockups
Johns Hopkins University
Skills you'll gain: Regression Analysis, Statistical Modeling, R Programming, Linear Algebra, Data Science, Mathematical Modeling, Data Modeling, Predictive Modeling, Statistical Analysis, Applied Mathematics
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Introduction to Logic:Â Stanford University
- Mathematics for Machine Learning: Linear Algebra:Â Imperial College London
- Foundations of Software Testing and Validation:Â University of Leeds
- Python for Data Science, AI & Development:Â IBM
- Linear Algebra from Elementary to Advanced:Â Johns Hopkins University
- Logic for Economists:Â University of Amsterdam
- Linear Algebra: Linear Systems and Matrix Equations:Â Johns Hopkins University
- Introduction to Logic and Critical Thinking:Â Duke University
- VLSI CAD Part II: Layout:Â University of Illinois Urbana-Champaign
- VLSI CAD Part I: Logic:Â University of Illinois Urbana-Champaign
