我國"知識共享"數學生態圈的發端歷程
上世紀1960年,美國數學家魯賓遜嚴謹地利用數理邏輯“模型論”(緊緻性定力)證明了微微積分學使用實無窮小的合法性。
魯賓遜理論追隨者J.Keisler教授,在1976年精心撰寫並出版了世界上第一本完全符合魯賓遜無窮小理論的微積分教科書“Elementary Calculus”。1986年。該書第二版問世。
進入21世紀,2001年,該微積分教科書出版社將到期的該書發行權(著作權)歸還給作者J.Keisler本人。此時,作者有兩個選擇:一是讓出版社繼續出版發行此書,自己繼續收取版權費;二是讓該書進行數字化改進,使其PDF版本遵循“知識共享”許可協議,放飛世界網際網路,成為開放教育資源(OER)。這是作者正確而英明的選擇。
2012年11月,袁萌帶領考法團隊,追隨J.Keisler的足跡,高舉“知識共享”旗幟,無窮小放飛網際網路;推出微積分袖珍電子書系列;後來,袁萌與陳啟清聯手向全國高校五次輪番投放魯賓遜微積分電子版至今。
這就是中國“知識共享”數學生態圈的發端歷程。
袁萌 陳啟清 11月25日
相關推薦
我國"知識共享"數學生態圈的發端歷程
上世紀1960年,美國數學家魯賓遜嚴謹地利用數理邏輯“模型論”(緊緻性定力)證明了微微積分學使用實無窮小的合法性。 魯賓遜理論追隨者J.Keisler教授,在1976年精心撰寫並出版了世界上第一本完全符合魯賓遜無窮小理論的微積分教科書“Elementary Calculus”。1986年。該書第
我國數學“知識共享”生態圈,持久存在,不斷擴大
六年來,無窮小放飛網際網路,推出袖珍電子書系列,特別是,黨的十九大之後,向全國高校輪番投放魯賓遜微積分教材(OER),伴隨“知識共享”許可協議的宣傳與普及,目前,國內數學“知識共享”生態圈已經初步形成,正在不斷髮展,永續性的存在。 一般而言,數學作品有兩大類:一類是“版權私有”,一類是“知識共享
建立“知識共享”生態圈,培養塔爾斯基數學小後代,不是說假話、放空炮
建立“知識共享”生態圈,培養塔爾斯基數學小後代,不是說假話、放空炮 中國缺少原創性數學家。這是歷史的客觀事實,必須面對。 2018年8月10日,我們輪番向全國高校投放“知識共享”魯賓遜微積分教科書(數字化開放教育資源OER)
容器"共享"宿主機的hosts文件(終極方案)
data style 後來 想法 方案 無法 dock -h pri 0.背景 有時候制作docker鏡像生成容器時需要宿主機的hosts文件共享到容器中。首先想的是通過掛載的方式共享hosts文件,但是實踐時發現根本行不通,hosts文件在/etc/目錄下,如進行掛載將會
[雜談]談談當代"劇場效應"在中國教育圈的影響
替代 相同 高中 管理員 水平 自媒體 中學生 交友 至少 什麽是“劇場效應”? 我們先用一個簡單形象的例子,來說明一下什麽是“劇場效應”。 比如在一個劇場裏,大家都在看戲。每個人都有座位,大家都能看到演員的演出。忽然,有一個觀眾站起來看戲(可能是為了看的更清楚,也可能因為
繁榮國家數學教育,堅持“知識共享”許可原則
繁榮國家數學教育,堅持“知識共享”許可原則 上世紀60年代,魯賓遜創立非標準分析。由此,魯賓遜與當時的許多數學家堅信非標準數學將會促進傳統的標準數學的發展。歷史事實也證明了這一點。 進入二十一世紀,於2001年1月15日,“
“知識共享”與智慧數學老師
“知識共享”與智慧數學老師 自從“知識共享”許可協議法律體系誕生之後,發展十分迅速,知識共享規則日漸完善,達到實際可用水平。 實際情況是,J.Keisler精心撰寫的“初等微積分”教材,根據“知識共享”授權規則,可以實現“知
Facebook廣告政策再遭質疑,使用者"影子資訊"也被共享
北京時間9月27日晚間訊息,美國科技網站Gizmodo今日報道稱,Facebook的精準廣告(targeted advertising)政策再次遭到質疑。一項新的調查顯示,Facebook允許部分廣告主訪問使用者的“影子聯絡資訊”(shadow contact information)。
Codeforces:"North-East"
nor font sort pan pos ace ons lower insert Codeforces:"North-East" 題目鏈接:http://codeforces.com/gym/101246/problem/H 題目大意:空間內有$n$個點,現取$x$
jq動態增加的button標簽click回調失效的問題,即$("button.class").click(function)
parent 動態 使用 .class alert click his phi blog 對於新增加的頁面元素,改變了頁面結構,如果是使用老辦法$("button.class").click(function)去監聽新的button標簽事件,會失效。 筆者的應用是文字的顯示
解決:The content of element type "web-app" must match "(icon?display
內容 param match filter res ros welcome local page http://www.educity.cn/wenda/126463.html 解決:The content of element type "web-app" must ma
JS 循環遍歷JSON數據 分類: JS技術 JS JQuery 2010-12-01 13:56 43646人閱讀 評論(5) 收藏 舉報 jsonc JSON數據如:{"options":"[{
ros json 12px details style position none -i ide JS 循環遍歷JSON數據 分類: JS技術 JS JQuery2010-12-01 13:56 43646人閱讀 評論(5) 收藏 舉報 jsonc
HTTP/1.0+ "keep-alive" 連接
通過 保持 就會 無法 首部 報文 response line -a 一、keep-alive 連接 (1) 我們在使用串行連接的時候,比如加載四張圖片,當加載第一張圖片時,會建立連接,加載完後會關閉連接,加載第二張圖片時同樣會先建立連接再關閉連接,以此類推,這樣就會消耗
【Visual Studio】“rc.exe”已退出,代碼為 5 ("rc.exe" exited with code 5.)
rec ++ 系統變量 tab src tor cnblogs 方案 技術分享 【解決方案】找到 rc.exe 所在目錄,然後 方法1:添加該目錄到 VC++ Directories --> Executable Directories中 方法2:添加到系統變量中
Error: Failed to launch instance "win7": Please try again later [Error: No valid host was found. ].
虛擬機 遇見 enable opensta 錯誤信息 zone roman 博客 win7 感謝朋友支持本博客,歡迎共同探討交流。因為能力和時間有限,錯誤之處在所難免,歡迎指正! 假設轉載,請保留作者信息。 博客地址:http://blog.csdn.net/qq_2
解決Visual C++ for Linux: -L"~/projects/path_to_lib_folder" 無法設置library search path的問題
一個 是個 映射 images 目的 ++ 用戶名 visual 技術 最近倒騰Linux C/C++項目。以目前的情況來說,要生成編譯(build)一個Linux工程腳本,首選的工具必定是CMake。這也是我之前Linux項目的首選。不過自從VS IDE支持Linux C
firfox中"content-disposition", "attachment;filename=“+filename不能顯示文件名字
設置 ima 文件的 編碼問題 attach utf image pos urlencode 一般要在瀏覽器中顯示文件名,可以使用以下文件名 // 設置文件名的編碼方式,使得文件的名字能夠正常安全的顯示。 filename = URLEncoder.encode(fi
QT學習之forward declaration of 'struct Ui::xxx';invalid use of incomplete struct "Ui::Widget"
文件 exceptio 錯誤 執行 類名 nbsp dia dial truct 解決QT:forward declaration of ‘struct Ui::xxx‘;invalid use of incomplete struct "Ui::Widget" 等莫名奇妙
下拉列表,點擊選擇實現跳轉鏈接 onchange="window.location=..."
this option 用戶 onchange ... tex 註意 下拉 win <select onchange="window.location=this.value;"> <option value="a.html">用戶管理</op
Android studio 運行demo時一直卡在"Installing APKS"時的解決辦法
setting ins lin http 技術分享 android demo png ima 現象 一 File --- Settings 二 看圖操作 Android studio 運行demo時一直卡在"Installing APKS&qu