看板 [ NTUBA95study ]
討論串[公告] 邏輯丙期末考範圍
共 3 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#3
Re: [公告] 邏輯丙期末考範圍
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者IamNoTaStaR (謝謝喔)時間22年前 (2004/01/05 00:24), 編輯資訊
0
0
0
內容預覽:
有要考公理系的什麼嗎?. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 61.216.22.211.
#2
Re: [公告] 邏輯丙期末考範圍
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者IamNoTaStaR (謝謝喔)時間22年前 (2004/01/05 00:14), 編輯資訊
0
0
0
內容預覽:
根據我今天研究很久=.=. p|q = ~(p‧q). p(箭)q = ~(pvq). 沒去上課的代價真大=.=. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 61.216.22.211.
#1
[公告] 邏輯丙期末考範圍
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者chiachun (等候上帝的旨意)時間22年前 (2004/01/04 17:41), 編輯資訊
0
0
0
內容預覽:
一.定義:ex個體. 二.證明:量化邏輯用自然演繹法證. 三.翻譯:用邏輯語言翻譯中文(非中翻英). 四.反證:證明無效論證. 五.問答題. 六.神秘題. 另外要注意符號間的轉換ex:用│表示‧,~,v,......等等. 還有用波蘭表示法ex:p‧q => ‧pq. 1/9(五)考試,別忘了喔!*
首頁
上一頁
1
下一頁
尾頁