逻辑课程可以帮助您学习批判性思维、论证分析、命题逻辑和逻辑推理技巧。您可以培养评估论证、识别谬误和构建合理结论的技能。许多课程都会介绍真值表、维恩图和形式化证明系统等工具,您可以用它们来分析复杂的问题并改进决策过程。

University of Colorado Boulder
您将获得的技能: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Analysis, Functional Specification, Algorithms
攻读学位
中级 · 课程 · 1-4 周

Pontificia Universidad Católica de Chile
您将获得的技能: Field-Programmable Gate Array (FPGA), Hardware Design, Electronic Systems, Electronics Engineering, Computer Architecture, Electronic Hardware, Electrical and Computer Engineering, Systems Design, Electronics, Electrical Engineering, Computer Engineering, Computational Logic, Electronic Components, Diagram Design, Computer-Aided Design, Hazard Analysis, Code Reusability
混合 · 课程 · 1-3 个月

University of Michigan
您将获得的技能: Object Oriented Programming (OOP), Object Oriented Design, Animations, Software Design, Data Structures, Visualization (Computer Graphics), Interactive Design, Programming Principles, Computer Graphic Techniques, Python Programming, Graphic and Visual Design, Event-Driven Programming, Digital Design, Simulations, Computer Graphics, Design, Graphical Tools, Game Design, Computational Logic, Computational Thinking
初级 · 专项课程 · 3-6 个月

University of Colorado Boulder
您将获得的技能: Data Structures, Python Programming, Programming Principles, Code Reusability, Data Access, Computational Logic, Data Management, Computational Thinking, Jupyter, Computer Programming Tools
初级 · 专项课程 · 3-6 个月

您将获得的技能: Unreal Engine, 3D Assets, Virtual Environment, Video Game Development, Computer Graphics, Computer Graphic Techniques, Visualization (Computer Graphics), Color Theory
混合 · 课程 · 1-4 周

您将获得的技能: Data Mapping, Memory Management, Exploit development, Web Applications, Computational Logic, Code Reusability, Authorization (Computing), Software Development Tools, Security Controls, Other Programming Languages, Software Architecture, Program Development, Scalability, Data Storage
中级 · 专项课程 · 1-3 个月

您将获得的技能: Cryptography, Encryption, Cybersecurity, Application Security, Brute-force attacks, Penetration Testing, Python Programming, Key Management, File I/O, Computational Logic, Program Development, Algorithms, Programming Principles, Debugging, Code Reusability, Scripting, Data Mapping, Software Testing, User Interface (UI), UI Components
初级 · 专项课程 · 1-3 个月

The Hong Kong University of Science and Technology
您将获得的技能: Probability, Computational Logic, Combinatorics, Bayesian Statistics, Algorithms, Theoretical Computer Science, Mathematical Software, Mathematical Theory & Analysis, Cryptography, Logical Reasoning, Deductive Reasoning, Computational Thinking, Computer Science, Encryption, Data Structures, Arithmetic, General Mathematics, Public Key Cryptography Standards (PKCS), Problem Solving, Cybersecurity
初级 · 专项课程 · 3-6 个月

您将获得的技能: SketchUp (3D Modeling Software), 3D Modeling, Architectural Design, Visualization (Computer Graphics), Computer Graphic Techniques, Layout Design
初级 · 课程 · 1-4 周

您将获得的技能: Ruby (Programming Language), Object Oriented Programming (OOP), Debugging, Code Reusability, Development Environment, Integrated Development Environments, Computer Programming, Programming Principles, Apple Xcode, Computational Logic, Software Installation, Other Programming Languages, Computer Programming Tools, Microsoft Windows, Command-Line Interface
初级 · 课程 · 1-3 个月

Universidad Nacional de Colombia
您将获得的技能: File I/O, Computational Thinking, Data Management, Computer Programming, Program Development, Computational Logic, Logical Reasoning
中级 · 课程 · 1-3 个月

您将获得的技能: Robotic Process Automation, Automation Engineering, Business Process Automation, Manufacturing Processes, Automation, Manufacturing and Production, Manufacturing Operations, Production Process, Robotics, Workflow Management, Scalability, Process Optimization, Internet Of Things, Development Environment, Artificial Intelligence, Digital Transformation, Data Integration, Quality Control, Debugging
初级 · 课程 · 1-4 周