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: NewStatus: Preview
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Algorithms, Programming Principles, Data Management, Computational Thinking, Tree Maps, Data Manipulation, C and C++, Software Design, Analysis, Problem Solving, Complex Problem Solving
- Status: Free Trial
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Technical Design, Electronics Engineering, Electronic Hardware, Electrical and Computer Engineering, Test Case, Verification And Validation, Functional Design, Embedded Systems, Computer Engineering, Simulation and Simulation Software, Functional Testing
- Status: Preview
University of Michigan
Skills you'll gain: Computational Thinking, Programming Principles, Problem Solving, Computer Science, Disaster Recovery, Algorithms, Computer Programming, Public Health
- Status: Preview
University 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: Preview
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: Preview
University 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: Preview
Northeastern University
Skills you'll gain: Algorithms, Theoretical Computer Science, Data Structures, Computational Thinking, Analysis, Computer Science, Software Development, Scalability
- Status: Preview
Universitat Autònoma de Barcelona
Skills you'll gain: Computer Architecture, Hardware Architecture, Technical Design, System Design and Implementation, Application Specific Integrated Circuits, Embedded Systems, Digital Design, Computer Hardware, Simulations
- Status: Free Trial
University of Colorado Boulder
Skills you'll gain: Operations Research, Algorithms, Applied Mathematics, Graph Theory, Combinatorics, Computational Thinking, Mathematical Modeling, Theoretical Computer Science, Python Programming
- Status: Preview
Shanghai 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
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: Preview
University 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
In summary, here are 10 of our most popular computational logic courses
- Data Structures and Algorithms:Â Birla Institute of Technology & Science, Pilani
- Hardware Description Languages for FPGA Design:Â University of Colorado Boulder
- Problem Solving Using Computational Thinking:Â University of Michigan
- Temporal Logic Model Checking :Â University of Colorado Boulder
- Introduction to Modeling for Formal Verification:Â University of Colorado Boulder
- Computational Neuroscience:Â University of Washington
- Data Structures & Algos: Software Development Skills:Â Northeastern University
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Approximation Algorithms and Linear Programming :Â University of Colorado Boulder
- Discrete Mathematics:Â Shanghai Jiao Tong University