Mga palatandaan sa computer science at ang kanilang mga kahulugan. Ang kahulugan ng salitang "computer science"

Ito ay ginagamit upang makalkula ang mga lohikal na operasyon. Isaalang-alang natin sa ibaba ang lahat ng pinaka-elementarya na lohikal na operasyon sa computer science. Pagkatapos ng lahat, kung iisipin mo, sila ang ginagamit upang lumikha ng lohika ng mga computer at device.

Negasyon

Bago tayo magsimulang isaalang-alang ang mga partikular na halimbawa nang detalyado, inilista natin ang mga pangunahing lohikal na operasyon sa computer science:

• negasyon;
• karagdagan;
• pagpaparami;
• sumusunod;
• pagkakapantay-pantay.

Gayundin, bago simulan ang pag-aaral ng mga lohikal na operasyon, nararapat na sabihin na sa computer science, ang isang kasinungalingan ay tinutukoy ng "0", at ang katotohanan ng "1".

Para sa bawat aksyon, tulad ng sa ordinaryong matematika, ang mga sumusunod na palatandaan ng lohikal na operasyon sa computer science ay ginagamit: ¬, v, &, ->.

Ang bawat aksyon ay maaaring ilarawan alinman sa pamamagitan ng mga numero 1/0, o sa pamamagitan lamang ng mga lohikal na expression. Simulan natin ang pagsasaalang-alang ng mathematical logic sa pinakasimpleng operasyon na gumagamit lamang ng isang variable.

Ang lohikal na negation ay isang inversion operation. Ang ideya ay kung totoo ang orihinal na expression, mali ang resulta ng inversion. At kabaliktaran, kung mali ang orihinal na expression, ang resulta ng pagbabaligtad ay magiging totoo.

Kapag isinusulat ang ekspresyong ito, ginagamit ang sumusunod na notasyon: "¬A".

Ipakita natin ang talahanayan ng katotohanan - isang diagram na nagpapakita ng lahat ng posibleng resulta ng isang operasyon para sa anumang paunang data.

Iyon ay, kung ang aming orihinal na expression ay totoo (1), kung gayon ang negasyon nito ay magiging mali (0). At kung ang orihinal na expression ay mali (0), kung gayon ang negasyon nito ay totoo (1).

Dagdag

Ang natitirang mga operasyon ay nangangailangan ng dalawang variable. Ipahiwatig natin ang isang expression -

A, pangalawa - B. Ang mga lohikal na operasyon sa computer science, na nagsasaad ng aksyon ng karagdagan (o disjunction), kapag nakasulat, ay tinutukoy ng salitang "o" o ng simbolo na "v". Isulat natin ito posibleng mga opsyon data at mga resulta ng pagkalkula.

1. E=1, H=1, pagkatapos ay E v H = 1. Kung pareho ang kanilang disjunction ay totoo rin.
2. E = 0, H = 1, bilang isang resulta E v H = 1. E = 1, H = 0, pagkatapos ay E v H = 1. Kung ang kahit isa sa mga expression ay totoo, ang resulta ng kanilang karagdagan ay magiging totoo.
3. E=0, H=0, resulta E v H = 0. Kung mali ang parehong expression, mali rin ang kabuuan ng mga ito.

Para sa maikli, gumawa tayo ng talahanayan ng katotohanan.

Pagpaparami

Ang pagkakaroon ng pakikitungo sa pagpapatakbo ng karagdagan, nagpapatuloy tayo sa pagpaparami (conjunction). Gamitin natin ang parehong notasyon na ibinigay sa itaas para sa karagdagan. Kapag nagsusulat, ang lohikal na pagpaparami ay ipinapahiwatig ng simbolo na "&" o ang titik na "I".

1. E=1, H=1, then E & H = 1. Kung pareho ang kanilang conjunction ay totoo.
2. Kung hindi bababa sa isa sa mga expression ay mali, kung gayon ang resulta ng lohikal na pagpaparami ay magiging mali din.

• E=1, H=0, kaya E & H = 0.
• E=0, H=1, pagkatapos ay E & H = 0.
• E=0, H=0, kabuuang E & H = 0.

Bunga

Ang lohikal na operasyon ng implikasyon (implikasyon) ay isa sa pinakasimpleng lohika ng matematika. Ito ay batay sa isang solong axiom - ang isang kasinungalingan ay hindi maaaring sundin mula sa katotohanan.

1. E = 1, H =, so E -> H = 1. Kung ang mag-asawa ay in love, then they can kiss - true.
2. E = 0, H = 1, pagkatapos ay E -> H = 1. Kung ang mag-asawa ay hindi nagmamahalan, kung gayon maaari silang maghalikan - maaari ring totoo.
3. E = 0, H = 0, mula dito E -> H = 1. Kung ang mag-asawa ay hindi nagmamahalan, hindi sila naghahalikan - totoo rin ito.
4. E = 1, H = 0, ang magiging resulta ay E -> H = 0. Kung ang mag-asawa ay nagmamahalan, hindi sila naghahalikan - isang kasinungalingan.

