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"
The University of Sydney
Skills you'll gain: Linear Algebra, Markov Model, Geometry, Arithmetic, Algebra, General Mathematics, Advanced Mathematics, Probability, Mathematics and Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Statistical Methods, Engineering Analysis
- Status: Free
Stanford University
Skills you'll gain: Mathematical Theory & Analysis, Mathematics and Mathematical Modeling, Calculus, Deductive Reasoning, General Mathematics, Logical Reasoning
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
DeepLearning.AI
Skills you'll gain: Linear Algebra, NumPy, Dimensionality Reduction, Jupyter, Data Manipulation, Data Science, Machine Learning Algorithms, Applied Mathematics, Python Programming
University of Pennsylvania
Skills you'll gain: Risk Modeling, Financial Statements, Probability Distribution, Mathematical Modeling, Statistical Modeling, Portfolio Management, Regression Analysis, Business Modeling, Financial Modeling, Strategic Decision-Making, Data Presentation, Risk Management, Presentations, Decision Making, Data Visualization, Microsoft PowerPoint, Predictive Modeling, Spreadsheet Software, Google Sheets, Excel Formulas
Skills you'll gain: Data Manipulation, SAS (Software), Data Access, Data Import/Export, Microsoft Excel, Data Analysis, Data Transformation, Exploratory Data Analysis, Data Validation, Data Cleansing, SQL Server Integration Services (SSIS), Descriptive Statistics, Statistical Programming, Data Processing, Data Integration, SQL, Data Presentation, Debugging
- 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
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
- Status: Free
University of Amsterdam
Skills you'll gain: Computational Logic, Logical Reasoning, 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
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: Operations Research, Algorithms, Network Model, Linear Algebra, Combinatorics, Computational Thinking, Mathematical Modeling, Theoretical Computer Science, Computer Programming, Python Programming
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Introduction to Linear Algebra:Â The University of Sydney
- Introduction to Mathematical Thinking:Â Stanford University
- Excel Skills for Business:Â Macquarie University
- Linear Algebra for Machine Learning and Data Science:Â DeepLearning.AI
- Business and Financial Modeling:Â University of Pennsylvania
- SAS Programmer:Â SAS
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Linear Regression and Modeling :Â Duke University
- Logic for Economists:Â University of Amsterdam
- Data Analysis with Python:Â IBM