计算思维的起步 - 符号化、计算化与自动化

软件研究的终极目的是解决社会/自然问题,将社会/自然问题用符号表达,基于符号进行计算,将计算用软件来实现,是解决社会/自然问题的基本思维模式。

  • 符号化 -> 计算化 -> 自动化 是最基本的抽象与自动化机制
  • 符号化 -> 计算化 -> 自动化 是软件工程学科的基本思维模式
  • 符号化 -> 计算化 -> 自动化 是软件工程学科能力培养的第一步

符号化

符号化是将现象抽象为符号,进行符号组合,利用符号组合来表达现象。
符号化的目的是进行基于符号化的演算,即符号组合的变化方式。
在这里插入图片描述

计算化 - 思维是否可以计算?

逻辑 是指事物因果之间所遵循的规律,是现实中普适的思维方式,可以符号化并进行基于符号的计算。
逻辑的基本表现形式是命题和推理:

  • 命题 由语句表述,即内容为“真”或为“假”的一个判断语句
  • 推理 即依据简单命题的判断推导得出复杂命题的判断结论的过程
    基本的逻辑运算:与(AND)、或(OR)、非(NOT)、异或(XOR)。
    在这里插入图片描述

自动化 - 算法与程序

可在机器上执行的求解问题的操作规则和步骤,被称为可执行的算法
高级程序语言 是类似于自然语言方式、以语句为单位书写程序的规范/标准,并开发了一个翻译程序,实现了将高级程序语言自动翻译成机器程序语言的功能。
所有计算机程序语言都必须转换成机器语言,机器才能执行。
在这里插入图片描述

已标记关键词 清除标记
【为什么还需要学习C++?】 你是否接触很多语言,但从来没有了解过编程语言的本质? 你是否想成为一名资深开发人员,想开发别人做不了的高性能程序? 你是否经常想要窥探大型企业级开发工程的思路,但苦于没有基础只能望洋兴叹?   那么C++就是你个人能力提升,职业之路进阶的不二之选。 【课程特色】 1.课程共19大章节,239课时内容,涵盖数据结构、函数、类、指针、标准库全部知识体系。 2.带你从知识与思想的层面从0构建C++知识框架,分析大型项目实践思路,为你打下坚实的基础。 3.李宁老师结合4大国外顶级C++著作的精华为大家推出的《征服C++11》课程。 【学完后我将达到什么水平?】 1.对C++的各个知识能够熟练配置、开发、部署; 2.吊打一切关于C++的笔试面试题; 3.面向物联网的“嵌入式”和面向大型的“分布式”开发,掌握职业钥匙,把握行业先机。 【面向人群】 1.希望一站式快速入门的C++初学者; 2.希望快速学习 C++、掌握编程要义、修炼内功的开发者; 3.有志于挑战更高级的开发项目,成为资深开发的工程师。 【课程设计】 本课程包含3大模块 基础篇 本篇主要讲解c++的基础概念,包含数据类型、运算符等基本语法,数组、指针、字符串等基本词法,循环、函数、类等基本句法等。 进阶篇 本篇主要讲解编程中常用的一些技能,包含类的高级技术、类的继承、编译链接和命名空间等。 提升篇: 本篇可以帮助学员更加高效的进行c++开发,其中包含类型转换、文件操作、异常处理、代码重用等内容。
©️2020 CSDN 皮肤主题: 鲸 设计师:meimeiellie 返回首页