Upang gawing mas madali ang pagsasagawa ng mga pagpapatakbo ng matematika, nagpapakita rin kami ng talahanayan ng katotohanan.

Pagkakapantay-pantay

Ang huling operasyong isasaalang-alang ay ang pagkakapantay-pantay ng lohikal na pagkakakilanlan o equivalence. Sa teksto maaari itong italaga bilang "...kung at kung...". Batay sa pormulasyon na ito, magsusulat kami ng mga halimbawa para sa lahat ng orihinal na opsyon.

1. A=1, B=1, pagkatapos ay A≡B = 1. Ang isang tao ay umiinom ng mga tabletas kung at kung siya ay may sakit lamang. (totoo)
2. A = 0, B = 0, bilang resulta A≡B = 1. Ang isang tao ay hindi umiinom ng mga tabletas kung at kung siya lamang ay walang sakit. (totoo)
3. A = 1, B = 0, samakatuwid A≡B = 0. Ang isang tao ay umiinom ng mga tabletas kung at kung siya ay walang sakit lamang. (sinungaling)
4. A = 0, B = 1, pagkatapos ay A≡B = 0. Ang isang tao ay hindi umiinom ng mga tabletas kung at kung siya ay may sakit lamang. (sinungaling)

Ari-arian

Kaya, na isinasaalang-alang ang pinakasimpleng mga sa agham ng computer, maaari nating simulan ang pag-aaral ng ilan sa kanilang mga katangian. Tulad ng sa matematika, ang mga lohikal na operasyon ay may sariling pagkakasunud-sunod sa pagproseso. Sa malalaking Boolean expression, ang mga pagpapatakbo sa panaklong ay unang ginagawa. Pagkatapos nila, ang unang bagay na ginagawa namin ay bilangin ang lahat ng mga halaga ng negation sa halimbawa. Ang susunod na hakbang ay upang kalkulahin ang conjunction at pagkatapos ay ang disjunction. Pagkatapos lamang nito ay ginagawa namin ang operasyon ng kinahinatnan at, sa wakas, pagkakapareho. Tingnan natin ang isang maliit na halimbawa para sa kalinawan.

A v B & ¬B -> B ≡ A

Ang pagkakasunud-sunod ng mga aksyon ay ang mga sumusunod.

1. V&(¬V)
2. A v(B&(¬B))
3. (A v(B&(¬B)))->B
4. ((A v(B&(¬B)))->B)≡A

Upang malutas ang halimbawang ito, kakailanganin nating bumuo ng pinahabang talahanayan ng katotohanan. Kapag nililikha ito, tandaan na mas mainam na ilagay ang mga column sa parehong pagkakasunud-sunod kung saan isasagawa ang mga aksyon.

Tulad ng nakikita natin, ang resulta ng paglutas ng halimbawa ay ang huling hanay. Nakatulong ang talahanayan ng katotohanan na malutas ang problema sa anumang posibleng data ng pag-input.

Konklusyon

Sinuri ng artikulong ito ang ilang konsepto ng mathematical logic, tulad ng computer science, mga katangian ng logical operations, at kung ano mismo ang logical operations. Ang ilang mga simpleng halimbawa ay ibinigay para sa paglutas ng mga problema sa matematikal na lohika at ang mga talahanayan ng katotohanan na kinakailangan upang gawing simple ang prosesong ito.

