看板 [ CSSE ]
討論串FLOLAC 2008 「邏輯、語言與計算」暑期研習營
共 4 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
FLOLAC 2008 「邏輯、語言與計算」暑期研習營
推噓6(6推 0噓 6→)留言12則，0人參與, 最新作者noctem (noctem)時間16年前 (2008/04/24 00:44), 編輯資訊
1
0
1
內容預覽:
※ [本文轉錄自 PLT 看板]. 作者: noctem (noctem) 看板: PLT. 標題: FLOLAC 2008 「邏輯、語言與計算」暑期研習營. 時間: Thu Apr 24 00:44:08 2008. Formosan Summer School on Logic, Languag
(還有1140個字)
#2
Re: FLOLAC 2008 「邏輯、語言與計算」暑期研習營
推噓1(1推 0噓 2→)留言3則，0人參與, 最新作者demintree (Mirabelli's back in tow)時間16年前 (2008/04/27 04:30), 編輯資訊
0
0
0
內容預覽:
我說明一下好了，. 這門課的重點就是邏輯，. 因為只有短短的兩周的時間，所以一切的進度都是很快的. 像是第一次上邏輯課就會把經典邏輯講完. 第二次就會把intuition logic、nature deduction講的差不多. 然後還會教你寫functional language，應該還是教oca
(還有214個字)
#3
Re: FLOLAC 2008 「邏輯、語言與計算」暑期研習營
推噓0(0推 0噓 3→)留言3則，0人參與, 最新作者noctem (noctem)時間16年前 (2008/05/01 14:52), 編輯資訊
1
0
0
內容預覽:
借這個板回覆一下大家的問題，並謝謝對這門課表示興趣的朋友們。. 許多朋友問到是否可以旁聽。經籌辦人員討論過後，雖然我們辦這. 個研習營的初衷是為了推廣和訓練下一代的人才，照理來說應該是. 越多人來上課越高興。後來研習營成為提供學分的課程，則是希望. 對學生提供多一項利多。但如此一來就得要遵守發給學分
(還有475個字)
#4
Re: FLOLAC 2008 「邏輯、語言與計算」暑期研習營
推噓1(1推 0噓 0→)留言1則，0人參與, 最新作者billyeh (bill)時間16年前 (2008/05/29 10:54), 編輯資訊
0
0
0
內容預覽:
如果不能旁聽的話, 能否除了公開講義之外,. 也順便錄音, 甚至錄影?. 一方面方便無法報名上課的人,. 一方面也留個珍貴的歷史紀錄。 :). --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 140.113.235.151.
首頁
上一頁
1
下一頁
尾頁