Azərbaycan
Deutschland
Lietuva
Malta
ශ්රී ලංකාව
Türkmenistan
Türkiyə
Украина
KompyuterDushunjeMatematiki logika umumy ýa da formal logika diýlip atlandyrylýan ylmyň bir bölegidir Umumy logika gadym
Matematiki logika barada düşünje
Dushunje
Matematiki logika umumy ýa-da formal logika diýlip atlandyrylýan ylmyň bir bölegidir. Umumy logika gadymy döwürde yüze çykyp, oýlanmagyň, pikirlenmegiň, dünýä akyl yetirmegiň kanunlaryny we görnüşlerini öwrenýän ylymdyr. Matematiki logikanyň aňyýetleri we usullary diňe bir informatika, matematika, fizika, biologiýa ýaly ylymlarda däl-de, eýsem, tehnikada, pedagogika, psihologiya, hukuk we dil ylymlarynda, ykdysadyýetde hem peýdalanylýar. Matematiki logikanyň esasy düşünjeleriniň biri pikir aýtma düşünjesidir. Ýa çyn, ýa-da ýalan bolan sözleme (tassyklama) pikir aýtma diýilýär. Meselem, “3 - ýönekeý san”, “Aşgabat –Garaşsyz, baky Bitarap Türkmenisitanyň paýtagty” pikir aýtmalardyr. Her bir pikir aýtma çyn ýa-da ýalan bahany alyp bilýär. Hiç bir pikir aýtma şol bir wagtda hem çуn, hem ýalan bolup bilmeýär. Käbir pikir aýtmalaryň çyndygy ýa-da ýalandygy häzirlikçe bize belli bolman bilýär. Emma oňa garamazdan, olary biz pikir aytma hasaplaýarys. Sebäbi barlag netijesinde tassyklamanyň çyndygyny ýa-da ýalandygyny anyklap bolýar.
Mysallar
a) 3=7 (ýalan pikir aýtma);(<)br /> b) Şu gün Magtymguly aýynyň 12-si (çyndygy ýa-da ýalandygy anyklanmaly pikir aýtma);
ýok ç) 13 - ýönekeý san (çyn pikir aýtma).
d) Ýel öwüsdi (haçan we nirede öwüsdi?)
e) Ýoluň ini 14 m. (haýsy ýol?)
Bellik
Her bir sözleme pikir aýtma diýip bolmaýar. Mysal üçin, sorag ýa-da ýüzlenme sözlemleri pikir aýtma däldir, sebäbi olaryň çyndygy ýa-da ýalandygy barada kesgitli bir pikir aýdyp bolmaýar. Meselem, “Sen haýsy klasda okaýarsyň?”, “Ýaşasyn parahatçylyk!” diýen sözlemler pikir aýtmalar bolup bilmeýärler.
Çyndygy ýa-da ýalandygy barada goşmaça maglumat talap edýän sözlemlere hem pikir aýtma diýip bolmaýar. Matematiki logikada “pikir aýtmanyň çynlyk bahasy” diýen düşünje girizilýär. Pikir аýtmanyň çynlyk bahasy “çyn” we “ýalan” sözler bilen ýa-da “1” we “0” sifrler bilen bellenilýär.
Awtor: www.NiNa.Az
Neşir edilen senesi:
wikipediýa, wiki, kitap, kitaplar, kitaphana, makala, oka, göçürip al, mugt, mugt göçürip al, mp3, wideo, mp4, 3gp, jpg, jpeg, gif, png, surat, aýdym-saz, aýdym, film, kitap, oýun, oýunlar, jübi telefony, android, ios, alma, jübi telefony, samsung, iphone, xiomi, xiaomi kompýuter, Matematiki logika barada düşünje hakda maglumat, Matematiki logika barada düşünje näme? Matematiki logika barada düşünje näme diýmek?
KompyuterDushunjeMatematiki logika umumy ya da formal logika diylip atlandyrylyan ylmyn bir bolegidir Umumy logika gadymy dowurde yuze cykyp oylanmagyn pikirlenmegin dunya akyl yetirmegin kanunlaryny we gornuslerini owrenyan ylymdyr Matematiki logikanyn anyyetleri we usullary dine bir informatika matematika fizika biologiya yaly ylymlarda dal de eysem tehnikada pedagogika psihologiya hukuk we dil ylymlarynda ykdysadyyetde hem peydalanylyar Matematiki logikanyn esasy dusunjelerinin biri pikir aytma dusunjesidir Ya cyn ya da yalan bolan sozleme tassyklama pikir aytma diyilyar Meselem 3 yonekey san Asgabat Garassyz baky Bitarap Turkmenisitanyn paytagty pikir aytmalardyr Her bir pikir aytma cyn ya da yalan bahany alyp bilyar Hic bir pikir aytma sol bir wagtda hem cun hem yalan bolup bilmeyar Kabir pikir aytmalaryn cyndygy ya da yalandygy hazirlikce bize belli bolman bilyar Emma ona garamazdan olary biz pikir aytma hasaplayarys Sebabi barlag netijesinde tassyklamanyn cyndygyny ya da yalandygyny anyklap bolyar Mysallara 3 7 yalan pikir aytma lt br gt b Su gun Magtymguly ayynyn 12 si cyndygy ya da yalandygy anyklanmaly pikir aytma yok c 13 yonekey san cyn pikir aytma d Yel owusdi hacan we nirede owusdi e Yolun ini 14 m haysy yol BellikHer bir sozleme pikir aytma diyip bolmayar Mysal ucin sorag ya da yuzlenme sozlemleri pikir aytma daldir sebabi olaryn cyndygy ya da yalandygy barada kesgitli bir pikir aydyp bolmayar Meselem Sen haysy klasda okayarsyn Yasasyn parahatcylyk diyen sozlemler pikir aytmalar bolup bilmeyarler Cyndygy ya da yalandygy barada gosmaca maglumat talap edyan sozlemlere hem pikir aytma diyip bolmayar Matematiki logikada pikir aytmanyn cynlyk bahasy diyen dusunje girizilyar Pikir aytmanyn cynlyk bahasy cyn we yalan sozler bilen ya da 1 we 0 sifrler bilen bellenilyar