輯合型語言,合成性語言的一類。又譯多重合成語。
基本介紹
- 中文名:輯合型語言
- 性質:合成性語言的一類
輯合型語言,合成性語言的一類。又譯多重合成語。
輯合型語言,合成性語言的一類。又譯多重合成語。特點它的特點是一個詞里編插著數量很多的形位,其意思相當於別的語言裡的一句話。愛斯基摩語和美洲印第安語是典型的輯合型語言。例如愛斯基摩語詞qayar/pa/ngq/tsherk...
邏輯型語言是一個數學術語。邏輯型語言((logic language)支持用邏輯型程式設計(參見“邏輯型程式設計”)方法求解問題的語言工具.典型的邏輯型語言是PROLOG.它以一階謂詞邏輯的horn子句為語法,以Robinson歸結原理為語義,加上深度優先的控制策略而形成的通用語言.它有內設的形式匹配和回溯功能.由於它出於運行效率的考...
Prolog(Programming in logic)是一種面向演繹推理的邏輯型程式設計語言,最早於1972年由柯爾麥倫納(Colmeraner)及其研究小組在法國馬賽大學提出。高濟,何欽銘著,人工智慧基礎 (第二版),高等教育出版社,2008.10,第67頁 關於邏輯程式語言 Prolog以處理一階謂詞演算為背景,由於其簡單的文法、豐富的表達力和獨特的非...
Pascal是一種強類型語言。它提供了整數型、實數型、字元型、布爾型、枚舉型、子界型以及由以上類型構成的數組類型、集合類型、記錄類型和檔案類型。此外,還提供了其它許多語言中所沒有的指針類型。豐富的數據結構和上述的結構化性質,使得Pascal可以被方便地用來描述複雜的算法。⒊ 適用性好 既適用於數值運算,也適用...
KM編程語言 LOOM(本體論)OCML(Operational Conceptual Modelling Language,操作型概念建模語言)OKBC(Open Knowledge Base Connectivity,開放知識庫連線)PLIB(Parts LIBrary,字面意思為“部件庫“)RACER系統(推理機)按語法分類 標記本體語言 此類語言採用某種標記方案來編碼知識,且最為常用的標記語言是XML。DAML+...
《高等日語教育(第10輯)》收錄12篇日語研究方面的學術論文,其中特約論文是《漢日“忘記”類動詞敘實性的對比分析》,日語教學研究方面,是 基於產出導向法的“日語語言學概論”混合式教學探究、關於「と思う」引用句前接的判斷助動詞消隱現象的考察、“內容與語言融合型”教學實踐研究等。語言學方面,收錄6篇論文...
Prolog是一種邏輯程式語言,它建立在數理邏輯學的理論基礎之上,最初用於自然語言等研究領域。關於Prolog Prolog(Programing in Logic)的第一個系統是1972年開發的。它是一種典型的邏輯型語言,其理論基礎是一階謂詞邏輯,重點在於對象問的邏輯描述,因而又稱描述性語言。編寫的程式是由說明程式應達到目標的邏輯說明組成...
《彙編語言程式設計》是由朱耀庭、董煥芝、高飛編著,2013年清華大學出版社出版的高等學校計算機套用型本科規劃精選教材。該教材是計算機科學與技術、數字媒體技術及其相關專業本科生“彙編語言程式設計”課程的教材,適合套用型本科使用,也可供高職高專和各行各業計算機工作人員作為自學彙編語言程式設計的參考書。該教材...
在二十一世紀,語言學的眼光得到了極大的拓展,神經語言學、兒童習得、語言類型學、認知語言學、計算語言學等學科的發展讓我們得以重新審視漢語研究當中的許多基本問題,我們期望通過跨學科的探討使我們對這些基本問題有更深入的了解。本輯發表的8篇文章,是我們系列研討的第一聲。目錄 “新視野下的漢語詞類問題”系列...
同樣地,現代的AI專業人員如果不能同時大致通曉LISP和Prolog,也猶如一個殘疾人,因為就廣義來說,這兩種人工智慧的主要語言的知識都是必不可少的。”“我一直熱衷於Lisp,Lisp是在MIT被製造並且在那兒成長起來的。”(3)概括地說,計算機語言的發展正是一個從HOW型低級語言向WHAT型高級語言進化的過程.在HOW型語言中,...
《語言學研究(第七輯)》是2009年4月高等教育出版社出版的圖書,作者是北京大學外國語學院外國語言學及套用語言學研究所。內容簡介 語言變化(即語言進化)的原因或因素問題,其實構成了語言學或普通語言學內部一個獨立完整的研究領域或學科。因此,如果要在如此簡短淺顯的文章中討論這個題目,我只能對在這一領域業已...
《中國語言學(第6輯)》是2012年12月北京大學出版社出版的圖書,作者是郭錫良、魯國堯。內容簡介 《中國語言學(第6輯)》是一篇關乎中國語言學的發展方向,即以中國語言學的優良傳統為根,取世界語言學的科學精華而融通之,堅定地走實事求是、自主創新之路。經典的意義在於指引方向,開闢道路,澤被後人,因此,經典...
《語言研究集刊》主要刊登漢語語言學方面的論文,包括傳統的文字、音韻、訓詁和現代語言學中的語法、辭彙、語義、方言、修辭等方面的學術論文、評論、隨筆等,適合從事漢語言學研究的國內外學者參考閱讀。《語言研究集刊》系連續出版物,原每年出版一輯,自2013年起每年出版兩輯,現已出版十三輯,《語言研究集刊(第...
《南方語言學·第十六輯》是2020年世界圖書出版廣東有限公司出版的圖書,作者是甘於恩。 內容簡介 《南方語言學》特色是廣東漢語方言的研究,兼顧少數民族語言及其他南方方言。其編寫的目的在於廣泛吸納各方面的語言科學論文。圖書目錄 特稿 新型客家話、舊型客家話與早期南方高地漢語方言 關於語體修辭教學的思考 ...
《語言研究集刊(第31輯)》是一本2023年上海辭書出版社出版的圖書,作者是復旦大學漢語言文字學科語言研究集刊編委會。內容簡介 《語言研究集刊》主要刊登漢語語言學,包括傳統的文字、音韻、訓詁和現代語言學中的語法、辭彙、語義、方言、修辭等方面的學術論文、評論、隨筆等,適合從事漢語言學研究的國內外學者參考...
《外語教育與套用(第五輯)》內容分為:外語教育研究、外語教學研究、中外文學研究、翻譯理論與實踐研究、學生論文幾部分。圖書目錄 第一部分 外語教育研究 構建獨立學院外語專業集群“套用一複合一創新”三型合一人才培養模式的思考 中歐班列發展背景下的外經貿語言服務人才需求與培養 ——以蓉歐快鐵為例 外語院校人才...
《語言學論叢》由北京大學中國語言學研究中心《語言學論叢》編委會編。第56輯收錄論文17篇,涉及作者18人。本輯包括“漢語辭彙動態屬性與變異”(鄭錦全)、“再論《荔鏡記》與《明刊三種》之方言歸屬”(曾南逸)、 “用具複合詞的構詞模式”(王文穎)、 “體詞謂語句為何加‘是’”(王紅旗)、“唐五代完成體...
《漢語句式研究(第3輯)》精選句式研究相關論文28篇,大致可以分為如下幾個方面:一是對句式相關理論的探討,如句式研究原則方略、句式變數配置機制與整體意義實現等;二是對旬式的理解、認知與習得的考察,如漢語雙及物結構式的兒童語言習得、留學生漢語反問句理解與產出的實驗研究、反問句否定意義的形成與識解機制...
本書為《中國語言學(第2輯)》,主要收錄了《孔子的言語學形態》、《現代漢語和古代漢語中的介詞懸空和介詞刪除》、《黃易青章太炎先生成均圖的結構及其元音系統》、《孔江平武定彝語鬆緊音研究》、《上古漢語個體量詞和“數+量+名”結構的發展以及相關問題》、《從生活習俗和語言的社會性再論唐詩的“床”》、《...
本書系該連續出版物的第二十七輯。是CSSCI來源期刊。《語言研究集刊》主要刊登漢語語言學,包括傳統的文字、音韻、訓詁和現代語言學中的語法、辭彙、語義、方言、修辭等方面的學術論文、評論、隨筆等,適合從事漢語言學研究的國內外學者參考閱讀。圖書目錄 音變產生的原因 陳忠敏(1)副詞“就”的話題焦點功能研究 張...
本書為《中國語言學(第2輯)》,主要收錄了《孔子的言語學形態》、《現代漢語和古代漢語中的介詞懸空和介詞刪除》、《黃易青章太炎先生成均圖的結構及其元音系統》、《孔江平武定彝語鬆緊音研究》、《上古漢語個體量詞和“數+量+名”結構的發展以及相關問題》、《從生活習俗和語言的社會性再論唐詩的“床”》、《為了...
《語言與現代邏輯》是1996年復旦大學出版社出版的書籍,作者是周斌武。該書以通俗易懂的方式講述了現代邏輯包括命題演算、謂詞演算、模態邏輯、時態邏輯、問句邏輯、模糊邏輯、內涵邏輯等分支的實用常識。內容提要 作者是周斌武等編。運用邏輯語言學的觀點分析了自然語言的邏輯現象,所引例句幾乎全部選自漢語文學作品的...
本編收錄有《尼泊爾多特利語輔音演變規律及特點》《古田話合音現象研究》《印度尼西亞留學生漢語聲調習得研究》等文,尤其是收錄了杜道生先生的遺著《段注義例輯略》。圖書目錄 尼泊爾多特利語輔音演變規律及特點——歷史比較語言學的新證據 古田話合音現象研究 印度尼兩亞留學生漢語聲調習得研究 “NP1+來了+NP2”構式...
布爾型變數的類型說明符為booI,用來表示邏輯值。 [14] C++運算符與表達式 C++語言中定義了豐富的運算符,如算術運算符、關係運算符、邏輯運算符等等,有些運算符需要兩個運算元,使用形式為 <運算元1>運算符<運算元2> 這樣的運算符稱為二元運算符(或二目運算符)。另一些運算符只需要一個運算元,稱為一元運算...
Verilog HDL是一種硬體描述語言,以文本形式來描述數字系統硬體的結構和行為的語言,用它可以表示邏輯電路圖、邏輯表達式,還可以表示數字邏輯系統所完成的邏輯功能。 Verilog HDL和VHDL是世界上最流行的兩種硬體描述語言,都是在20世紀80年代中期開發出來的。前者由Gateway Design Automation公司(該公司於1989年被Cadence...
本階段數理邏輯的主要內容已成長為數學的分支,並與數學的其他分支、計算機科學、語言學和心理學有廣泛的聯繫。有少數部分內容如某些公理系統的研究與哲學問題有著相互的作用。何為數理邏輯 數理邏輯又稱符號邏輯、理論邏輯。它既是數學的一個分支,也是邏輯學的一個分支。是用數學方法研究邏輯或形式邏輯的學科。其研究...
AS ONE,韓國美少女組合,主要作品《Day By Day》,《Blue Zone》。唱片公司Rock Records。The 1st Album 唱片名稱:Day By Day 歌手:As One 語言:韓語 流派:Pop 唱片公司:Rock Records 發行時間:1999-11-11 專輯曲目:01. Arrive(Intro)02. 그녀의 게임 她的遊戲 03. 너만은 모르...
因此,以HORN子句為基礎的邏輯程式設計語言PROLOG受到人們的重視(見PROLOG語言)。日本的第五代計算機系統的計畫也推動了邏輯程式設計的研究。也有人認為,不同類型的問題需要不同風格的程式設計方法,在下一代的知識信息處理系統中除邏輯程式設計之外,還必須重視面向對象的程式設計、面向存取的程式設計、規則型程式設計...
《如何講話有邏輯,怎樣說服有效果》從具體實例出發,內容涉及生活中的方方面面,介紹了修煉有說服力的邏輯語言的方法,以此幫助讀者朋友掌握良好的邏輯溝通能力,並幫助讀者朋友運用邏輯引導他人的思維,*終實現完美溝通。圖書目錄 第一章 什麼是說話的邏輯:開口有邏輯才能讓人聽得明白 / 001 說話有邏輯是口語表達...