Ang lohika ay isang napaka sinaunang agham. Ito ay kilala kahit noong unang panahon pormal na lohika, na nagpapahintulot sa isa na gumawa ng mga konklusyon tungkol sa kawastuhan ng anumang paghatol hindi sa aktwal na nilalaman nito, ngunit sa pamamagitan lamang ng anyo ng pagbuo nito. Halimbawa, noong sinaunang panahon ito ay kilala batas ng pagbubukod ng ikatlo. Ang kanyang makabuluhang interpretasyon ay ang mga sumusunod: “Sa kanyang paggala, Plato ay sa Ehipto Oay hindi Plato sa Egypt." Sa form na ito, ito o anumang iba pang expression ay magiging tama (pagkatapos ay sinabi nila: totoo). Wala nang iba pa: Si Plato ay nasa Egypt o wala - walang pangatlong opsyon.
Isa pang batas ng lohika - batas ng pagkakapare-pareho. Kung sasabihin natin: “Sa kanyang paggala Plato ay sa Ehipto ATay hindi Plato sa Ehipto", kung gayon malinaw na ang anumang pahayag na may ganitong anyo ay palaging magiging mali. Kung ang dalawang magkasalungat na konklusyon ay sumusunod mula sa isang teorya, kung gayon ang naturang teorya ay tiyak na mali (mali) at dapat na tanggihan.
Isa pang batas na kilala noong sinaunang panahon - batas ng pagtanggi:"Kung HINDI totoo si Plato HINDI ay sa Egypt, ibig sabihin ay Plato ay sa Ehipto".
Ang pormal na lohika ay batay sa "mga pahayag". Ang "pahayag" ay isang pangunahing elemento ng lohika, na tinukoy bilang isang deklaratibong pangungusap na maaaring malinaw na sabihin na naglalaman ng totoo o maling pahayag.
Halimbawa: Ang mga dahon sa mga puno ay nahuhulog sa taglagas. Ang lupa ay hugis-parihaba.
Ang unang pahayag ay naglalaman ng totoong impormasyon, at ang pangalawa - mali. Ang mga pangungusap na patanong, pautos at padamdam ay hindi mga pahayag, dahil walang pinagtitibay o tinatanggihan sa mga ito.
Halimbawa ng mga pangungusap na hindi pahayag: Huwag uminom ng hilaw na tubig! Sino ba naman ang ayaw maging masaya?
Ang mga pahayag ay maaari ding maging tulad ng sumusunod: 2>1, H2 O+SO3 =H2 SO4. Gumagamit ito ng mga wika ng mga simbolo ng matematika at mga pormula ng kemikal.
Ang mga halimbawa sa itaas ng mga pahayag ay simple lang. Ngunit mula sa mga simpleng pahayag ay makukuha ng isa kumplikado, pagsasama-sama ng mga ito gamit ang mga lohikal na connective. Ang mga lohikal na pang-ugnay ay mga salita na nagpapahiwatig ng ilang lohikal na koneksyon sa pagitan ng mga pahayag. Ang mga pangunahing lohikal na pag-uugnay ay matagal nang ginagamit hindi lamang sa pang-agham na wika, kundi pati na rin sa pang-araw-araw na wika - ito ay "at", "o", "hindi", "kung... pagkatapos", "alinman... o" at iba pa kilala sa amin mula sa mga connective ng wikang Ruso. Sa tatlong batas ng pormal na lohika na aming sinuri, ang mga pang-uugnay na "at", "o", "hindi", "kung... pagkatapos" ay ginamit upang ikonekta ang mga simpleng pahayag sa mga kumplikado.
May mga pahayag pangkalahatan, pribado At walang asawa. Ang pangkalahatang pahayag ay nagsisimula sa mga salita: lahat, lahat, bawat, bawat, wala. Ang isang pribadong pahayag ay nagsisimula sa mga salitang: ilan, karamihan at iba pa. Sa lahat ng iba pang kaso ang pagbigkas ay isahan.
Ang pormal na lohika ay kilala sa medyebal na Europa, ito ay umunlad at pinayaman ng mga bagong batas at tuntunin, ngunit hanggang sa ika-19 na siglo ay nanatili itong generalisasyon ng mga tiyak na makabuluhang data at ang mga batas nito ay pinanatili ang anyo ng mga pahayag sa sinasalitang wika.

Noong 1847, binuo ng English mathematician na si George Boole, isang guro sa isang unibersidad sa probinsiya sa maliit na bayan ng Cork sa timog ng England. algebra ng lohika .
Napakasimple ng logic algebra dahil ang bawat variable ay maaari lamang kumuha ng dalawang value: true o false. Ang kahirapan sa pag-aaral ng algebra ng lohika ay nagmumula sa katotohanan na ang mga simbolo 0 at 1 ay ginagamit upang tukuyin ang mga variable, na sa pagsulat ay tumutugma sa karaniwang arithmetic one at zero. Ngunit ito ay isang panlabas na pagkakataon lamang, dahil mayroon silang ganap na magkakaibang kahulugan.
Ang lohikal na 1 ay nangangahulugan na ang ilang kaganapan ay totoo, sa kabaligtaran, ang lohikal na 0 ay nangangahulugan na ang pahayag ay hindi totoo, ibig sabihin. mali. Ang pahayag ay pinalitan ng isang lohikal na expression, na binuo mula sa mga lohikal na variable (A, B, X, ...) at mga lohikal na operasyon (connectives).
Sa algebra ng lohika, ang mga palatandaan ng mga operasyon ay nagpapahiwatig lamang ng tatlong lohikal na pag-uugnay O, AT, HINDI.
1.Lohikal O operasyon. Nakaugalian na tukuyin ang isang lohikal na pag-andar sa anyo ng isang talahanayan. Ang kaliwang bahagi ng talahanayang ito ay naglilista ng lahat ng posibleng halaga mga argumento ng function, ibig sabihin. dami ng input, at ang katumbas ay ipinahiwatig sa kanan halaga ng lohikal na function. Para sa elementarya function na ito ay lumiliko talahanayan ng katotohanan ng lohikal na operasyong ito. Para sa operasyon O Ang talahanayan ng katotohanan ay ganito ang hitsura:

