Results for "linear+temporal+logic"
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Analytical Skills, Programming Principles, Computer Science, Data Analysis, Computer Programming, Algorithms, Verification And Validation, Software Development, Machine Learning
Skills you'll gain: LangChain, LLM Application, Prompt Engineering, Large Language Modeling, OpenAI API, Hugging Face, Embeddings, AI Workflows, Development Environment, Generative AI Agents, Retrieval-Augmented Generation, Vector Databases, Python Programming, Agentic systems, Document Management, Application Development, Image Analysis
The Hong Kong University of Science and Technology
Skills you'll gain: Calculus, Numerical Analysis, Integral Calculus, Applied Mathematics, Differential Equations, Mechanics, Trigonometry, Physics, Mathematical Theory & Analysis, Derivatives
Universitat Politècnica de València
Skills you'll gain: Deductive Reasoning, Concept Of Operations
Johns Hopkins University
Skills you'll gain: Algebra, Applied Mathematics, Graphing, Mathematical Modeling, Advanced Mathematics, Calculus, Predictive Modeling
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
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Linear Algebra, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Applied Mathematics, Deep Learning, Machine Learning
University of Pittsburgh
Skills you'll gain: NumPy, Matplotlib, Plot (Graphics), Linear Algebra, Pandas (Python Package), Data Manipulation, Applied Mathematics, Python Programming, Data Analysis, Data Science, Mathematical Software, Regression Analysis, Data Visualization Software, Mathematics and Mathematical Modeling, Probability & Statistics, Numerical Analysis, Mathematical Modeling, Machine Learning, Computational Logic, Logical Reasoning
Universitat Politècnica de València
Skills you'll gain: Integral Calculus, Calculus, Engineering Calculations, Trigonometry
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Graph Theory, Network Analysis, Social Network Analysis, Combinatorics, Network Model, Mathematical Modeling, Transportation Operations, Image Analysis, Algorithms, Theoretical Computer Science, Artificial Intelligence and Machine Learning (AI/ML), Model Optimization, Computational Thinking, Problem Solving, Embeddings
Tecnológico de Monterrey
Skills you'll gain: Arithmetic, Mathematics Education, Mathematical Modeling, Digital pedagogy, General Mathematics, Calculus, Applied Mathematics, Linear Algebra, Mathematical Software, Algebra, Graphing
Universidad de Palermo
Skills you'll gain: Algebra, Arithmetic, Mathematical Modeling, General Mathematics, Applied Mathematics, Graphing
In summary, here are 10 of our most popular linear+temporal+logic courses
- Logic for Computer Science:Â Birla Institute of Technology & Science, Pilani
- The Complete LangChain & LLMs Guide:Â Packt
- Calculus for Engineers:Â The Hong Kong University of Science and Technology
- Basic Math: Numbers and Terminology: Universitat Politècnica de València
- Honors Algebra 2: Algebraic, Exponential & Log Functions:Â Johns Hopkins University
- Essential Linear Algebra for Data Science:Â University of Colorado Boulder
- Math for AI beginner part 1 Linear Algebra:Â Korea Advanced Institute of Science and Technology(KAIST)
- Linear Algebra and Regression Fundamentals for Data Science:Â University of Pittsburgh
- Basic Math: Integrals: Universitat Politècnica de València
- Graphs and Networks:Â Birla Institute of Technology & Science, Pilani
