Results for "proof theory"
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: NewStatus: Free TrialSkills you'll gain: User Interface (UI), Responsive Web Design, User Interface and User Experience (UI/UX) Design, Digital Design, Web Design, Graphic and Visual Design, User Experience, Motion Graphics, Adobe XD, Graphic Design, Animations, Prototyping, Typography, Visual Design, Design, Design Elements And Principles, Augmented and Virtual Reality (AR/VR), Style Guides, Storytelling, Creative Design
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 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: NewStatus: PreviewUniversity of Colorado Boulder
Skills you'll gain: Deductive Reasoning, Test Case, Program Development
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
- Honors Algebra 2:Â Johns Hopkins University
- Design Theory Principles for Print and Digital Applications:Â Skillshare
- Formal Languages and Applications:Â Birla Institute of Technology & Science, Pilani
- Introduction to Discrete Mathematics for Computer Science:Â University of California San Diego
- Model Checking with SAT and SMT :Â University of Colorado Boulder
- 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