Operasyon O tinatawag din lohikal na karagdagan , at samakatuwid ay maaari itong tukuyin ng “+” sign.
Isaalang-alang ang isang kumplikadong pahayag: "Sa tag-araw ay pupunta ako sa nayon o sa isang paglalakbay sa turista." Ipahiwatig natin sa pamamagitan ng A isang simpleng pahayag "Sa tag-araw ay pupunta ako sa nayon," at pagkatapos SA- isang simpleng pahayag "Sa tag-araw ay pupunta ako sa isang paglalakbay sa turista." Pagkatapos ang lohikal na pagpapahayag ng isang kumplikadong pahayag ay may anyo A+B, at ito ay magiging mali lamang kung wala sa mga simpleng pahayag ang totoo.
2.Lohikal AT operasyon. Ang talahanayan ng katotohanan para sa pagpapaandar na ito ay:

Mula sa talahanayan ng katotohanan ay sumusunod na ang operasyon AT- Ito lohikal na pagpaparami , na hindi naiiba sa tradisyonal na kilalang multiplikasyon sa ordinaryong algebra. Operasyon AT maaaring ipahiwatig ng isang tanda sa iba't ibang paraan:

Sa pormal na lohika, ang mga pagpapatakbo ng lohikal na pagpaparami ay tumutugma sa mga connective at, at, ngunit, bagaman.
3. Lohikal na operasyon HINDI. Ang operasyong ito ay tiyak sa algebra ng lohika at walang analogue sa ordinaryong algebra. Ito ay ipinahiwatig ng isang linya sa itaas ng halaga ng variable, o isang prefix bago ang halaga ng variable:

Sa parehong mga kaso ito ay basahin ang parehong "Hindi A". Ang talahanayan ng katotohanan para sa pagpapaandar na ito ay:

Operasyon sa computing HINDI tinawag negasyon o pagbabaligtad , operasyon O - disjunction , operasyon AT - pang-ugnay . Kit mga lohikal na pag-andar Ang “AT”, “O”, “HINDI” ay isang functional na kumpletong hanay o batayan ng algebra ng lohika. Gamit ito, maaari mong ipahayag ang anumang iba pang mga lohikal na pag-andar, halimbawa, ang mga pagpapatakbo ng "mahigpit na disjunction", "implikasyon" at "katumbas", atbp. Isaalang-alang natin ang ilan sa mga ito.
Lohikal na operasyon "mahigpit na disjunction". Ang lohikal na operasyong ito ay tumutugma sa lohikal na nag-uugnay na "alinman ... o". Ang talahanayan ng katotohanan para sa pagpapaandar na ito ay:

Ang operasyon na "mahigpit na disjunction" ay ipinahayag sa pamamagitan ng mga lohikal na function na "AT", "O", "HINDI" ng alinman sa dalawang lohikal na mga formula:

at kung hindi man ay tinatawag na operasyon ng disparity o "addition modulo 2", dahil kapag nagdagdag ng kahit na bilang ng mga yunit, ang resulta ay magiging "0", at kapag nagdagdag ng kakaibang bilang ng mga yunit, ang resulta ay magiging katumbas ng "1" .
Lohikal na operasyon "implikasyon". Pagpapahayag na nagsisimula sa mga salita kung, kailan, kung sa lalong madaling panahon at patuloy na mga salita kaya pagkatapos, ay tinatawag na conditional statement o ang operasyong "implication". Ang talahanayan ng katotohanan para sa pagpapaandar na ito ay:

Ang operasyon na "implikasyon" ay maaaring ipahayag sa iba't ibang paraan:

Ang mga ekspresyong ito ay katumbas at pareho ang binasa: "Y ay katumbas ng implikasyon ng A at B." Ang operasyon na "implikasyon" ay ipinahayag sa pamamagitan ng mga lohikal na function na "O", "HINDI" sa anyo ng isang lohikal na formula

Lohikal na operasyon "katumbas" (katumbas). Ang lohikal na operasyong ito ay tumutugma sa mga lohikal na connective na "kung at kung lamang", "kung at kung lamang". Ang talahanayan ng katotohanan para sa pagpapaandar na ito ay:

Ang operasyon na "katumbas" ay itinalaga sa iba't ibang paraan. Mga ekspresyon

pareho ang ibig sabihin, at masasabi natin na ang A ay katumbas ng B kung at kung sila ay katumbas lamang. Ang lohikal na operasyon na "katumbas" ay ipinahayag sa pamamagitan ng mga lohikal na function na "AT", "O", "HINDI" sa anyo ng isang lohikal na formula

Sa tulong ng logical algebra, maaari mong isulat nang maikli ang mga batas ng pormal na lohika at bigyan sila ng mathematically rigorous na patunay.

