Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences)> ?p ?o }
Showing triples 1 to 65 of
65
with 100 triples per page.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) abstract "The Department of Mathematical Logic at the Bulgarian Academy of Sciences was created by the Institute of Mathematics and Informatics in implementation of Government Decree N0. 236 of November 3, 1959.Its first chairman was Boyan Petkanchin (1907–87) who worked to promote and disseminate the knowledge of mathematical logic both in the professional mathematical community in Bulgaria and as popular science.Vladimir Sotirov and Radoslav Pavlov joined the department in 1970, followed by George Gargov, Anatoly Buda, Lyubomir Ivanov, Slavyan Radev and Solomon Passy in 1976-89. In 1996-2000 the department was joined by Dimiter Dobrev, Jordan Zashev and Dimitar Guelev.From 1971 to 1989 the department was merged with the corresponding division of the Faculty of Mathematics and Informatics at Sofia University, with Dimiter Skordev heading the integrated structure since 1971. In 1989 the institutional relationship with Sofia University was severed, and the department resumed as a division of the Institute of Mathematics and Informatics, headed since then by Lyubomir Ivanov.The logicians Bogdan Dyankov, Hristo Smolenov, Veselin Petrov and Marion Mircheva stayed with the department for various periods of time, all of them coming from the Institute of Philosophy at the Bulgarian Academy of Sciences once the latter was dissolved on account of the dissident activities of its members in 1989.The research of the department is mostly in the area of algebraic recursion theory, modal, temporal and other non-classical logics, as well as logic programming including the development of a version of the Prolog programming language. The department developed also the Streamlined System adopted as the official national system for the Romanization of Bulgarian, and eventually codified by the Bulgarian Law of Transliteration in 2009. A joint multi-institutional project led by the department has contributed to the development and introduction of a new Bulgarian phonetic keyboard layout for personal computers and mobile phones.Besides their research activities, members of the department have an extensive lecturing practice at various faculties of Sofia University as well as other Bulgarian universities. Some members of the department have earned public recognition for their non-academic activities. Sotirov, Ivanov, and Passy were returned MPs in the VII Grand National Assembly on the side of the Union of Democratic Forces, and co-authored the new Bulgarian Constitution.".
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageExternalLink history.htm.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageExternalLink logic.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageExternalLink IMI%20Jubilee%20Book.pdf.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageID "11559696".
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageLength "3833".
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageOutDegree "41".
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageRevisionID "640261473".
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Algebra.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Boyan_Petkanchin.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Bulgaria.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Bulgarian_Academy_of_Sciences.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Bulgarian_language.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Category:1959_establishments_in_Bulgaria.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Category:Bulgarian_Academy_of_Sciences.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Category:Research_institutes_in_Bulgaria.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Classical_logic.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Computability_theory.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Constitution_of_Bulgaria.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Dimiter_Skordev.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Institute_of_Mathematics_and_Informatics_(Bulgarian_Academy_of_Sciences).
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Keyboard_layout.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Logic_programming.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Lyubomir_Ivanov_(explorer).
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Mathematical_logic.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Mathematics.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Member_of_Parliament.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Member_of_parliament.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Mobile_phone.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Mobile_phones.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Modal_logic.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink National_Assembly_(Bulgaria).
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink National_Assembly_of_Bulgaria.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Personal_computer.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Personal_computers.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Phonetics.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Political_dissent.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Political_dissidents.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Popular_science.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Programming_language.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Prolog.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Recursion_theory.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Romanization.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Romanization_of_Bulgarian.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Sofia_University.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Solomon_Passy.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Streamlined_System_for_the_Romanization_of_Bulgarian.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Temporal_logic.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Union_of_Democratic_Forces_(Bulgaria).
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Union_of_the_Democratic_Forces_(Bulgaria).
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Wikisource:bg:Закон_за_транслитерацията.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLinkText "Department of Mathematical Logic".
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLinkText "Logic".
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) hasPhotoCollection Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences).
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageUsesTemplate Template:Coord_missing.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) subject Category:1959_establishments_in_Bulgaria.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) subject Category:Bulgarian_Academy_of_Sciences.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) subject Category:Research_institutes_in_Bulgaria.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) comment "The Department of Mathematical Logic at the Bulgarian Academy of Sciences was created by the Institute of Mathematics and Informatics in implementation of Government Decree N0.".
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) label "Department of Mathematical Logic (Bulgarian Academy of Sciences)".
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) sameAs m.02rj4tv.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) sameAs Q5260391.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) sameAs Q5260391.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wasDerivedFrom Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences)?oldid=640261473.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) isPrimaryTopicOf Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences).