Filter by
The language used throughout the course, in both instruction and assessments.
162 results for "proof theory"
University of California San Diego
Skills you'll gain: Mathematics, Problem Solving, Mathematical Theory & Analysis, Critical Thinking, Computational Thinking, Algorithms, Computational Logic, Strategy, Creativity, Experiment
- Status: Free
University of Amsterdam
Skills you'll gain: Computational Logic, Computational Thinking, Critical Thinking, Decision Making, Mathematical Theory & Analysis, Mathematics, Problem Solving
University of California San Diego
Skills you'll gain: Algorithms, Computer Programming, Graph Theory, Mathematics, Python Programming, Mathematical Theory & Analysis, Problem Solving, Theoretical Computer Science
EIT Digital
Skills you'll gain: Operating Systems, Systems Design, Theoretical Computer Science, Algorithms
University of California San Diego
Skills you'll gain: Graph Theory, Mathematics, Problem Solving, Mathematical Theory & Analysis, Algorithms, Critical Thinking, Computational Thinking, Game Theory, Plot (Graphics), Visualization (Computer Graphics)
- Status: Free
The Chinese University of Hong Kong
- Status: Free
Georgia Institute of Technology
Skills you'll gain: Game Theory, Mathematics, Combinatorics
DeepLearning.AI
Skills you'll gain: Machine Learning, Deep Learning, Artificial Neural Networks, Machine Learning Algorithms, Applied Machine Learning, Python Programming, Machine Learning Software, Network Model, Algorithms, Computer Programming, Computer Vision, Network Architecture, Natural Language Processing, Tensorflow, Human Learning, Data Analysis, Data Model, Exploratory Data Analysis, Organizational Development, Process Analysis, Strategy, Mathematics, Mathematical Theory & Analysis, Linear Algebra, Regression, Calculus
Skills you'll gain: Project Management, Strategy and Operations, Business Communication, Change Management, Organizational Development, Communication, Culture, Emotional Intelligence, Influencing, Leadership and Management, People Management, Planning
Skills you'll gain: Computer Programming, Software Engineering, Software Engineering Tools, Application Development, Communication, Programming Principles, Software Architecture, Agile Software Development, Web Development, Javascript, Cloud Applications, Docker (Software), Front-End Web Development, IBM Cloud, Kubernetes, Leadership and Management, Technical Product Management, User Experience Design, Collaboration, DevOps, Cloud Computing, Computer Science, Continuous Delivery, Continuous Integration, Mergers & Acquisitions, NoSQL, Python Programming, React (web framework)
Skills you'll gain: Machine Learning, Deep Learning, Artificial Neural Networks, Human Learning, Python Programming, Machine Learning Algorithms, Applied Machine Learning, Algorithms, Machine Learning Software, Regression, Network Model, Mathematics, Computer Vision, Apache, Big Data, Mathematical Theory & Analysis, Computer Programming, Data Analysis, Network Architecture, Extract, Transform, Load, Data Visualization, Tensorflow, Visualization (Computer Graphics), Natural Language Processing, Data Science
- Status: Free
Yale University
Skills you'll gain: Finance, Investment Management, Risk Management, Behavioral Economics, Critical Thinking, Decision Making, Financial Analysis, Innovation, Regulations and Compliance, Underwriting, Leadership and Management
In summary, here are 10 of our most popular proof theory courses
- Mathematical Thinking in Computer Science:Â University of California San Diego
- Logic for Economists:Â University of Amsterdam
- Delivery Problem:Â University of California San Diego
- Development of Real-Time Systems:Â EIT Digital
- Introduction to Graph Theory:Â University of California San Diego
- Information Theory:Â The Chinese University of Hong Kong
- Games without Chance: Combinatorial Game Theory:Â Georgia Institute of Technology
- Deep Learning:Â DeepLearning.AI
- Foundations of Project Management:Â Google
- IBM Full-Stack JavaScript Developer:Â IBM