Sa logic algebra, tulad ng elementary algebra, commutative (batas ng commutativity), nag-uugnay(batas ng pagkakaisa) at distributive(batas ng distributivity) mga batas, pati na rin ang axiom kawalan ng lakas(kakulangan ng mga degree at coefficient) atbp., sa mga talaan kung saan ginagamit ang mga lohikal na variable na kumukuha lamang ng dalawang halaga - lohikal na zero at lohikal na isa. Ang aplikasyon ng mga batas na ito ay ginagawang posible na gawing simple ang mga lohikal na pag-andar, i.e. maghanap ng mga expression para sa kanila na may pinakasimpleng anyo. Ang mga pangunahing axiom at batas ng lohikal na algebra ay ibinibigay sa talahanayan:

Susuriin ng artikulong ito ang kasaysayan ng computer science bilang isang agham; mauunawaan din natin kung ano ang ginagawa nito at ang mga pangunahing direksyon nito.

Digital Age

Ang modernong mundo ay napakahirap isipin nang walang impormasyon at mga digital na teknolohiya. Lahat ng mga ito ay ginagawang mas madali ang buhay; salamat sa kanila, ang sangkatauhan ay nakagawa ng maraming makabuluhang tagumpay sa agham at industriya. Isaalang-alang natin nang mas detalyado ang mga disiplina ng computer science at ang kasaysayan ng pagbuo nito bilang isang agham.

Kahulugan

Ang agham ng kompyuter ay isang agham na nag-aaral ng mga pamamaraan ng pagkolekta, pagproseso, pag-iimbak, pagpapadala at pagsusuri ng impormasyon gamit ang iba't ibang teknolohiya sa kompyuter at digital, gayundin ang pag-aaral ng mga posibilidad ng kanilang aplikasyon.

Kabilang dito ang mga disiplina na nauugnay sa pagproseso at pagkalkula ng impormasyon gamit ang iba't ibang uri ng mga computer at network. Bukod dito, ang parehong mga abstract, tulad ng pagsusuri ng mga algorithm, at mga kongkreto, halimbawa, ang pagbuo ng mga bagong pamamaraan ng compression ng data, mga protocol ng pagpapalitan ng impormasyon at mga wika ng programming.

Gaya ng nakikita mo, ang computer science ay isang agham na nakikilala sa lawak ng mga paksa at direksyon ng pananaliksik. Bilang halimbawa, maaari nating banggitin ang mga sumusunod na tanong at gawain: kung ano ang totoo at kung ano ang imposibleng ipatupad sa mga programa (artificial intelligence, self-learning computer, atbp.), kung paano lutasin ang iba't ibang uri ng mga partikular na problema sa impormasyon nang mahusay hangga't maaari. (ang tinatawag na teorya ng computational complexity), sa kung ano ang anyo kung saan ang impormasyon ay dapat i-save at ibalik, kung paano dapat makipag-ugnayan ang mga tao sa mga programa nang pinakamabisa (mga isyu ng user interface, mga bagong programming language, atbp.).

Ngayon ay maikli nating isasaalang-alang ang pag-unlad ng agham ng computer bilang isang agham, simula sa mga pinagmulan nito.

Kwento

Ang computer science ay isang batang agham na unti-unting umusbong at tumanggap ng pinakamalakas na pag-unlad nito sa ikalawang kalahati ng ika-20 siglo. Napakahalaga nito sa ating panahon, kung kailan halos ang buong mundo ay nakadepende sa kompyuter at iba pang teknolohiya sa pag-compute.

Nagsimula ang lahat noong kalagitnaan ng ika-19 na siglo, nang ang iba't ibang siyentipiko ay lumikha ng mga mekanikal na calculator at "analytical engine." Noong 1834, sinimulan ni Charles Babbage na bumuo ng isang programmable calculator, at, sa pamamagitan ng paraan, siya ang kasunod na bumalangkas ng marami sa mga pangunahing tampok at prinsipyo ng modernong computer. Siya rin ang nagmungkahi ng paggamit ng mga punched card, na noon ay ginagamit hanggang sa katapusan ng 80s ng ika-20 siglo.

Noong 1843, lumikha si Ada Lovelace ng isang algorithm upang kalkulahin ang mga numero ng Bernoulli, at ito ay itinuturing na unang computer program sa kasaysayan.

Noong bandang 1885, gumawa si Herman Hollerith ng tabulator, isang device para sa pagbabasa ng data mula sa mga punched card. At noong 1937, halos isang daang taon pagkatapos ng mga ideya at pangarap ni Babbage, nilikha ng IBM ang unang programmable calculator.

Noong unang bahagi ng 1950s, naging malinaw sa lahat na ang computer ay maaaring gamitin sa iba't ibang larangan ng agham at industriya, at hindi lamang bilang isang kasangkapan para sa mga kalkulasyon ng matematika. At ang computer science na iyon, na umuusbong pa lang noon, ay ang agham na may hawak ng hinaharap. At ilang sandali ay natanggap nito ang katayuan ng opisyal na agham.

