摘要：
香港科技大学软件工程笔记（全） 001：软件开发是复杂的 🚀 在本节课中，我们将学习软件工程的基本概念，理解为什么开发大型软件系统是一个复杂的过程，并初步了解应对这种复杂性的技术。 概述 软件开发之所以复杂，是因为大型软件系统通常包含数百万行代码，例如波音787飞机拥有1400万行代码，而Wind 阅读全文
posted @ 2026-03-29 09:47
布客飞龙III
阅读(50)
评论(0)
推荐(0)
摘要：
香港科技大学程序形式化推理笔记（全） 001：操作语义 概述 在本节课中，我们将学习如何为程序定义形式化语义。我们将从一个简单的编程语言开始，理解其语法和语义的区别，并重点学习操作语义的定义方法。操作语义通过描述程序执行的每一步来赋予程序意义。我们将通过定义规则来形式化描述程序状态如何转换，并最终尝 阅读全文
posted @ 2026-03-29 09:47
布客飞龙III
阅读(46)
评论(0)
推荐(0)
摘要：
现代 CUDA C++ 编程 2025 笔记（全） 001：使用并行算法加速应用 概述 在本节课中，我们将学习如何使用NVIDIA最新的编程工具在GPU上进行编程。我们将从理解CPU与GPU的基本区别开始，逐步学习如何通过简单的代码修改，利用并行算法和CUDA生态中的库（特别是Thrust）来显著加 阅读全文
posted @ 2026-03-29 09:47
布客飞龙III
阅读(65)
评论(0)
推荐(0)
摘要：
悉尼大学 COMP2022 计算模型笔记（全） 001：自然演绎逻辑规则 #1 (R, &E, &I, MP, CP) 🧠 在本节课中，我们将开始学习命题逻辑中的推理规则和证明。我们将首先理解什么是证明，然后介绍五个核心的推理规则，并通过多个例子来演示如何运用这些规则构建证明。 一个证明，是指从一 阅读全文
posted @ 2026-03-29 09:47
布客飞龙III
阅读(96)
评论(0)
推荐(0)
摘要：
威斯康星 CS537 操作系统笔记（全） 001：操作系统简介 🖥️ 在本节课中，我们将学习操作系统的基本概念、课程结构以及操作系统在现代计算中的核心作用。我们将从课程介绍开始，逐步深入到操作系统的定义、主要职责以及它如何管理计算机资源。 课程概述与介绍 欢迎来到CS 537操作系统导论课程。本课 阅读全文
posted @ 2026-03-29 09:47
布客飞龙III
阅读(73)
评论(0)
推荐(0)
摘要：
威斯康星 CS536 编程语言与编译器笔记（全） 001：课程介绍与概述 🎓 在本节课中，我们将学习CS536课程的基本信息，包括课程结构、教学团队、学习资源以及一些重要的学习建议。本节内容旨在帮助你快速了解课程全貌，为后续的学习做好准备。 课程概述 CS536是编程语言与编译器导论课程。我是查尔 阅读全文
posted @ 2026-03-29 09:47
布客飞龙III
阅读(15)
评论(0)
推荐(0)
摘要：
威斯康星 CS368c 系统编程笔记（全） 001：第1讲 - 课程概述 概述 在本节课中，我们将学习CS368C++课程的整体介绍，包括课程目标、教学方式、评分标准以及如何成功完成这门课程。我们还将编写并运行第一个C++程序“Hello World”，并将其与Java版本进行比较，以直观地展示两种 阅读全文
posted @ 2026-03-29 09:47
布客飞龙III
阅读(21)
评论(0)
推荐(0)
摘要：
威斯康星 CS354 C 底层编程笔记（全） 001：课程导论 👨🏫 在本节课中，我们将要学习课程的整体介绍，包括课程结构、教学团队、学习资源、沟通方式和评分标准等核心信息。 大家好，欢迎来到计算机科学354课程：机器组织与编程。我是这门课的讲师，Michael Dosher。本课程由威斯康星 阅读全文
posted @ 2026-03-29 09:47
布客飞龙III
阅读(19)
评论(0)
推荐(0)
摘要：
威廉玛丽 CSCI654 计算机组成笔记（全） 001：芯片是如何制造的 💻 在本节课中，我们将学习计算机体系结构的基础知识，并深入探讨现代计算机的核心——芯片是如何被设计和制造出来的。我们将从最基础的晶体管开始，了解其工作原理，并逐步构建出对芯片制造全流程的理解。 课程概述与目标 这是新学期的开 阅读全文
posted @ 2026-03-29 09:47
布客飞龙III
阅读(63)
评论(0)
推荐(0)
摘要：
图宾根理论计算机科学笔记（全） 001：形式语言入门 🧠 在本节课中，我们将要学习理论计算机科学的基础——形式语言。我们将从计算机科学的哲学与数学根源讲起，逐步引入形式语言的核心概念，包括字母表、字符串和语言的定义。内容将尽可能简单直白，让初学者能够看懂。 课程背景与哲学根源 理论计算机科学并非凭 阅读全文
posted @ 2026-03-29 09:46
布客飞龙III
阅读(73)
评论(0)
推荐(0)
浙公网安备 33010602011771号