Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:
* Theoretical foundations and analysis
* Use of computer technology to aid logicians
* Use of concepts from logic for computer applications
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Logic in computer science (en)
- المنطق في علوم الحاسب (ar)
- Lógica na ciência da computação (pt)
- 计算机逻辑 (zh)
- Логіка в інформатиці (uk)
|
| rdfs:comment
| - يشمل المنطق في علوم الحاسب التداخل بين مجالين مختلفين احدهما هو مجال المنطق والاخر هو مجال علوم الكمبيوتر. ويمكننا ان نقسم الموضوع إلى ثلاثة مجالات رئيسية وهي:
* الأسس والتحليلات النظرية
* يمكن استخدام الكمبيوتر لمساعده المنطقيين
* يمكناستخدام المفاهيم من المنطق إلى تطبيقات الكمبيوتر (ar)
- Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:
* Theoretical foundations and analysis
* Use of computer technology to aid logicians
* Use of concepts from logic for computer applications (en)
- A lógica na ciência da computação cobre a sobreposição entre o campo da lógica e o da ciência da computação. O tema pode ser essencialmente dividido em três áreas principais:
* Fundamentos teóricos e análise
* Uso de tecnologia de computador para ajudar os lógicos
* Uso de conceitos da lógica para aplicativos de computador (pt)
- 计算机逻辑描述应用于计算机科学和人工智能的逻辑。它包括：
* 以在计算机科学中的应用为导向的逻辑学研究。例如：组合子逻辑和抽象释义；
* 以逻辑形式自然表达的计算机科学基本概念。例如：编程语言的形式语义，霍尔逻辑和逻辑编程；
* 计算理论的关注形式逻辑的基本问题的方面。例如：Curry-Howard对应和博弈语义；
* 被当作的逻辑工具。例如：自动定理证明和。
* 软件（和硬件）开发的形式方法，比如在中使用谓词逻辑。 基本数理逻辑比如命题逻辑和谓词逻辑（通常联合上集合论）的研究被认为是对任何大学计算机科学课程都非常重要的理论基础。高阶逻辑通常不教，但在工具如中是很重要的。 有相关的一个年刊（LICS）。 (zh)
- Логіка в інформатиці — це напрям досліджень та галузей знань, де логіка застосовується в інформатиці та штучному інтелекті. Використання логіки дуже ефективне в цих областях. Умовно висловлюючись, можна сказати, що комп'ютер складається з матеріальної частини та математичного (програмного) забезпечення, або, використовуючи професійну лексику, з «заліза» і «взуття». І до того, і до іншого має саме безпосереднє відношення математична логіка, ні перше, ні друге без математичної логіки обійтися не можуть. (uk)
|
| foaf:depiction
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| thumbnail
| |
| has abstract
| - يشمل المنطق في علوم الحاسب التداخل بين مجالين مختلفين احدهما هو مجال المنطق والاخر هو مجال علوم الكمبيوتر. ويمكننا ان نقسم الموضوع إلى ثلاثة مجالات رئيسية وهي:
* الأسس والتحليلات النظرية
* يمكن استخدام الكمبيوتر لمساعده المنطقيين
* يمكناستخدام المفاهيم من المنطق إلى تطبيقات الكمبيوتر (ar)
- Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:
* Theoretical foundations and analysis
* Use of computer technology to aid logicians
* Use of concepts from logic for computer applications (en)
- A lógica na ciência da computação cobre a sobreposição entre o campo da lógica e o da ciência da computação. O tema pode ser essencialmente dividido em três áreas principais:
* Fundamentos teóricos e análise
* Uso de tecnologia de computador para ajudar os lógicos
* Uso de conceitos da lógica para aplicativos de computador (pt)
- 计算机逻辑描述应用于计算机科学和人工智能的逻辑。它包括：
* 以在计算机科学中的应用为导向的逻辑学研究。例如：组合子逻辑和抽象释义；
* 以逻辑形式自然表达的计算机科学基本概念。例如：编程语言的形式语义，霍尔逻辑和逻辑编程；
* 计算理论的关注形式逻辑的基本问题的方面。例如：Curry-Howard对应和博弈语义；
* 被当作的逻辑工具。例如：自动定理证明和。
* 软件（和硬件）开发的形式方法，比如在中使用谓词逻辑。 基本数理逻辑比如命题逻辑和谓词逻辑（通常联合上集合论）的研究被认为是对任何大学计算机科学课程都非常重要的理论基础。高阶逻辑通常不教，但在工具如中是很重要的。 有相关的一个年刊（LICS）。 (zh)
- Логіка в інформатиці — це напрям досліджень та галузей знань, де логіка застосовується в інформатиці та штучному інтелекті. Використання логіки дуже ефективне в цих областях. Умовно висловлюючись, можна сказати, що комп'ютер складається з матеріальної частини та математичного (програмного) забезпечення, або, використовуючи професійну лексику, з «заліза» і «взуття». І до того, і до іншого має саме безпосереднє відношення математична логіка, ні перше, ні друге без математичної логіки обійтися не можуть. (uk)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