Ngayon tingnan natin sandali ang istraktura nito.

Istraktura ng computer science

Ang istraktura ng computer science ay multifaceted. Bilang isang disiplina, saklaw nito ang malawak na hanay ng mga paksa. Simula sa teoretikal na pananaliksik ng iba't ibang uri ng mga algorithm at nagtatapos sa praktikal na pagpapatupad ng mga indibidwal na programa o ang paglikha ng computing at mga digital na aparato.

Ang computer science ay ang agham na nag-aaral...

Sa ngayon, mayroong ilang mga pangunahing direksyon, na, naman, ay nahahati sa maraming sangay. Tingnan natin ang mga pinakapangunahing:

1. Teoretikal na agham sa kompyuter. Kasama sa kanyang mga gawain ang pag-aaral ng parehong klasikal na teorya ng mga algorithm at ilang mahahalagang paksa na nauugnay sa mas abstract na mga aspeto ng mga kalkulasyon sa matematika.
2. InilapatInformatics. Ito ay isang agham, o sa halip, isa sa mga seksyon nito, na naglalayong tukuyin ang ilang mga konsepto sa larangan ng computer science na maaaring magamit bilang mga pamamaraan para sa paglutas ng ilang karaniwang mga problema, halimbawa, pagbuo ng mga algorithm, pag-iimbak at pamamahala ng impormasyon gamit ang data. mga istruktura. Bilang karagdagan, ginagamit ang inilapat na agham sa computer sa isang bilang ng mga pang-industriya, pang-araw-araw o pang-agham na larangan: bioinformatics, electronic linguistics at iba pa.
3. Natural na computer science. Ito ay isang direksyon na pinag-aaralan ang mga proseso ng iba't ibang pagproseso ng impormasyon sa kalikasan, maging utak ng tao o lipunan ng tao. Ang mga pundasyon nito ay itinayo sa mga klasikal na teorya ng ebolusyon, morphogenesis at iba pa. Bilang karagdagan sa kanila, ginagamit ang mga pang-agham na lugar tulad ng pananaliksik sa DNA, aktibidad ng utak, teorya ng pag-uugali ng grupo, atbp.

Tulad ng makikita mo, ang agham ng computer ay isang agham na nag-aaral ng ilang napakahalagang teoretikal na isyu, halimbawa, ang paglikha ng artificial intelligence o ang pagbuo ng mga solusyon para sa ilang problema sa matematika.

Ang simbolo ay isang kumbensyonal na tanda na naghahayag ng kahulugan ng isang konsepto, ideya, kababalaghan o pangyayari. Ang pinagmulan ng mga simbolo ay nauugnay sa Sinaunang Greece, kung saan ang mga simbolo ay unang ginamit upang tukuyin ang mga lihim na bagay na naiintindihan lamang ng isang grupo ng mga partikular na indibidwal. Ang isang kapansin-pansing halimbawa ay ang krus, na kumakatawan sa Kristiyanismo. Itinalaga ng mga Muslim ang kanilang pananampalataya na may simbolo ng crescent moon. Maya-maya, nagsimulang gumamit ng mga simbolo upang makilala ang paggawa ng isang may-ari mula sa paggawa ng isa pa. Ano ang simbolo ng modernong tao? Para sa amin, ang simbolo ng hustisya ay ang mga kaliskis, at ang simbolo ng kapangyarihan ay ang estado, ang simbolo ng kapatiran ay ang pagkakamay, at ang simbolo ng diyos ng mga dagat, Neptune, ay ang trident.

Ang isang simbolo ay kadalasang nalilito sa isang senyales, ngunit ang mga pagkakaiba sa pagitan ng isang simbolo at isang tanda ay napaka makabuluhan. Kung isasaalang-alang natin kung ano ang isang simbolo at isang tanda, dapat tandaan na ang isang simbolo ay nagpapakilala sa isang tiyak na kababalaghan, at isang palatandaan ay isang natatanging katangian ng isang bagay. Halimbawa, ang isang trademark ay nagpapahiwatig na ang isang partikular na produkto ay ginawa ng isang partikular na tatak o tatak.

Mga simbolo sa panitikan

Sa tula, gumamit ang mga makata ng maraming simbolikong larawan. Halimbawa, sa mga tula ni Yesenin, ang salitang "window" ay madalas na binabanggit, na isang simbolo ng imahe. Sa ilang mga tula, ang bintana ay naghihiwalay sa panlabas at panloob na mundo ng makata, at sa ilang mga ito ay gumaganap bilang isang simbolikong imahe na naghihiwalay sa dalawang panahon ng buhay ng makata - ang kanyang pagkabata at kabataan sa mga huling taon ng kanyang buhay. Mga katulad na halimbawa sa mga gawa ng mga makata at mga manunulat ng tuluyan ay marami ang mahahanap, sinasagot ang tanong na may kaugnayan sa kung ano ang isang simbolo ng imahe. Bukod dito, ang bawat may-akda ay may sariling simbolo ng imahe, na hindi niya ginagamit sa isang gawa, ngunit hindi bababa sa ilang.

