看板Programming
标 题Re: [问题] 请问 有没有有关程式逻辑的书
发信站政大狂狷年少 (Sat Nov 25 17:17:52 2006)
转信站ptt!ctu-reader!ctu-peer!news.nctu!netnews.csie.nctu!news.cs.nthu!WHSHS
※ 引述《[email protected] (托儿所婴儿)》之铭言:
> 常常if else写到最後会写到不知所云
> 要不然想法跟跑出来的不一样
> 在某些场合
> switch非常好用
> 可是我只会呆呆用if else
> 请问各位大大
> 有没有一种有关程式逻辑思考的书
你需要的是「逻辑学」相关的书,
通常是「现代逻辑学」前几章的基础知识,
大致上是从一开始到讲到集合论那边的 for all 和 for some 就可以了,
就是
not(for all) == for some
not(for some) == for all
这部分就差不多了。
这样你至少可以学到 and or not 并用时可以怎样推演你的逻辑,
以及写程式有时还颇重要的 De Morgan's law,
命题逻辑的若 p 则 q 那些应该高中写证明题都有训练过了,
最好也顺便看一看以免写出逻辑怪异的程式码。
--
Name: Tseng, Ling-hua E-mail Address:
[email protected]
School: National Tsing Hua University Department: Computer Science
Interesting: C++, Compiler, PL/PD, OS, VM, Large-scale software design
Researching: Software pipelining for VLIW architectures
Homepage:
https://it.muds.net/~uranus
--
╔═══╗ ┼────────────────────────╮
║狂狷 ║ │
* Origin:[ 狂 狷 年 少 ] whshs.cs.nccu.edu.tw ╰─╮
║ 年少║ ┼╮
< IP:140.119.164.252 > ╰─╮
╚╦═╦╝ ╰
* From:61-230-229-253.dynamic.hinet.net
─╨─╨─ KGBBS ─ ◎ 遨翔"BBS"的狂狷不驯;属於年少的轻狂色彩 ◎
[修改]tinlans:61-230-229-253.dynamic.hinet.net 06/11/25 17:17:52