Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "computational logic"
Status: FreePrinceton University
Skills you'll gain: Theoretical Computer Science, Data Structures, Computer Science, Computer Architecture, Algorithms, Programming Principles, Computational Logic, Computational Thinking, Java Programming, Computer Hardware
Status: PreviewUniversitat Autònoma de Barcelona
Skills you'll gain: Computer Architecture, Hardware Architecture, System Design and Implementation, Embedded Systems, Application Specific Integrated Circuits, Digital Design, Design Software, Computer Hardware, Verification And Validation, Simulations
Status: Free TrialUniversity of California, Davis
Skills you'll gain: Simulations, Social Sciences, Systems Thinking, Agentic systems, Social Network Analysis, Computational Thinking, Sociology, Economics, Scientific Methods, Artificial Intelligence and Machine Learning (AI/ML), Computer Programming
Status: Free TrialThe Hong Kong University of Science and Technology
Skills you'll gain: Differential Equations, Linear Algebra, Matlab, Engineering Calculations, Engineering Analysis, Numerical Analysis, Finite Element Methods, Integral Calculus, Mathematical Software, Mechanical Engineering, Calculus, Algebra, Applied Mathematics, Mathematical Modeling, Engineering, Simulation and Simulation Software, Advanced Mathematics, Geometry, Computational Thinking, Estimation
Status: Free TrialJohns Hopkins University
Skills you'll gain: Bioinformatics, Unix Commands, Biostatistics, Exploratory Data Analysis, Statistical Analysis, Unix, Data Science, Data Management, Statistical Methods, Command-Line Interface, Statistical Hypothesis Testing, Linux Commands, Data Analysis Software, Data Quality, Statistical Modeling, Data Structures, Data Analysis, Molecular Biology, R Programming, Python Programming
Status: PreviewUniversity of Washington
Skills you'll gain: Supervised Learning, Network Model, Matlab, Machine Learning Algorithms, Artificial Neural Networks, Computer Vision, Computer Science, Reinforcement Learning, Computational Thinking, Mathematical Modeling, Biology, Linear Algebra, Information Architecture, Differential Equations, Probability & Statistics
Status: PreviewUniversity 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

EIT Digital
Skills you'll gain: Computational Logic, Combinatorics, Logical Reasoning, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation
Status: PreviewUniversity of Illinois Urbana-Champaign
Skills you'll gain: Application Specific Integrated Circuits, Hardware Design, Computer-Aided Design, Electronic Hardware, Systems Design, Electrical and Computer Engineering, Computer Engineering, Semiconductors, Network Routing, Computational Logic, Data Structures, Algorithms, Graph Theory, Linear Algebra, Applied Mathematics, Mathematical Modeling, Calculus
Status: PreviewUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Architecture, Software Design, Verification And Validation, Systems Design, Theoretical Computer Science, Communication Systems, Simulations, Algorithms, Safety and Security
Status: Free TrialUniversity of London
Skills you'll gain: Arithmetic, Computer Graphics, Computational Thinking, General Mathematics, Systems Of Measurement, Algebra, Cryptography
Status: NewStatus: Free TrialSkills you'll gain: Data Visualization Software, Interactive Data Visualization, Application Development, Web Content Accessibility Guidelines, Color Theory
In summary, here are 10 of our most popular computational logic courses
- Computer Science: Algorithms, Theory, and Machines:Â Princeton University
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Computer Simulations:Â University of California, Davis
- Mathematics for Engineers:Â The Hong Kong University of Science and Technology
- Genomic Data Science:Â Johns Hopkins University
- Computational Neuroscience:Â University of Washington
- Introduction to Modeling for Formal Verification:Â University of Colorado Boulder
- Automated Reasoning: satisfiability:Â EIT Digital
- VLSI CAD Part II: Layout:Â University of Illinois Urbana-Champaign
- Temporal Logic Model Checking :Â University of Colorado Boulder