Sa pagpasok ng ika-19 at ika-20 siglo, isang kilusan na tinatawag na "Simbolismo" ang umusbong sa panitikan. Ngunit sa katunayan, ang mga simbolong pampanitikan ay ginamit nang mas maaga. Para sa bawat isa sa atin, ang karakter ng Lobo mula sa fairy tale na "Little Red Riding Hood" ay sinasagisag ng kasamaan, at ang mga pangunahing tauhan ng mga epiko - Dobrynya Nikitich o Ilya Muromets - sumisimbolo ng lakas. Ang lahat ng mga simbolong pampanitikan ay naglalaman ng isang makasagisag na kahulugan, samakatuwid, kinakailangan na makilala sa pagitan ng kung ano ang isang simbolo sa panitikan at kung ano ang isang metapora. Ang simbolo ay mas kumplikado sa istraktura at kahulugan nito. Ang metapora ay isang direktang inilarawan na paghahalintulad ng isang kababalaghan o bagay sa isa pa. Ang mambabasa ay hindi palaging ganap na maihayag ang imahe-simbulo, dahil ang may-akda ay naglalaman ng kanyang pananaw sa isang bagay o kababalaghan.

Mga simbolo sa computer science at matematika

Sa computer science, karamihan sa mga aksyon ay kinakatawan ng mga simbolo. Ano ang simbolo sa computer science? Ang wikang Pascal, na kilala sa parehong mga gumagamit ng computer at programmer, ay makakatulong sa pagsagot sa tanong na ito. Ang wikang Pascal ay binubuo ng mga pangunahing at pantulong na simbolo. Ang mga pangunahing karakter ay 26 Latin na malalaking titik at ang parehong bilang ng mga maliliit na titik. Bilang karagdagan, ang wikang Pascal ay gumagamit ng mga tiyak na simbolo at numero.

Kasama sa mga espesyal na character ang “_” - ang underscore at lahat ng operator sign (+ – x / = = := @), pati na rin ang mga delimiter at specifier (^ # $). Ang mga delimiter ay ang mga sumusunod na notasyon (. , " () (. .) ( ) (* *) ... :). Gumagamit ang wikang Pascal ng ilang espesyal na salita at puwang na hindi magagamit sa loob ng mga espesyal (nakareserba) na salita at double character Sa computer science Ang ilang mga graphic na simbolo ay ginagamit din, na kinakailangan para sa pagguhit ng mga block diagram.

Ang mga simbolo na ginagamit para sa matematika ay kilala sa amin mula sa paaralan. Kabilang dito ang mga arithmetic sign, Latin na letra at sign na nagsasaad ng "set", "infinity" at iba pa.

Mga simbolo ng estado

Kung hindi mo alam kung ano ang mga simbolo ng estado, dapat mong buksan ang Konstitusyon ng Russian Federation at maging pamilyar sa impormasyon tungkol sa watawat ng estado, anthem at coat of arm, na siyang pangunahing mga simbolo ng estado. Ang watawat ng Russia ay isang canvas ng tatlong guhit - puti, asul at pula. Ang bawat kulay ay simbolo ng isang bagay. Halimbawa, ang puting kulay ay nagpapahiwatig ng kapayapaan at kadalisayan, ang asul ay nagpapahiwatig ng pananampalataya at katapatan, ang pula ay nagpapahiwatig ng enerhiya at lakas.

Ang awit ay ginaganap sa lahat ng mga seremonyal na kaganapan ng pambansang kahalagahan, sa mga parada at mga pampublikong pista opisyal, at ang pagsasahimpapawid ng mga channel sa telebisyon ng estado sa mga pampublikong holiday ay nagsisimula sa awit. Ang Russian coat of arms ay isang imahe ng isang tatlong-ulo na agila. Ang eskudo ng armas ay kinikilala ang siglo-lumang kasaysayan ng Russia, dahil ang imahe nito ay bago, ngunit gumagamit ito ng mga tradisyonal na simbolo.

MGA KATANGIAN NG MGA LOHIKAL NA OPERASYON

1. Mga pagtatalaga

1.1. Notasyon para sa mga lohikal na connective (mga operasyon):

a) negasyon(pagbabaligtad, lohikal na HINDI) ay tinutukoy ng ¬ (halimbawa, ¬A);

b) pang-ugnay(lohikal na pagpaparami, lohikal na AT) ay tinutukoy ng /\
(halimbawa, A /\ B) o & (halimbawa, A & B);

c) disjunction(lohikal na karagdagan, lohikal O) ay tinutukoy ng \/
(halimbawa, A \/ B);

