@prefix dbpprop: .
@prefix dbpedia: .
dbpprop:disambiguates dbpedia:Symbolic_logic ,
dbpedia:Symbolic_logic .
@prefix owl: .
dbpedia:Symbolic_logic owl:sameAs .
@prefix foaf: .
@prefix ns4: .
dbpedia:Symbolic_logic foaf:page ns4:Symbolic_logic .
@prefix rdfs: .
dbpedia:Symbolic_logic rdfs:label "\u0421\u0438\u043C\u0432\u043E\u043B\u0438\u0447\u0435\u0441\u043A\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430"@ru ,
"Symbolinen logiikka"@fi ,
"Symbolische logica"@nl ,
"Symbolic logic"@en ;
dbpprop:abstract "\u0421\u0438\u043C\u0432\u043E\u043B\u0438\u0301\u0447\u0435\u0441\u043A\u0430\u044F \u043B\u043E\u0301\u0433\u0438\u043A\u0430 \u2014 \u043D\u0430\u043F\u0440\u0430\u0432\u043B\u0435\u043D\u0438\u0435 \u0432 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0435, \u0438\u0437\u0443\u0447\u0430\u044E\u0449\u0435\u0435 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u044B\u0435 \u0441\u0438\u0441\u0442\u0435\u043C\u044B: \u00AB\u043B\u043E\u0433\u0438\u043A\u0430 \u043F\u043E \u043F\u0440\u0435\u0434\u043C\u0435\u0442\u0443, \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0430 \u043F\u043E \u043C\u0435\u0442\u043E\u0434\u0443\u00BB (\u041F. \u0421. \u041F\u043E\u0440\u0435\u0446\u043A\u0438\u0439), \u0438\u043B\u0438 \u00AB\u043B\u043E\u0433\u0438\u043A\u0430, \u0438\u0437\u0443\u0447\u0430\u0435\u043C\u0430\u044F \u043F\u043E\u0441\u0440\u0435\u0434\u0441\u0442\u0432\u043E\u043C \u043F\u043E\u0441\u0442\u0440\u043E\u0435\u043D\u0438\u044F \u0444\u043E\u0440\u043C\u0430\u043B\u0438\u0437\u043E\u0432\u0430\u043D\u043D\u044B\u0445 \u044F\u0437\u044B\u043A\u043E\u0432\u00BB. \u0422\u0435\u0440\u043C\u0438\u043D \u00AB\u0441\u0438\u043C\u0432\u043E\u043B\u0438\u0447\u0435\u0441\u043A\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430\u00BB \u0430\u043A\u0446\u0435\u043D\u0442\u0438\u0440\u0443\u0435\u0442 \u0432\u043D\u0438\u043C\u0430\u043D\u0438\u0435 \u043D\u0430 \u0442\u043E\u043C \u043E\u0431\u0441\u0442\u043E\u044F\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u0435, \u0447\u0442\u043E \u043E\u0441\u043D\u043E\u0432\u043D\u044B\u043C\u0438 \u044D\u043B\u0435\u043C\u0435\u043D\u0442\u0430\u043C\u0438 \u0444\u043E\u0440\u043C\u0430\u043B\u0438\u0437\u043E\u0432\u0430\u043D\u043D\u044B\u0445 \u044F\u0437\u044B\u043A\u043E\u0432, \u0441\u043B\u0443\u0436\u0430\u0449\u0438\u0445 \u00AB\u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u043C \u043C\u0435\u0442\u043E\u0434\u043E\u043C\u00BB \u0438\u0437\u0443\u0447\u0435\u043D\u0438\u044F \u043F\u0440\u0435\u0434\u043C\u0435\u0442\u0430 \u043B\u043E\u0433\u0438\u043A\u0438, \u044F\u0432\u043B\u044F\u044E\u0442\u0441\u044F \u0432 \u0434\u0430\u043D\u043D\u043E\u043C \u0441\u043B\u0443\u0447\u0430\u0435 \u043D\u0435 \u0441\u043B\u043E\u0432\u0430 \u043E\u0431\u044B\u0447\u043D\u044B\u0445 \u0440\u0430\u0437\u0433\u043E\u0432\u043E\u0440\u043D\u044B\u0445 \u044F\u0437\u044B\u043A\u043E\u0432 (\u0445\u043E\u0442\u044F \u0431\u044B \u0438 \u0443\u043F\u043E\u0442\u0440\u0435\u0431\u043B\u044F\u0435\u043C\u044B\u0435 \u0432 \u043A\u0430\u043A\u0438\u0445-\u043B\u0438\u0431\u043E \u0441\u043F\u0435\u0446\u0438\u0430\u043B\u044C\u043D\u044B\u0445 \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F\u0445), \u0430 \u043D\u0435\u043A\u043E\u0442\u043E\u0440\u044B\u0435 \u0441\u0438\u043C\u0432\u043E\u043B\u044B, \u0432\u044B\u0431\u0438\u0440\u0430\u0435\u043C\u044B\u0435 (\u0438\u043B\u0438 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u0438\u0440\u0443\u0435\u043C\u044B\u0435 \u0438\u0437 \u0432\u044B\u0431\u0440\u0430\u043D\u043D\u044B\u0445 \u0440\u0430\u043D\u0435\u0435 \u0441\u0438\u043C\u0432\u043E\u043B\u043E\u0432) \u0438 \u0438\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u0438\u0440\u0443\u0435\u043C\u044B\u0435 (\u0438\u0441\u0442\u043E\u043B\u043A\u043E\u0432\u044B\u0432\u0430\u0435\u043C\u044B\u0435) \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0451\u043D\u043D\u044B\u043C \u043E\u0431\u0440\u0430\u0437\u043E\u043C, \u0441\u043F\u0435\u0446\u0438\u0444\u0438\u0447\u0435\u0441\u043A\u0438\u043C \u0438\u043C\u0435\u043D\u043D\u043E \u0434\u043B\u044F \u0434\u0430\u043D\u043D\u043E\u0439 \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u0438 \u0438, \u0432\u043E\u043E\u0431\u0449\u0435 \u0433\u043E\u0432\u043E\u0440\u044F, \u043D\u0435 \u0441\u0432\u044F\u0437\u0430\u043D\u043D\u044B\u043C \u043D\u0438 \u0441 \u043A\u0430\u043A\u0438\u043C \u00AB\u0442\u0440\u0430\u0434\u0438\u0446\u0438\u043E\u043D\u043D\u044B\u043C\u00BB \u0443\u043F\u043E\u0442\u0440\u0435\u0431\u043B\u0435\u043D\u0438\u0435\u043C, \u043F\u043E\u043D\u0438\u043C\u0430\u043D\u0438\u0435\u043C \u0438 \u0444\u0443\u043D\u043A\u0446\u0438\u044F\u043C\u0438 \u0442\u0430\u043A\u0438\u0445 \u0436\u0435 \u0441\u0438\u043C\u0432\u043E\u043B\u043E\u0432 \u0432 \u0434\u0440\u0443\u0433\u0438\u0445 \u043A\u043E\u043D\u0442\u0435\u043A\u0441\u0442\u0430\u0445."@ru ,
"Symbolinen logiikka on matematiikkaa sivuava logiikan osa, joka tutkii merkkijonoina esitettyjen symbolien puhtaita formaaleja ominaisuuksia. Sille on kaksi tarkoitusta. Ensiksi, filosofisesta logiikan n\u00E4k\u00F6kulmasta symbolisen logiikan symbolien n\u00E4hd\u00E4\u00E4n esitt\u00E4v\u00E4n sanoja. Toiseksi, tietojenk\u00E4sittelytieteen n\u00E4k\u00F6kulmasta symbolisen logiikan s\u00E4\u00E4nn\u00F6iss\u00E4 k\u00E4sitelt\u00E4v\u00E4t symbolit ovat tietojenk\u00E4sittelyprosessin elementtej\u00E4. Symbolinen logiikka jaetaan tavallisesti kahteen alaosaan, propositiologiikkaan ja predikaattilogiikkaan. Muita muotoja ovat temporaalilogiikka, modaalilogiikka ja sumea logiikka."@fi ,
"Symbolic logic is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical logic. Second, the rules for manipulating symbols found in symbolic logic can be implemented on a computing machine. Symbolic logic is usually divided into two subfields, propositional logic and predicate logic. Other logics of interest include temporal logic, modal logic and fuzzy logic. See also model theory. Modern mathematical areas arising out of formal logic are grouped under the heading mathematical logic."@en ,
"Symbolische logica is het deelgebied van de wiskunde dat de puur formele eigenschappen van reeksen van symbolen bestudeerd. De interesse in de symbolische logica ontspringt uit twee bronnen. Ten eerste, de in de symbolische logica gebruikte symbolen kunnen worden gezien als weergaven van de in de filosofische logica gebruikte woorden. Ten tweede kunnen de regels voor het manipuleren van symbolen gevonden die men in symbolische logica gebruikt ook worden toegepast in een computer programma's. Symbolische logica wordt meestal onderverdeeld in twee deelgebieden, propositielogica en predicatenlogica. Andere van belang zijnde logica's zijn de temporele logica, de modale logica en de zogenaamde fuzzy logic. Zie ook modeltheorie. Moderne wiskundige deelgebieden die zijn voortgekomen uit de formele logica worden gegroepeerd onder de noemer wiskundige logica."@nl ;
rdfs:comment "Symbolinen logiikka on matematiikkaa sivuava logiikan osa, joka tutkii merkkijonoina esitettyjen symbolien puhtaita formaaleja ominaisuuksia. Sille on kaksi tarkoitusta. Ensiksi, filosofisesta logiikan n\u00E4k\u00F6kulmasta symbolisen logiikan symbolien n\u00E4hd\u00E4\u00E4n esitt\u00E4v\u00E4n sanoja. Toiseksi, tietojenk\u00E4sittelytieteen n\u00E4k\u00F6kulmasta symbolisen logiikan s\u00E4\u00E4nn\u00F6iss\u00E4 k\u00E4sitelt\u00E4v\u00E4t symbolit ovat tietojenk\u00E4sittelyprosessin elementtej\u00E4."@fi ,
"Symbolic logic is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical logic. Second, the rules for manipulating symbols found in symbolic logic can be implemented on a computing machine. Symbolic logic is usually divided into two subfields, propositional logic and predicate logic."@en ,
"\u0421\u0438\u043C\u0432\u043E\u043B\u0438\u0301\u0447\u0435\u0441\u043A\u0430\u044F \u043B\u043E\u0301\u0433\u0438\u043A\u0430 \u2014 \u043D\u0430\u043F\u0440\u0430\u0432\u043B\u0435\u043D\u0438\u0435 \u0432 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0435, \u0438\u0437\u0443\u0447\u0430\u044E\u0449\u0435\u0435 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u044B\u0435 \u0441\u0438\u0441\u0442\u0435\u043C\u044B: \u00AB\u043B\u043E\u0433\u0438\u043A\u0430 \u043F\u043E \u043F\u0440\u0435\u0434\u043C\u0435\u0442\u0443, \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0430 \u043F\u043E \u043C\u0435\u0442\u043E\u0434\u0443\u00BB (\u041F. \u0421. \u041F\u043E\u0440\u0435\u0446\u043A\u0438\u0439), \u0438\u043B\u0438 \u00AB\u043B\u043E\u0433\u0438\u043A\u0430, \u0438\u0437\u0443\u0447\u0430\u0435\u043C\u0430\u044F \u043F\u043E\u0441\u0440\u0435\u0434\u0441\u0442\u0432\u043E\u043C \u043F\u043E\u0441\u0442\u0440\u043E\u0435\u043D\u0438\u044F \u0444\u043E\u0440\u043C\u0430\u043B\u0438\u0437\u043E\u0432\u0430\u043D\u043D\u044B\u0445 \u044F\u0437\u044B\u043A\u043E\u0432\u00BB."@ru ,
"Symbolische logica is het deelgebied van de wiskunde dat de puur formele eigenschappen van reeksen van symbolen bestudeerd. De interesse in de symbolische logica ontspringt uit twee bronnen. Ten eerste, de in de symbolische logica gebruikte symbolen kunnen worden gezien als weergaven van de in de filosofische logica gebruikte woorden. Ten tweede kunnen de regels voor het manipuleren van symbolen gevonden die men in symbolische logica gebruikt ook worden toegepast in een computer programma's."@nl .
@prefix skos: .
@prefix ns7: .
dbpedia:Symbolic_logic skos:subject ns7:Logic ,
.
@prefix ns8: .
dbpedia:Symbolic_logic dbpprop:wikiPageUsesTemplate ns8:mergeto ;
dbpprop:date "September 2009"@en .
@prefix ns9: .
dbpedia:Symbolic_logic dbpprop:hasPhotoCollection ns9:Symbolic_logic .
dbpedia:Symbolic_Logic dbpprop:redirect dbpedia:Symbolic_logic .