本文選題：計(jì)算機(jī)科學(xué) + 學(xué)術(shù)研討會(huì)��； 參考：《哲學(xué)動(dòng)態(tài)》2002年04期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 吳家國;再論解決充足理由律問題的基本途徑[J];北京師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);1980年04期

2 馬玉珂 ,蘇越;對不矛盾律和排中律的關(guān)系及其內(nèi)容的新探[J];湖北大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1980年04期

3 林淑娟 ,袁長在;論俄語邏輯語調(diào)規(guī)律[J];外語學(xué)刊;1980年04期

4 凌雨軒;大力開展辯證邏輯的研究——學(xué)習(xí)列寧關(guān)于辯證法、認(rèn)識論、邏輯三者統(tǒng)一的思想[J];人文雜志;1980年01期

5 馬偉;也談賓語的位置——對前置賓語質(zhì)疑[J];大理學(xué)院學(xué)報(bào);1980年01期

6 馬鶴鳴;邏輯學(xué)在今天[J];大理學(xué)院學(xué)報(bào);1980年01期

7 褚可邑;檢驗(yàn)教學(xué)真理性的唯一標(biāo)準(zhǔn)只能是社會(huì)實(shí)踐[J];華南師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1980年01期

8 呂政春;關(guān)于假言判斷的聯(lián)項(xiàng)和符號化問題[J];齊齊哈爾大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1980年Z1期

9 李公天 ,向熙陽;邏輯證明不是檢驗(yàn)真理的標(biāo)準(zhǔn)[J];求實(shí);1980年Z2期

10 田崇勤;關(guān)于思維方法的一點(diǎn)淺見[J];江淮論壇;1980年03期

相關(guān)會(huì)議論文 前10條

1 顧基發(fā);;系統(tǒng)工程中的“軟”、“硬”方法[A];發(fā)展戰(zhàn)略與系統(tǒng)工程——第五屆系統(tǒng)工程學(xué)會(huì)年會(huì)論文集[C];1986年

2 宋曉秋;;(T)Fuzzy積分及其應(yīng)用[A];全國青年管理科學(xué)與系統(tǒng)科學(xué)論文集（第2卷）[C];1993年

3 Michele VIO;陳云水;;關(guān)于空氣熱源熱泵機(jī)組的COP值[A];第九屆全國冷水機(jī)組與熱泵技術(shù)學(xué)術(shù)會(huì)議論文集[C];1999年

4 張石麟;;言語形成機(jī)制和言語表達(dá)能力[A];外語語言教學(xué)研究——黑龍江省外國語學(xué)會(huì)第十次學(xué)術(shù)年會(huì)論文集[C];1996年

5 宋立亞;;英語定語從句的翻譯[A];外語語言教學(xué)研究——黑龍江省外國語學(xué)會(huì)第十一次學(xué)術(shù)年會(huì)論文集[C];1997年

6 王希杰;;語言的規(guī)范化和言語的得體性[A];得體修辭學(xué)研究[C];1999年

7 李敬德;;堅(jiān)持社會(huì)主義與初級階段的統(tǒng)一——關(guān)于新中國成立以來基本國情問題的回顧與思考[A];探索新路構(gòu)筑輝煌——慶祝中華人民共和國建國五十周年論文集[C];1998年

8 徐澤同;;城市信息化問題[A];發(fā)展的信息技術(shù)對管理的挑戰(zhàn)——99’管理科學(xué)學(xué)術(shù)會(huì)議專輯（下）[C];1999年

9 王淑芝;;邏輯“與或”式化簡過程中多余項(xiàng)及多余因子的確定方法[A];教研擷華——青海師大附中建校45周年論文集[C];1999年

10 席酉民;馮耕中;;應(yīng)用于DSS設(shè)計(jì)并支持決策分析的決策環(huán)境模型[A];科學(xué)決策與系統(tǒng)工程——中國系統(tǒng)工程學(xué)會(huì)第六次年會(huì)論文集[C];1990年

相關(guān)重要報(bào)紙文章 前10條

