Results for "linear+temporal+logic"
University of Colorado Boulder
Skills you'll gain: Linear Algebra, Applied Mathematics, Data Science, Mathematics and Mathematical Modeling, Data Analysis, Data Modeling, Statistical Methods, Algebra, Numerical Analysis
Tecnológico de Monterrey
Skills you'll gain: Digital pedagogy, Education Software and Technology, Calculus, Applied Mathematics, Mechanics, Algebra, Mathematical Modeling, General Mathematics, Model Optimization, Mathematics Education, Mathematical Software, Graphing, Derivatives
Tecnológico de Monterrey
Skills you'll gain: Applied Mathematics, Algebra, Mathematical Modeling, Graphing, Mathematical Software, General Mathematics, Calculus, Model Optimization, Mathematical Theory & Analysis, Integral Calculus, Graphical Tools, Derivatives
The Hong Kong University of Science and Technology
Skills you'll gain: Computational Logic, Logical Reasoning, Theoretical Computer Science, Deductive Reasoning, Programming Principles, Mathematics and Mathematical Modeling, Computer Science, Algorithms
École Polytechnique
Skills you'll gain: Probability, Probability Distribution, Probability & Statistics, Simulations, Statistical Methods, Interactive Data Visualization, Mathematical Theory & Analysis, Applied Mathematics, Correlation Analysis
University of Colorado Boulder
Skills you'll gain: Graph Theory
Duke University
Skills you'll gain: LLM Application, Hugging Face, Large Language Modeling, Generative AI, Rust (Programming Language), Model Deployment, Cloud Deployment, PyTorch (Machine Learning Library), Applied Machine Learning, Model Training, Natural Language Processing, DevOps, Amazon Web Services, Machine Learning
École Polytechnique
Skills you'll gain: Probability, Probability & Statistics, Probability Distribution, Statistical Methods, Sampling (Statistics), Statistical Inference, Simulations, Mathematical Theory & Analysis, Calculus, Correlation Analysis
Skills you'll gain: Data Structures, C++ (Programming Language), C and C++, Programming Principles, Algorithms, Theoretical Computer Science, Object Oriented Programming (OOP)
DeepLearning.AI
Skills you'll gain: LLM Application, Token Optimization, Large Language Modeling, Model Optimization, Fine-tuning, Performance Tuning, Generative AI
Howard University
Skills you'll gain: Linear Algebra, Data Visualization, Scientific Visualization, NumPy, Mathematical Software, Algebra, Jupyter, Mathematical Modeling, Data Science, Software Development Tools, Python Programming, Software Installation, Data Manipulation, Git (Version Control System)
Skills you'll gain: Data Structures, Java Programming, Java, Theoretical Computer Science, Programming Principles, Algorithms
In summary, here are 10 of our most popular linear+temporal+logic courses
- Essential Linear Algebra for Data Science: University of Colorado Boulder
- 2.- El Cálculo - Modelo Cuadrático: Tecnológico de Monterrey
- 3.- El Cálculo - Modelo Cúbico: Tecnológico de Monterrey
- Discrete Math for Computer Science - Logic & Set Theory: The Hong Kong University of Science and Technology
- Aléatoire : une introduction aux probabilités - Partie 1: École Polytechnique
- Model Checking with SAT and SMT : University of Colorado Boulder
- Rust for Large Language Model Operations (LLMOps): Duke University
- Aléatoire : une introduction aux probabilités - Partie 2: École Polytechnique
- C++: Linear Data Structures and Trees: Codio
- Efficiently Serving LLMs: DeepLearning.AI
