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"
DeepLearning.AI
Skills you'll gain: Descriptive Statistics, Bayesian Statistics, Statistical Hypothesis Testing, Probability & Statistics, Sampling (Statistics), Probability Distribution, Probability, Linear Algebra, Statistical Inference, A/B Testing, Statistical Analysis, Applied Mathematics, NumPy, Calculus, Dimensionality Reduction, Machine Learning, Jupyter, Python Programming, Data Manipulation, Data Science
DeepLearning.AI
Skills you'll gain: Linear Algebra, NumPy, Dimensionality Reduction, Jupyter, Data Manipulation, Data Science, Machine Learning Algorithms, Applied Mathematics, Python Programming
Imperial College London
Skills you'll gain: Linear Algebra, NumPy, Applied Mathematics, Data Transformation, Data Science, Machine Learning Methods, Algorithms, Data Manipulation, Python Programming
- Status: Free
University of Amsterdam
Skills you'll gain: Computational Logic, Logical Reasoning, Mathematics and Mathematical Modeling, Deductive Reasoning, General Mathematics
Skills you'll gain: Data Wrangling, Data Cleansing, Data Analysis, Data Manipulation, Data Import/Export, Exploratory Data Analysis, Predictive Analytics, Data Science, Statistical Analysis, Regression Analysis, Predictive Modeling, Pandas (Python Package), Analytics, Scikit Learn (Machine Learning Library), Data-Driven Decision-Making, Machine Learning Methods, Feature Engineering, Statistical Methods, Python Programming, NumPy
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: Computer Architecture, Computer Engineering, Hardware Architecture, System Design and Implementation, Application Specific Integrated Circuits, Digital Design, Computer Hardware, Computational Logic, Design Software, Simulations
The Hong Kong University of Science and Technology
Skills you'll gain: Linear Algebra, Engineering Calculations, Algebra, Engineering Analysis, General Mathematics, Advanced Mathematics, Applied Mathematics
University of Colorado Boulder
Skills you'll gain: Linear Algebra, Applied Mathematics, Data Science, Data Analysis, Statistical Methods, Algebra, Numerical Analysis
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronic Hardware, Electronic Systems, Embedded Systems, Systems Design, Application Specific Integrated Circuits, Embedded Software, Semiconductors, Schematic Diagrams, Technical Design, System Programming, Electrical and Computer Engineering, System Design and Implementation, Software Development, Integrated Development Environments, Functional Design, Verification And Validation, Software Design, Computer Architecture
Johns Hopkins University
Skills you'll gain: Algebra, Mathematical Modeling, Graphing, Arithmetic, Advanced Mathematics, Applied Mathematics, Analytical Skills, Probability & Statistics, Linear Algebra, Geometry, Calculus
Multiple educators
Skills you'll gain: Dashboard, Pseudocode, Jupyter, Algorithms, Data Mining, Pandas (Python Package), Correlation Analysis, Web Scraping, NumPy, Probability & Statistics, Predictive Modeling, Big Data, Automation, Data Visualization Software, Data Collection, Data Science, GitHub, Python Programming, Machine Learning Algorithms, Unsupervised Learning
Duke University
Skills you'll gain: Regression Analysis, Statistical Software, Statistical Analysis, R Programming, Statistical Modeling, Statistical Inference, Data Analysis, Statistical Methods, Exploratory Data Analysis, Predictive Modeling
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Mathematics for Machine Learning and Data Science:Â DeepLearning.AI
- Linear Algebra for Machine Learning and Data Science:Â DeepLearning.AI
- Mathematics for Machine Learning: Linear Algebra:Â Imperial College London
- Logic for Economists:Â University of Amsterdam
- Data Analysis with Python:Â IBM
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Matrix Algebra for Engineers:Â The Hong Kong University of Science and Technology
- Essential Linear Algebra for Data Science:Â University of Colorado Boulder
- FPGA Design for Embedded Systems:Â University of Colorado Boulder
- Algebra: Elementary to Advanced:Â Johns Hopkins University