Results for "proof theory"
Status: NewStatus: PreviewUniversity of Colorado Boulder
Skills you'll gain: Deductive Reasoning, Test Case, Program Development
Status: NewStatus: Free TrialJohns Hopkins University
Skills you'll gain: Algebra, Graphing, Applied Mathematics, Mathematical Modeling, Trigonometry, Probability, Advanced Mathematics, Data Analysis, Logical Reasoning, General Mathematics, Probability Distribution, Mathematical Theory & Analysis, Descriptive Statistics, Arithmetic, Statistics, Engineering Calculations, Calculus, Visualization (Computer Graphics), Geometry, Analytical Skills
Status: Free TrialUniversity of California San Diego
Skills you'll gain: Graph Theory, Logical Reasoning, Cryptographic Protocols, Combinatorics, Computational Logic, Deductive Reasoning, Cryptography, Probability, Key Management, Computational Thinking, Encryption, Probability Distribution, Network Analysis, Public Key Cryptography Standards (PKCS), Theoretical Computer Science, Bayesian Statistics, Python Programming, Data Structures, Algorithms, Arithmetic
Status: NewBirla Institute of Technology & Science, Pilani
Skills you'll gain: Theoretical Computer Science, Computer Programming, Algorithms, Computer Science, Formal Learning, Software Engineering, Program Development, Text Mining, Data Science, Analysis, Machine Learning Methods, Debugging, Technical Analysis
Status: Free TrialJohns Hopkins University
Skills you'll gain: Calculus, Integral Calculus, Numerical Analysis, Advanced Mathematics, Mathematical Theory & Analysis, Mathematical Modeling, Data Analysis, Linear Algebra, Probability, Geometry, Applied Mathematics, Visualization (Computer Graphics), Mechanics, Engineering Calculations, Graphing, Spatial Data Analysis, Physics
Status: PreviewStanford University
Skills you'll gain: Mathematical Theory & Analysis, Mathematics and Mathematical Modeling, Calculus, Deductive Reasoning, Logical Reasoning
What brings you to Coursera today?
Status: NewBirla Institute of Technology & Science, Pilani
Skills you'll gain: Graph Theory, Network Analysis, Social Network Analysis, Combinatorics, Network Model, Mathematical Modeling, Data Structures, Transportation Operations, Image Analysis, Algorithms, Theoretical Computer Science, Artificial Intelligence and Machine Learning (AI/ML), Problem Solving
Status: PreviewThe Chinese University of Hong Kong
Skills you'll gain: Communication Systems, Digital Communications, Theoretical Computer Science, Telecommunications, Informatics, Probability, Probability Distribution, Algorithms, General Mathematics
Status: PreviewThe University of Tokyo
Skills you'll gain: Game Theory, Socioeconomics, Social Sciences, Behavioral Economics, Economics, Strategic Decision-Making, Decision Making, Business Strategy, Strategic Planning, Risk Appetite, Probability
Status: Free TrialBirla Institute of Technology & Science, Pilani
Skills you'll gain: Engineering Calculations, Trigonometry, Engineering Analysis, Linear Algebra, Calculus, Differential Equations, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Algebra
Status: PreviewThe University of Sydney
Skills you'll gain: Calculus, Integral Calculus, Algebra, Advanced Mathematics, Geometry, Engineering Calculations, Trigonometry, Arithmetic, Derivatives, Mathematical Modeling, Graphing, Estimation
Status: NewStatus: Free TrialBirla Institute of Technology & Science, Pilani
Skills you'll gain: Engineering Calculations, Data Analysis, Trigonometry, Engineering Analysis, Probability & Statistics, Computational Logic, Statistical Analysis, Linear Algebra, Logical Reasoning, Deductive Reasoning, Calculus, Analytics, Bayesian Statistics, Statistical Modeling, Artificial Intelligence and Machine Learning (AI/ML), Differential Equations, Statistical Inference, Theoretical Computer Science, Programming Principles, Descriptive Analytics
In summary, here are 10 of our most popular proof theory courses
- Model Checking with SAT and SMT :Â University of Colorado Boulder
- Honors Algebra 2:Â Johns Hopkins University
- Introduction to Discrete Mathematics for Computer Science:Â University of California San Diego
- Formal Languages and Applications:Â Birla Institute of Technology & Science, Pilani
- Integral Calculus through Data and Modeling:Â Johns Hopkins University
- Introduction to Mathematical Thinking:Â Stanford University
- Graphs and Networks:Â Birla Institute of Technology & Science, Pilani
- Information Theory:Â The Chinese University of Hong Kong
- Welcome to Game Theory:Â The University of Tokyo
- Basic Engineering Mathematics:Â Birla Institute of Technology & Science, Pilani
