科學(xué)發(fā)現(xiàn)的邏輯》是波珀的代表作，也是現(xiàn)代科學(xué)哲學(xué)頗享盛名的主要代表作之一。本書主要討論知識理論的兩個基本問題：劃界和歸納問題。作者論證科學(xué)與非科學(xué)的劃界標(biāo)準(zhǔn)不是可證實性而是可證偽性，科學(xué)的方法不是歸納法而是演繹檢驗法。書中提出的有關(guān)科學(xué)的性質(zhì)和方法以及科學(xué)知識增長的獨創(chuàng)性論點，對科學(xué)哲學(xué)、認(rèn)識論、邏輯學(xué)、方法論以及科學(xué)史、自然科學(xué)、醫(yī)學(xué)、設(shè)計理論、社會科學(xué)均有影響。一些著名科學(xué)家都認(rèn)為他的方法符合科學(xué)研究的實際。
標(biāo)簽： 發(fā)現(xiàn) 邏輯
上傳時間： 2014-01-09
上傳用戶：498732662
源代碼\用動態(tài)規(guī)劃算法計算序列關(guān)系個數(shù) 用關(guān)系"<"和"="將3個數(shù)a，b，c依次序排列時，有13種不同的序列關(guān)系： a=b=c,a=b<c,a<b=v,a<b<c,a<c<b a=c<b,b<a=c,b<a<c,b<c<a,b=c<a c<a=b,c<a<b,c<b<a 若要將n個數(shù)依序列，設(shè)計一個動態(tài)規(guī)劃算法，計算出有多少種不同的序列關(guān)系， 要求算法只占用O(n),只耗時O(n*n).
標(biāo)簽： lt 源代碼 動態(tài)規(guī)劃 序列
上傳時間： 2013-12-26
上傳用戶：siguazgb
The government of a small but important country has decided that the alphabet needs to be streamlined and reordered. Uppercase letters will be eliminated. They will issue a royal decree in the form of a String of B and A characters. The first character in the decree specifies whether a must come ( B )Before b in the new alphabet or ( A )After b . The second character determines the relative placement of b and c , etc. So, for example, "BAA" means that a must come Before b , b must come After c , and c must come After d . Any letters beyond these requirements are to be excluded, so if the decree specifies k comparisons then the new alphabet will contain the first k+1 lowercase letters of the current alphabet. Create a class Alphabet that contains the method choices that takes the decree as input and returns the number of possible new alphabets that conform to the decree. If more than 1,000,000,000 are possible, return -1. Definition
標(biāo)簽： government streamline important alphabet
上傳時間： 2015-06-09
上傳用戶：weixiao99
電力系統(tǒng)在臺穩(wěn)定計算式電力系統(tǒng)不正常運行方式的一種計算。它的任務(wù)是已知電力系統(tǒng)某一正常運行狀態(tài)和受到某種擾動，計算電力系統(tǒng)所有發(fā)電機能否同步運行 1運行說明： 請輸入初始功率S0，形如a+bi 請輸入無限大系統(tǒng)母線電壓V0 請輸入系統(tǒng)等值電抗矩陣B 矩陣B有以下元素組成的行矩陣 1正常運行時的系統(tǒng)直軸等值電抗Xd 2故障運行時的系統(tǒng)直軸等值電抗X d 3故障切除后的系統(tǒng)直軸等值電抗 請輸入慣性時間常數(shù)Tj 請輸入時段數(shù)N 請輸入哪個時段發(fā)生故障Ni 請輸入每時段間隔的時間dt
標(biāo)簽： 電力系統(tǒng) 正 計算 運行
上傳時間： 2015-06-13
上傳用戶：it男一枚
瑞薩單片機LCD控制，可以對多種液晶進(jìn)行控制，可配置。
上傳時間： 2015-06-19
上傳用戶：baitouyu
北京到廣州鐵路路線仿真，可用于完好性分析用
標(biāo)簽： 仿真
上傳時間： 2013-12-20
上傳用戶：xuanjie
ecos源代碼，可裁減可配置嵌入式系統(tǒng)的經(jīng)典源代碼
上傳時間： 2015-08-30
上傳用戶：時代電子小智
udp,tcp/ip在智能家居芯片上的代碼實現(xiàn)．包括芯片NE64的網(wǎng)絡(luò)驅(qū)動源代碼，芯片的上電初始化代碼，以及完整的網(wǎng)絡(luò)協(xié)議棧tcp/ip的實現(xiàn)，其中，還包括支持IPV6的可配置選項．代碼的開發(fā)平臺是CodeWarrior.
上傳時間： 2015-09-26
上傳用戶：蠢蠢66
Rapla是一個靈活的多用戶資源管理系統(tǒng)。它提供的一些功能有：日歷GUI，周期，沖突管理，層次結(jié)構(gòu)，完全可配置的資源和保留類型。
標(biāo)簽： Rapla GUI 多用 資源管理系統(tǒng)
上傳時間： 2013-12-24
上傳用戶：ddddddos
Actel最新公布的免費微控制器IP核-Core8051S，在CoreConsole環(huán)境使用，完全兼容A51指令，具備APB總線，可配置多種外設(shè)。
標(biāo)簽： Actel 8051 Core 微控制器
上傳時間： 2013-12-06
上傳用戶：wanqunsheng
蟲蟲下載站版權(quán)所有 京ICP備2021023401號-1