d) sumusunod(implikasyon) ay tinutukoy ng → (halimbawa, A → B);

e) pagkakakilanlan tinutukoy ng ≡ (halimbawa, A ≡ B). Ang ekspresyong A ≡ B ay totoo kung at kung ang mga halaga ng A at B ay magkapareho (alinman sa parehong totoo, o pareho silang mali);

f) ang simbolo 1 ay ginagamit upang tukuyin ang katotohanan (totoong pahayag); simbolo 0 – upang magpahiwatig ng kasinungalingan (maling pahayag).

1.2. Dalawang Boolean expression na naglalaman ng mga variable ay tinatawag katumbas (katumbas) kung ang mga halaga ng mga expression na ito ay nag-tutugma para sa anumang mga halaga ng mga variable. Kaya, ang mga expression na A → B at (¬A) \/ B ay katumbas, ngunit ang A /\ B at A \/ B ay hindi (iba ang kahulugan ng mga expression, halimbawa, kapag A = 1, B = 0 ).

1.3. Mga priyoridad ng lohikal na operasyon: inversion (negation), conjunction (logical multiplication), disjunction (logical addition), implication (following), identity. Kaya, ang ibig sabihin ng ¬A \/ B \/ C \/ D ay kapareho ng

((¬A) \/ B) \/ (C \/ D).

Posibleng isulat ang A \/ B \/ C sa halip na (A \/ B) \/ C. Ang parehong naaangkop sa conjunction: posibleng isulat ang A /\ B /\ C sa halip na (A /\ B ) /\ C.

2. Mga Katangian

Ang listahan sa ibaba ay HINDI nilayon upang maging kumpleto, ngunit sana ay sapat na kumakatawan.

2.1. Pangkalahatang pag-aari

1. Para sa isang set ng n may mga eksaktong lohikal na variable 2 n iba't ibang kahulugan. Talahanayan ng katotohanan para sa lohikal na pagpapahayag mula sa n naglalaman ng mga variable n+1 hanay at 2 n mga linya.

2.2.Disjunction

1. Kung ang hindi bababa sa isa sa mga subexpression kung saan inilapat ang disjunction ay totoo sa ilang hanay ng mga halaga ng mga variable, kung gayon ang buong disjunction ay totoo para sa hanay ng mga halaga na ito.
2. Kung ang lahat ng mga expression mula sa isang tiyak na listahan ay totoo sa isang tiyak na hanay ng mga variable na halaga, kung gayon ang disjunction ng mga expression na ito ay totoo din.
3. Kung ang lahat ng mga expression mula sa isang tiyak na listahan ay mali sa isang tiyak na hanay ng mga variable na halaga, kung gayon ang disjunction ng mga expression na ito ay mali din.
4. Ang kahulugan ng isang disjunction ay hindi nakasalalay sa pagkakasunud-sunod ng pagsulat ng mga subexpression kung saan ito inilapat.

2.3. Pang-ugnay

1. Kung hindi bababa sa isa sa mga subexpression kung saan inilapat ang conjunction ay mali sa ilang hanay ng mga variable na value, kung gayon ang buong conjunction ay false para sa hanay ng mga value na ito.
2. Kung ang lahat ng mga expression mula sa isang tiyak na listahan ay totoo sa isang tiyak na hanay ng mga variable na halaga, kung gayon ang pagsasama ng mga expression na ito ay totoo din.
3. Kung ang lahat ng mga expression mula sa isang tiyak na listahan ay mali sa isang tiyak na hanay ng mga variable na halaga, kung gayon ang pagsasama ng mga expression na ito ay mali din.
4. Ang kahulugan ng isang pang-ugnay ay hindi nakasalalay sa pagkakasunud-sunod ng pagsulat ng mga subexpression kung saan ito inilalapat.

2.4. Mga simpleng disjunctions at conjunctions

Tawagan natin (para sa kaginhawahan) ang conjunction simple lang, kung ang mga subexpression kung saan inilapat ang conjunction ay mga natatanging variable o ang kanilang mga negasyon. Katulad nito, ang disjunction ay tinatawag simple lang, kung ang mga subexpression kung saan inilapat ang disjunction ay mga natatanging variable o ang kanilang mga negasyon.

1. Ang isang simpleng conjunction ay sinusuri sa 1 (true) sa eksaktong isang hanay ng mga variable na halaga.
2. Ang isang simpleng disjunction ay nagsusuri sa 0 (false) sa eksaktong isang hanay ng mga variable na halaga.

2.5. Implikasyon

1. Implikasyon A →B ay katumbas ng disjunction (¬ A) \/ B. Ang disjunction na ito ay maaari ding isulat ng mga sumusunod: ¬ A\/B.
2. Implikasyon A →B kinukuha ang halagang 0 (false) lamang kung A=1 At B=0. Kung A=0, tapos ang implikasyon A →B totoo para sa anumang halaga B.