Results for "proof theory"
Status: NewBirla Institute of Technology & Science, Pilani
Skills you'll gain: Theoretical Computer Science, Computational Logic, Mathematical Theory & Analysis, Algorithms, Computational Thinking, Programming Principles, Computer Science, Graph Theory, Natural Language Processing, Logical Reasoning, Formal Learning
Status: Free TrialUniversity of California San Diego
Skills you'll gain: Cryptographic Protocols, Cryptography, Key Management, Encryption, Public Key Cryptography Standards (PKCS), Arithmetic, Algorithms, Theoretical Computer Science, Computational Thinking, Algebra, Python Programming
Status: PreviewStanford University
Skills you'll gain: Game Theory, Strategic Decision-Making, Mathematical Modeling, Graph Theory, Bayesian Statistics, Behavioral Economics, Probability, Economics, Problem Solving, Algorithms
Status: PreviewUniversity of Amsterdam
Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, General Mathematics
Status: Free TrialUniversity of California San Diego
Skills you'll gain: Graph Theory, Combinatorics, Network Analysis, Data Structures, Network Routing, Algorithms, Theoretical Computer Science, Program Development
Status: PreviewStanford University
Skills you'll gain: Game Theory, Bidding, Social Sciences, Resource Allocation, Political Sciences, Economics, Behavioral Economics, Mathematical Theory & Analysis, Probability & Statistics
Status: PreviewCalifornia Institute of the Arts
Skills you'll gain: Music Theory, Music, Musical Composition, Classical Music, Music History, Instrumental Music, Music Performance, World Music
Status: PreviewShanghai Jiao Tong University
Skills you'll gain: Combinatorics, Graph Theory, Theoretical Computer Science, Mathematical Theory & Analysis, Advanced Mathematics, Network Analysis, Computational Thinking, Algorithms, Data Structures, Computer Science
Status: PreviewThe University of Edinburgh
Skills you'll gain: Music Theory, Music, Classical Music, Musical Composition
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Systems Design, Theoretical Computer Science, Systems Analysis, Computer Architecture, Software Architecture, Simulations, Graph Theory, Hardware Architecture, Logical Reasoning
Status: PreviewKorea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Differential Equations, Applied Mathematics, Mathematical Modeling, Calculus, Vibrations, Mechanics
The University of Sydney
Skills you'll gain: Advanced Mathematics, Integral Calculus, Calculus, Mathematical Theory & Analysis, Differential Equations, Applied Mathematics, Engineering Calculations, Mathematical Modeling, Linear Algebra, Physics, Derivatives
In summary, here are 10 of our most popular proof theory courses
- Automata and Computability:Â Birla Institute of Technology & Science, Pilani
- Number Theory and Cryptography:Â University of California San Diego
- Game Theory:Â Stanford University
- Logic for Economists:Â University of Amsterdam
- Introduction to Graph Theory:Â University of California San Diego
- Game Theory II: Advanced Applications:Â Stanford University
- Approaching Music Theory: Melodic Forms and Simple Harmony:Â California Institute of the Arts
- Discrete Mathematics:Â Shanghai Jiao Tong University
- Fundamentals of Music Theory:Â The University of Edinburgh
- Introduction to Modeling for Formal Verification:Â University of Colorado Boulder
