| dbo: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) |
| dbo:thumbnail |
wiki-commons:Special:FilePath/Logic_Gates.svg?width=300 |
| dbo:wikiPageExternalLink |
https://web.archive.org/web/20051025052601/http:/www.informatik.hu-berlin.de/lics/ http://plato.stanford.edu/entries/logic-ai/ http://videolectures.net/ssll09_tiu_intlo/ https://www.cl.cam.ac.uk/~jrh13/atp/%7Ctitle=Handbook https://www.weizmann.ac.il/sci-tea/benari/research-activities/mathematical-logic-computer-science-third-edition%7Ctitle=Mathematical https://www.math.uwaterloo.ca/~snburris/htdocs/lmcs.html%7Ctitle=Logic http://www.cs.bham.ac.uk/research/lics/%7Ctitle=Logic |
| dbo:wikiPageID |
1151991 (xsd:integer) |
| dbo:wikiPageLength |
14931 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1099146423 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Principia_Mathematica dbr:Modal_logic dbr:Bertrand_Russell dbr:Computability_theory dbr:Logic dbr:Stanford_Encyclopedia_of_Philosophy dbr:Computational_logic dbr:Computer_science dbr:Theory_of_computation dbr:Web_Ontology_Language dbr:Logic_programming dbr:Alan_Turing dbr:Alfred_North_Whitehead dbr:Allen_Newell dbr:Alonzo_Church dbr:Curry–Howard_correspondence dbr:First-order_logic dbr:Frame_language dbr:Frame_problem dbr:KL-ONE dbr:Knowledge_Based_Software_Assistant dbr:Knowledge_representation dbr:Rule-based_system dbr:Gödel's_incompleteness_theorem dbr:Herbert_A._Simon dbr:Temporal_logic dbr:Artificial_intelligence dbc:Formal_methods dbc:Logic_in_computer_science dbr:Academic_conference dbr:Modus_ponens dbr:Automated_reasoning dbr:Kurt_Gödel dbr:Category_theory dbr:Semantic_web dbr:Expert_system dbr:Very_Large_Scale_Integration dbr:Concurrency_(computing) dbr:File:Logic_Gates.svg |
| dbp:wikiPageUsesTemplate |
dbt:Cite_book dbt:For dbt:Reflist dbt:Short_description dbt:Logic dbt:Digital_electronics |
| dct:subject |
dbc:Formal_methods dbc:Logic_in_computer_science |
| rdf:type |
yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Know-how105616786 yago:Method105660268 yago:PsychologicalFeature100023100 yago:WikicatFormalMethods |
| 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) |
| rdfs:label |
Logic in computer science (en) المنطق في علوم الحاسب (ar) Lógica na ciência da computação (pt) 计算机逻辑 (zh) Логіка в інформатиці (uk) |
| owl:sameAs |
yago-res:Logic in computer science wikidata:Logic in computer science dbpedia-ar:Logic in computer science dbpedia-fa:Logic in computer science dbpedia-pt:Logic in computer science dbpedia-uk:Logic in computer science dbpedia-zh:Logic in computer science https://global.dbpedia.org/id/2VHDH |
| prov:wasDerivedFrom |
wikipedia-en:Logic_in_computer_science?oldid=1099146423&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/Logic_Gates.svg |
| foaf:isPrimaryTopicOf |
wikipedia-en:Logic_in_computer_science |
| is dbo:academicDiscipline of |
dbr:Georg_Gottlob dbr:Helmut_Veith dbr:Ian_Horrocks dbr:Mikołaj_Bojańczyk |
| is dbo:knownFor of |
dbr:Alexander_Razborov dbr:Ray_Turner_(computer_scientist) |
| is dbo:wikiPageDisambiguates of |
dbr:LICS |
| is dbo:wikiPageRedirects of |
dbr:LICS_(topic) |
| is dbo:wikiPageWikiLink of |
dbr:Epistemic_modal_logic dbr:List_of_academic_fields dbr:Jose_Meseguer dbr:Dynamic_epistemic_logic dbr:Index_of_philosophy_articles_(I–Q) dbr:Post-silicon_validation dbr:LICS_(topic) dbr:RuleML_Symposium dbr:Symposium_on_Logic_in_Computer_Science dbr:Georg_Gottlob dbr:Thomas_Colcombet dbr:Lindström_quantifier dbr:Computational_logic dbr:Computer_science dbr:Harry_Mairson dbr:Leonid_Libkin dbr:Theoretical_computer_science dbr:Logic_programming dbr:Alexander_Razborov dbr:Allan_L._Scherr dbr:Formal_methods dbr:Helmut_Veith dbr:ACM_Transactions_on_Computational_Logic dbr:Abbas_Edalat dbr:Alasdair_Urquhart dbr:Phokion_G._Kolaitis dbr:I_Ching dbr:Ian_Horrocks dbr:Mikołaj_Bojańczyk dbr:Ray_Turner_(computer_scientist) dbr:Sergei_N._Artemov dbr:Vienna_Summer_of_Logic dbr:LICS dbr:Switching_circuit_theory dbr:Outline_of_academic_disciplines dbr:Semantic_interoperability |
| is dbp:discipline of |
dbr:RuleML_Symposium |
| is dbp:fields of |
dbr:Mikołaj_Bojańczyk |
| is dbp:knownFor of |
dbr:Alexander_Razborov |
| is foaf:primaryTopic of |
wikipedia-en:Logic_in_computer_science |
