{"id":32111,"date":"2019-10-31T21:45:14","date_gmt":"2019-10-31T18:45:14","guid":{"rendered":"https:\/\/prohoster.info\/blog\/nauka-logiki-v-programmirovanii\/"},"modified":"2019-10-31T21:45:14","modified_gmt":"2019-10-31T18:45:14","slug":"nauka-logiki-v-programmirovanii","status":"publish","type":"post","link":"https:\/\/prohoster.info\/sv\/blog\/news\/nauka-logiki-v-programmirovanii","title":{"rendered":"Logikens vetenskap inom programmering","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p><img decoding=\"async\" alt=\"Logikens vetenskap inom programmering\" src=\"\/wp-content\/uploads\/2019\/04\/3f4ea4ccd01e4dd17cb9348e35b80752.jpeg\" style=\"display:block;margin: 0 auto;\" \/><\/p>\n<p><\/p>\n<p>\u0414\u0430\u043d\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u043e\u0441\u0432\u044f\u0449\u0435\u043d\u0430 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u043c\u0443 \u0430\u043d\u0430\u043b\u0438\u0437\u0443 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0435\u0439 \u0438\u0437 \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u044f \u043d\u0435\u043c\u0435\u0446\u043a\u043e\u0433\u043e \u0444\u0438\u043b\u043e\u0441\u043e\u0444\u0430 \u0413\u0435\u043e\u0440\u0433\u0430 \u0412\u0438\u043b\u044c\u0433\u0435\u043b\u044c\u043c\u0430 \u0424\u0440\u0438\u0434\u0440\u0438\u0445\u0430 \u0413\u0435\u0433\u0435\u043b\u044f &#171;\u041d\u0430\u0443\u043a\u0438 \u043b\u043e\u0433\u0438\u043a\u0438&#187; \u0441 \u0438\u0445 \u0430\u043d\u0430\u043b\u043e\u0433\u0430\u043c\u0438 \u0438\u043b\u0438 \u0438\u0445 \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435\u043c \u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438.<\/p>\n<p><noindex><a rel=\"nofollow\" name=\"habracut\"><\/a><\/noindex><\/p>\n<p>\u0421\u0443\u0449\u043d\u043e\u0441\u0442\u0438 \u0438\u0437 &#171;\u041d\u0430\u0443\u043a\u0438 \u043b\u043e\u0433\u0438\u043a\u0438&#187; \u0432\u044b\u0434\u0435\u043b\u0435\u043d\u044b \u043a\u0443\u0440\u0441\u0438\u0432\u043e\u043c \u0447\u0442\u043e\u0431\u044b \u043d\u0435 \u0431\u044b\u043b\u043e \u043f\u0443\u0442\u0430\u043d\u0438\u0446\u044b \u0441 \u043e\u0431\u0449\u0435\u043f\u0440\u0438\u043d\u044f\u0442\u044b\u043c\u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f\u043c\u0438 \u044d\u0442\u0438\u0445 \u0441\u043b\u043e\u0432.<\/p>\n<p><\/p>\n<h1 id=\"chistoe-bytie\">Rent varande<\/h1>\n<p><\/p>\n<p>Om du \u00f6ppnar definitionen <em>rent varande<\/em> \u0432 \u043a\u043d\u0438\u0433\u0435, \u0442\u043e \u0443\u0432\u0438\u0434\u0438\u0442\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0443\u044e \u0441\u0442\u0440\u043e\u0447\u043a\u0443 &#171;\u0431\u0435\u0437 \u0434\u0430\u043b\u044c\u043d\u0435\u0439\u0448\u0435\u0433\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f&#187;. \u041d\u043e \u0434\u043b\u044f \u0442\u0435\u0445 \u043a\u0442\u043e \u043d\u0435 \u0447\u0438\u0442\u0430\u043b \u0438\u043b\u0438 \u043d\u0435 \u043f\u043e\u043d\u044f\u043b \u043d\u0435 \u0441\u043f\u0435\u0448\u0438\u0442\u0435 \u043e\u0431\u0432\u0438\u043d\u044f\u0442\u044c \u0430\u0432\u0442\u043e\u0440\u0430 \u0432 \u0434\u0435\u043c\u0435\u043d\u0446\u0438\u0438. <em>Rent varande<\/em> \u2014 detta \u00e4r ett grundl\u00e4ggande begrepp i Hegels logik som betyder att ett objekt finns, var god och blanda inte ihop det med objektets existens; objektet kan faktiskt inte existera i verkligheten, men om vi p\u00e5 n\u00e5got s\u00e4tt har definierat det i v\u00e5r logik, s\u00e5 finns det. Om du funderar p\u00e5 det, s\u00e5 \u00e4r det verkligen s\u00e5dana saker som <em>rent varande<\/em> om\u00f6jligt att definiera, och varje f\u00f6rs\u00f6k att g\u00f6ra det kommer att leda till att du bara h\u00e4nvisar till dess synonymer eller antonymer. <em>Rent varande<\/em> ett s\u00e5 pass abstrakt begrepp att det kan till\u00e4mpas p\u00e5 vad som helst, inklusive sig sj\u00e4lv. I vissa objektorienterade spr\u00e5k finns m\u00f6jlighet att representera allt som ett objekt, \u00e4ven operationer p\u00e5 objekt, vilket i princip ger oss en s\u00e5dan niv\u00e5 av abstraktion. Men i programmering finns det ingen direkt motsvarighet till <em>rent varande<\/em> F\u00f6r att kontrollera existensen av ett objekt beh\u00f6ver vi kontrollera dess fr\u00e5nvaro.<\/p>\n<p><\/p>\n<pre><code class=\"cs\">if(obj != null);<\/code><\/pre>\n<p><\/p>\n<p>Det \u00e4r m\u00e4rkligt att s\u00e5dan syntaktisk socker fortfarande inte finns, med tanke p\u00e5 att denna kontroll \u00e4r ganska popul\u00e4r.<\/p>\n<p><\/p>\n<h1 id=\"nichto\">Ingenting<\/h1>\n<p><\/p>\n<p>Som man kunde gissa <em>ingenting<\/em> \u00e4r fr\u00e5nvaron av vad som helst. Dess motsvarighet kan kallas NULL. Det \u00e4r v\u00e4rt att n\u00e4mna att inom logiken <em>ingenting<\/em> denna funktion ett omslag runt modulen Crypt::UnixCrypt och utg\u00f6r ingen fara, men i det levererade arkivet p\u00e5 Sourceforge anropas kod som direkt refererar till \\\/etc\\\/shadow, men g\u00f6r det genom en shell-konstruktion. F\u00f6r att genomf\u00f6ra attacken r\u00e4cker det med att ange tecknet \"|\" i f\u00e4ltet f\u00f6r det gamla l\u00f6senordet och koden efter detta kommer att k\u00f6ras med root-beh\u00f6righet p\u00e5 servern. <em>rent varande<\/em>, eftersom det ocks\u00e5 finns. H\u00e4r ligger en viss knut, vi kan inte referera till NULL som ett objekt i n\u00e5got spr\u00e5k, \u00e4ven om det i grunden ocks\u00e5 \u00e4r ett s\u00e5dant.<\/p>\n<p><\/p>\n<h1 id=\"stanovlenie-i-momenty\">Bliande och \u00f6gonblick<\/h1>\n<p><\/p>\n<p><em>Bliande<\/em> \u00e4r \u00f6verg\u00e5ngen fr\u00e5n <em>ingenting<\/em> p\u00e5 <em>varande<\/em> och fr\u00e5n <em>till varande.<\/em> p\u00e5 <em>ingenting<\/em>Detta ger oss tv\u00e5 <em>\u00f6gonblick<\/em>, det f\u00f6rsta kallas <em>uppkomsten<\/em>, och det andra <em>\u00f6vergivandet<\/em>. <em>\u00d6vergivande<\/em> \u00e4r s\u00e5 kallat ist\u00e4llet f\u00f6r f\u00f6rsvinnande, eftersom den logiska enheten i grunden inte kan f\u00f6rsvinna, endast om vi har gl\u00f6mt den. <em>Avskaffande<\/em> hur man kan ben\u00e4mna tilldelningsproceduren. Om vi initialiserar ett objekt sker <em>\u00f6gonblicket f\u00f6r uppkomsten<\/em>, och vid tilldelning av ett annat v\u00e4rde eller NULL <em>\u00f6gonblicket f\u00f6r \u00f6verg\u00e5ngen<\/em>.<\/p>\n<p><\/p>\n<pre><code class=\"cs\">obj = new object(); \/\/uppkomst\nobj = null; \/\/\u00f6verg\u00e5ng<\/code><\/pre>\n<p><\/p>\n<h1 id=\"nalichnoe-bytie\">Existens<\/h1>\n<p><\/p>\n<p>Kortfattat <em>existens<\/em> \u2013 det \u00e4r ett objekt utan en tydlig definition, men med <em>best\u00e4mdhet<\/em>. \u0427\u0442\u043e \u044d\u0442\u043e \u0437\u043d\u0430\u0447\u0438\u0442. \u041a\u0430\u043d\u043e\u043d\u0438\u0447\u043d\u044b\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u043c \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043e\u0431\u044b\u043a\u043d\u043e\u0432\u0435\u043d\u043d\u044b\u0439 \u0441\u0442\u0443\u043b. \u0415\u0441\u043b\u0438 \u0412\u044b \u043f\u043e\u043f\u044b\u0442\u0430\u0435\u0442\u0435\u0441\u044c \u0434\u0430\u0442\u044c \u0435\u043c\u0443 \u0447\u0451\u0442\u043a\u043e\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435, \u0442\u043e \u0441\u0442\u043e\u043b\u043a\u043d\u0451\u0442\u0435\u0441\u044c \u0441 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e\u043c \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0435\u0439. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0412\u044b \u0441\u043a\u0430\u0436\u0438\u0442\u0435: &#171;\u044d\u0442\u043e \u043f\u0440\u0435\u0434\u043c\u0435\u0442 \u043c\u0435\u0431\u0435\u043b\u0438 \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u043d\u044b\u0439 \u0434\u043b\u044f \u0441\u0438\u0434\u0435\u043d\u0438\u044f&#187;, \u043d\u043e \u043a\u0440\u0435\u0441\u043b\u043e \u0442\u043e\u0436\u0435 \u0441\u043e\u0437\u0434\u0430\u043d\u043e \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0438 \u0442.\u0434. \u041d\u043e \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u0447\u0451\u0442\u043a\u043e\u0433\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u043d\u0435 \u043c\u0435\u0448\u0430\u0435\u0442 \u043d\u0430\u043c \u0432\u044b\u0434\u0435\u043b\u044f\u0442\u044c \u0435\u0433\u043e \u0432 \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u0435 \u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043f\u0440\u0438 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0438 \u043e \u043d\u0451\u043c, \u044d\u0442\u043e \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0432 \u043d\u0430\u0448\u0435\u0439 \u0433\u043e\u043b\u043e\u0432\u0435 \u0435\u0441\u0442\u044c <em>best\u00e4mdhet<\/em> stolen. Kanske har vissa redan listat ut att neurala n\u00e4tverk skapades f\u00f6r att s\u00e4rskilja s\u00e5dana objekt fr\u00e5n datastreamen. Ett neuralt n\u00e4tverk kan definieras som en funktion som best\u00e4mmer detta <em>best\u00e4mdhet<\/em>, men det finns inga typer av objekt som skulle omfatta b\u00e5de tydliga och otydliga definitioner, s\u00e5 s\u00e5dana objekt kan inte anv\u00e4ndas p\u00e5 samma abstraktionsniv\u00e5.<\/p>\n<p><\/p>\n<h1 id=\"zakon-perehoda-kolichestvennyh-izmeneniy-v-kachestvennye\">Lagen om \u00f6verg\u00e5ng av kvantitativa f\u00f6r\u00e4ndringar till kvalitativa<\/h1>\n<p><\/p>\n<p>Denna lag formulerades av Friedrich Engels som en tolkning av Hegels logik. Men man kan se den tydligt i f\u00f6rsta volymen i kapitlet om <em>m\u00e5tt<\/em>. K\u00e4rnan i det \u00e4r att <em>kvantitativa<\/em> f\u00f6r\u00e4ndringar i objektet kan p\u00e5verka dess <em>kvalitet<\/em>. Till exempel har vi objektet is, n\u00e4r temperaturen \u00f6kar kommer det att f\u00f6rvandlas till flytande vatten och \u00e4ndra sina <em>kvaliteter<\/em>. \u0414\u043b\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0442\u0430\u043a\u043e\u0433\u043e \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u044f \u0432 \u043e\u0431\u044a\u0435\u043a\u0442\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0448\u0430\u0431\u043b\u043e\u043d \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f &#171;\u0421\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435&#187;. \u0412\u043e\u0437\u043d\u0438\u043a\u043d\u043e\u0432\u0435\u043d\u0438\u0435 \u0442\u0430\u043a\u043e\u0433\u043e \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0432\u044b\u0437\u0432\u0430\u043d\u043e \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435\u043c \u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438 \u0442\u0430\u043a\u043e\u0439 \u0432\u0435\u0449\u0438 \u043a\u0430\u043a <em>grunden<\/em> f\u00f6r <em>f\u00f6r uppkomsten<\/em> av objektet. <em>Grunden<\/em> definierar villkoren under vilka ett objekt kan uppst\u00e5, och i algoritmen best\u00e4mmer vi sj\u00e4lva n\u00e4r vi beh\u00f6ver initialisera objektet.<\/p>\n<p><\/p>\n<p><strong>PS:<\/strong> \u0415\u0441\u043b\u0438 \u0434\u0430\u043d\u043d\u0430\u044f \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044f \u0431\u0443\u0434\u0435\u0442 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e\u0439 \u044f \u043f\u0440\u043e\u0432\u0435\u0434\u0443 \u043e\u0431\u0437\u043e\u0440 \u0434\u0440\u0443\u0433\u0438\u0445 \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0435\u0439 \u0438\u0437 &#171;\u041d\u0430\u0443\u043a\u0438 \u043b\u043e\u0433\u0438\u043a\u0438&#187;.<\/p>\n<p>K\u00e4lla: <a content=\"nofollow\" rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/448948\/\">habr.com<\/a><\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"<p>\u0414\u0430\u043d\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u043e\u0441\u0432\u044f\u0449\u0435\u043d\u0430 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u043c\u0443 \u0430\u043d\u0430\u043b\u0438\u0437\u0443 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0435\u0439 \u0438\u0437 \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u044f \u043d\u0435\u043c\u0435\u0446\u043a\u043e\u0433\u043e \u0444\u0438\u043b\u043e\u0441\u043e\u0444\u0430 \u0413\u0435\u043e\u0440\u0433\u0430 \u0412\u0438\u043b\u044c\u0433\u0435\u043b\u044c\u043c\u0430 \u0424\u0440\u0438\u0434\u0440\u0438\u0445\u0430 \u0413\u0435\u0433\u0435\u043b\u044f &#171;\u041d\u0430\u0443\u043a\u0438 \u043b\u043e\u0433\u0438\u043a\u0438&#187; \u0441 \u0438\u0445 \u0430\u043d\u0430\u043b\u043e\u0433\u0430\u043c\u0438 \u0438\u043b\u0438 \u0438\u0445 \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435\u043c \u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438. \u0421\u0443\u0449\u043d\u043e\u0441\u0442\u0438 \u0438\u0437 &#171;\u041d\u0430\u0443\u043a\u0438 \u043b\u043e\u0433\u0438\u043a\u0438&#187; \u0432\u044b\u0434\u0435\u043b\u0435\u043d\u044b \u043a\u0443\u0440\u0441\u0438\u0432\u043e\u043c \u0447\u0442\u043e\u0431\u044b \u043d\u0435 \u0431\u044b\u043b\u043e \u043f\u0443\u0442\u0430\u043d\u0438\u0446\u044b \u0441 \u043e\u0431\u0449\u0435\u043f\u0440\u0438\u043d\u044f\u0442\u044b\u043c\u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f\u043c\u0438 \u044d\u0442\u0438\u0445 \u0441\u043b\u043e\u0432. \u0427\u0438\u0441\u0442\u043e\u0435 \u0431\u044b\u0442\u0438\u0435 \u0415\u0441\u043b\u0438 \u0412\u044b \u043e\u0442\u043a\u0440\u043e\u0435\u0442\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0447\u0438\u0441\u0442\u043e\u0435 \u0431\u044b\u0442\u0438\u0435 \u0432 \u043a\u043d\u0438\u0433\u0435, \u0442\u043e \u0443\u0432\u0438\u0434\u0438\u0442\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0443\u044e \u0441\u0442\u0440\u043e\u0447\u043a\u0443 &#171;\u0431\u0435\u0437 [&hellip;]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":23951,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-32111","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t<!-- All in One SEO 5.0.4 - aioseo.com -->\n\t<meta name=\"description\" content=\"\u0414\u0430\u043d\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u043e\u0441\u0432\u044f\u0449\u0435\u043d\u0430 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u043c\u0443 \u0430\u043d\u0430\u043b\u0438\u0437\u0443.\" \/>\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<meta name=\"author\" content=\"Yuri Gagarin\"\/>\n\t<link rel=\"canonical\" href=\"https:\/\/prohoster.info\/sv\/blog\/news\/nauka-logiki-v-programmirovanii\" \/>\n\t\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.4\" \/>\n\t\t<meta property=\"og:locale\" content=\"sv_SE\" \/>\n\t\t<meta property=\"og:site_name\" content=\"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b\" \/>\n\t\t<meta property=\"og:type\" content=\"article\" \/>\n\t\t<meta property=\"og:title\" content=\"\ud83e\udd47\u041d\u0430\u0443\u043a\u0430 \u043b\u043e\u0433\u0438\u043a\u0438 \u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438 | ProHoster\" \/>\n\t\t<meta property=\"og:description\" content=\"\u0414\u0430\u043d\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u043e\u0441\u0432\u044f\u0449\u0435\u043d\u0430 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u043c\u0443 \u0430\u043d\u0430\u043b\u0438\u0437\u0443.\" \/>\n\t\t<meta property=\"og:url\" content=\"https:\/\/prohoster.info\/sv\/blog\/news\/nauka-logiki-v-programmirovanii\" \/>\n\t\t<meta property=\"og:image\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:secure_url\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:width\" content=\"350\" \/>\n\t\t<meta property=\"og:image:height\" content=\"350\" \/>\n\t\t<meta property=\"article:published_time\" content=\"2019-10-31T18:45:14+00:00\" \/>\n\t\t<meta property=\"article:modified_time\" content=\"2019-10-31T18:45:14+00:00\" \/>\n\t\t<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<meta property=\"article:author\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"\ud83e\udd47Logikens vetenskap inom programmering | ProHoster","description":"Denna artikel \u00e4gnas \u00e5t en j\u00e4mf\u00f6rande analys.","canonical_url":"https:\/\/prohoster.info\/sv\/blog\/news\/nauka-logiki-v-programmirovanii","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"sv_SE","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u041d\u0430\u0443\u043a\u0430 \u043b\u043e\u0433\u0438\u043a\u0438 \u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438 | ProHoster","og:description":"\u0414\u0430\u043d\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u043e\u0441\u0432\u044f\u0449\u0435\u043d\u0430 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u043c\u0443 \u0430\u043d\u0430\u043b\u0438\u0437\u0443.","og:url":"https:\/\/prohoster.info\/sv\/blog\/news\/nauka-logiki-v-programmirovanii","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2019-10-31T18:45:14+00:00","article:modified_time":"2019-10-31T18:45:14+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"32111","title":null,"description":null,"keywords":null,"keyphrases":null,"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":null,"og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"","isEnabled":true},"graphs":[]},"schema_type":null,"schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":null,"robots_max_videopreview":null,"robots_max_imagepreview":"large","priority":null,"frequency":null,"local_seo":null,"seo_analyzer_scan_date":"2026-01-21 09:19:48","breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2021-03-01 03:04:40","updated":"2026-01-21 09:19:48","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/posts\/32111","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/comments?post=32111"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/posts\/32111\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/media\/23951"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/media?parent=32111"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/categories?post=32111"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/tags?post=32111"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}