1 吳月輝;斯坦福大學(xué)啟動(dòng)跨學(xué)科研究項(xiàng)目[N];中國化工報(bào);2000年

2 臧樂源;提高學(xué)生的邏輯素養(yǎng)[N];中國教育報(bào);2000年

3 高漢文;第四代無人駕駛汽車研制成功[N];中國汽車報(bào);2000年

4 本欄由廣東中山圖書館供稿;漢字可能通行全球[N];中國文化報(bào);2000年

5 呂來明;法律適用中的邏輯與經(jīng)驗(yàn)[N];法制日報(bào);2000年

6 國家信息中心 步德迎;大勢所趨：網(wǎng)絡(luò)技術(shù)與傳統(tǒng)產(chǎn)業(yè)相結(jié)合[N];國際商報(bào);2000年

7 ;搞哲學(xué)的人應(yīng)當(dāng)有較高的邏輯修養(yǎng)[N];光明日報(bào);2000年

8 ;探討改革開放的邏輯[N];光明日報(bào);2000年

9 陳波;人工智能 當(dāng)代邏輯發(fā)展的動(dòng)力[N];光明日報(bào);2000年

10 記者 許鶴;我省“人才培養(yǎng)模式改革和開放教育試點(diǎn)”正式啟動(dòng)[N];吉林日報(bào);2000年

相關(guān)博士學(xué)位論文 前10條

1 田建波;認(rèn)證協(xié)議的分析設(shè)計(jì)[D];西安電子科技大學(xué);1998年

2 鄭東;密碼協(xié)議的邏輯分析與設(shè)計(jì)[D];西安電子科技大學(xué);1999年

3 杜國平;“真”的歷程[D];中國社會(huì)科學(xué)院研究生院;2000年

4 李益發(fā);密碼協(xié)議安全性分析中的邏輯化方法——一種新的BAN類邏輯[D];解放軍信息工程大學(xué);2001年

5 尹增山;混雜系統(tǒng)優(yōu)化控制理論研究[D];浙江大學(xué);2001年

6 劉志;基于邏輯情景演算的虛擬企業(yè)過程建模研究[D];浙江大學(xué);2001年

7 姬東耀;因特網(wǎng)上信息安全與小額支付協(xié)議的設(shè)計(jì)分析[D];西安電子科技大學(xué);2001年

8 張拴平;張申府哲學(xué)思想研究[D];中共中央黨校;2001年

9 余俊偉;弗協(xié)調(diào)邏輯應(yīng)用于道義邏輯的研究[D];中國社會(huì)科學(xué)院研究生院;2001年

10 張纓;信任、契約及其規(guī)制[D];中國社會(huì)科學(xué)院研究生院;2001年

相關(guān)碩士學(xué)位論文 前10條

1 王菲;安全技術(shù)研究及其在MIS中的應(yīng)用[D];大連理工大學(xué);2000年

2 周世杰;網(wǎng)絡(luò)環(huán)境下中間件技術(shù)研究與開發(fā)[D];電子科技大學(xué);2000年

3 張春霞;基于動(dòng)態(tài)邏輯的Agent的形式化模型[D];云南師范大學(xué);2000年

4 和國強(qiáng);評杜威工具主義真理觀[D];首都師范大學(xué);2000年

5 藍(lán)國橋;“邏輯—心理”結(jié)構(gòu)[D];廣西師范大學(xué);2000年

6 趙洋;基于智能體概念的虛擬企業(yè)管理信息系統(tǒng)模型[D];昆明理工大學(xué);2000年

7 劉旭友;構(gòu)建中國再保險(xiǎn)市場組織體系[D];廣西師范大學(xué);2000年

8 唐漢衛(wèi);教育研究中的實(shí)踐整合觀初探[D];山東師范大學(xué);2000年

9 李群;高速公路收費(fèi)系統(tǒng)及分布式數(shù)據(jù)庫研制與開發(fā)[D];西安電子科技大學(xué);2001年

10 陳虹;泛邏輯運(yùn)算的電路實(shí)現(xiàn)研究[D];西北工業(yè)大學(xué);2001年