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"
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
University of Amsterdam
Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, General Mathematics
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
Johns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Mathematical Modeling, Engineering Analysis, Applied Mathematics, Mathematical Theory & Analysis, Geometry
University of Colorado Boulder
Skills you'll gain: Operations Research, Algorithms, Network Model, Linear Algebra, Combinatorics, Computational Thinking, Mathematical Modeling, Theoretical Computer Science, Computer Programming, Python Programming
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: Computer Architecture, Hardware Architecture, Computer Systems, System Design and Implementation, Application Specific Integrated Circuits, Digital Design, Computer Hardware, Design Software, Simulations
University of Colorado Boulder
Skills you'll gain: Linear Algebra, Applied Mathematics, Data Science, Data Analysis, Statistical Methods, Algebra, Numerical Analysis
Macquarie University
Skills you'll gain: Microsoft Excel, Dashboard, Excel Formulas, Spreadsheet Software, Data Visualization, Excel Macros, Data Validation, Data Analysis Expressions (DAX), Data Cleansing, Data Modeling, Business Intelligence, Workflow Management, Financial Modeling, Data Management, Microsoft 365, Consolidation, Data Integrity, Data Entry, Business Reporting, Productivity Software
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, Mathematical Modeling, Predictive Modeling
Georgia Institute of Technology
Skills you'll gain: Basic Electrical Systems, Electronic Components, Electrical Engineering, Engineering Analysis, Engineering Calculations, Physics, Applied Mathematics, Schematic Diagrams, Calculus, Mathematical Modeling
Johns Hopkins University
Skills you'll gain: Algebra, Mathematical Modeling, Graphing, Arithmetic, Advanced Mathematics, Applied Mathematics, Analytical Skills, Probability & Statistics, Linear Algebra, Geometry, Calculus
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Data Analysis with Python: IBM
- Logic for Economists: University of Amsterdam
- Mathematics for Machine Learning and Data Science: DeepLearning.AI
- Linear Algebra for Machine Learning and Data Science: DeepLearning.AI
- Linear Algebra: Linear Systems and Matrix Equations: Johns Hopkins University
- Approximation Algorithms and Linear Programming : University of Colorado Boulder
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Essential Linear Algebra for Data Science: University of Colorado Boulder
- Excel Skills for Business: Macquarie University
- Linear Regression and Modeling : Duke University