Proqramlaşdırma mənası

Funksional istiqamət – proqram digər nisbətən sadə alqoritmləri və daha asan tapşırıqları əsas götürərək konkret funksiyanın hesablanmasını həyata keçirir. İstiqamət rekursiyaya əsaslanır. Bu, digər elementlərdə istifadə edərək funksiyaların hesablamasını nəzərdə tutur.

Proqramlaşdırmanın Mənşəyi.

Başlanğıcda kompüter kodu ilə proqramlaşdırma dili sahəsi arasında çox az fərq var idi. Hər iki halda proqramçı əmrləri yerinə yetirmək üçün yaddaş ayırmaq bacarıqlarına və maşınlar üçün ədədi kodlar haqqında biliyə malik olmalı idi. Mövcud vəziyyəti dəyişdirmək üçün mütəxəssislər elektron kompüterlər (kompüterlər) üçün proqramlaşdırma dillərini fəal şəkildə inkişaf etdirməyə başladılar.

Birincilərdən biri Assembler idi. O, birbaşa prosessorla işləyir, burada hər bir təlimat onun təlimatıdır. Assembler təlimatlarını daha ətraflı nəzərdən keçirsək, o zaman əməliyyatlardan və operandlardan ibarətdir.

Operandlar – prosessorun hesablamalar üçün məlumatları götürdüyü və nəticənin yerləşdiriləcəyi ünvanlardır. Ünvanlar registrlər və RAM hüceyrələridir.

Assembler-in gəlişi ilə bir insanın mnemonik adları bilməsi kifayət etdi – və bu, bütün ədədi əməliyyatları yadda saxlamaqdan daha asan oldu.

İlk yüksək səviyyəli proqramlaşdırma dili Fortran idi, 1954-1957-ci illərdə yaranmışdır. O, IBM Korporasiyasında Con Backusun rəhbərlik etdiyi bir qrup proqramçı tərəfindən yaradılmışdır. Fortran yazının asanlığı və daim yenilənən kitabxanalar sistemi səbəbindən bu gün də istifadə olunur. Əsas tətbiq sahəsi mühəndislik və elmi hesablamalar, fizika və riyaziyyatla əlaqəli digər elmlərdir.

Dar dillər.

Vaxt keçdi və kompüterdən istifadə sahələrinin sayı artmağa başladı, aşağıdakı dillər meydana çıxdı:

• Kobol – iqtisadi istiqamət üçün;
• Lisp – simvolların işlənməsi üçün, alqoritmlər əsasında işləyir. AI-nin (süni intellektin) formalaşmasında iştirak edir;
• Snoball – mətnlərlə əlaqəli alqoritmlərin işlənməsi üçün.

1968-ci ildə “Karyera yoluna başlamaq üçün ən yaxşı proqramlaşdırma dili” adı üçün müsabiqə keçirildi və bu mövzuda mütəxəssislərin daha da hazırlanması məqsədi ilə. Başlıq “Algol-68” dilinə verildi, lakin heç vaxt geniş yayılmadı.

Bu müsabiqədə digər namizədlər Pascal, Logo və BASIC idi. Paskal əlçatanlığı ilə xarakterizə olunur və məlumatı strukturlaşdırmaq üçün bir neçə aləti özündə birləşdirir. Hal-hazırda, istifadə olunmağa davam edir, əlavə olaraq, Paskal etibarlı şəkildə ən yaxşı və ən məşhur proqramlaşdırma dillərindən biri adlandırıla bilər.

Loqonun yaradıcısı Samuel Pipert idi, məqsədi uşaqlara məktəblərdə təhsil vermək idi. Onun üstünlükləri geniş imkanlar və istifadə rahatlığıdır.

Üçüncü namizəd, BASIC, birbaşa dialoq vasitəsilə kompüterlə asanlıqla əlaqə qurdu. Bu hələ də proqramlaşdırmanın əsas sahələrinin əksəriyyətini öyrənmək üçün ən asan proqramlaşdırma dili olaraq qalır.

C vaxtı.

1970-ci illərdə hamımızın bildiyi C dili doğuldu. Çox yönlülük onun əsas üstünlüyüdür. O, müxtəlif maşın təlimatları və yaddaşın müvafiq hissələri ilə işləmək qabiliyyətinə malikdir ki, bu da əvvəllər qeyd olunan Paskaldan üstündür.

C dili instrumental dil kimi yazmaq üçün istifadə olunur:

• yayım cihazları;
• əməliyyat platformaları;
• verilənlər bazası;
• digər sistem, tətbiq olunan tapşırıqlar.

C-nin xüsusi diqqət mərkəzi yoxdur, onun tətbiqi səmərəliliyi, daşınma asanlığı və resursların qənaətcil istehlakı sayəsində müxtəlif vəzifələr üçün mümkündür.

Proloq və Adanın görünüşü.

Funksional proqramlaşdırmanın tətbiqi Proloqun yaranmasına səbəb oldu. Onun məqsədi təhlil aparmaq və insan dilləri ilə qarşılıqlı əlaqə yaratmaqdır. Teorem və məsələlərin avtomatik həllində öz tətbiqini tapmışdır.

Ada proqramlaşdırma dili problemləri real vaxt rejimində həll etmək üçün artıq 1980-ci illərdə ortaya çıxdı. O, müstəqil qərarların modelləşdirilməsi kimi bir funksiyaya malikdir.

İş səviyyəsinə görə dillərin təsnifatı.

Anladığınız kimi, bu gün vahid proqramlaşdırma dilindən uzaqdır. Buna görə də, onlarla işi sadələşdirmək üçün bir neçə təsnifat formalaşdırıldı. Bu gün ən ümumi olanı – iş səviyyələrinə görə nəzərdən keçirməyi təklif edirəm.

1. Aşağı səviyyə. Əvvəla, bunlar maşın dilləri və ya simvolik kodlaşdırmadan istifadə edən dil növləridir – Assembler, Autocode. Bütün mövcud modellər maşından asılı olduğu üçün müəyyən tipli fərdi kompüterlər üçün nəzərdə tutulmuşdur.
2. Yüksək səviyyə. Buraya istifadə etmək daha rahat olan dillər daxildir, məsələn: C, Prolog, Pascol, BASIC, Fortran və başqaları. Onlar operand sisteminin imkanlarına əsaslanır, ona görə də onların maşınlardan çərçivə asılılığı yoxdur. Onların çatışmazlıqlarına yüksək resurs istehlakı və yavaş icra daxildir.
3. Super yüksək səviyyə. Bu səviyyəyə yalnız bir neçə dil aiddir: APL və Algol-68. Onların səviyyəsi ağır yük operatorlarının inkişafı ilə xarakterizə olunur.

Dillərin də aşağıdakılara bölünməsi var:

• simvolik – Lisp, Proloq, Snobol
• hesablama – Pascal, C, BASIC, Fortran, Algol

Proqramlaşdırma dillərinin inkişafı istiqamətləri.

Hazırda informatikanın inkişafı üçün 3 əsas sahə mövcuddur:

1. Prosessual istiqamət. Düzgün təxmin etdiyiniz kimi, bu, hesablama cihazlarının və kompüterlərin aktiv inkişafı dövründə meydana çıxdı. Bu istiqamətdə bir nəticə əldə etmək üçün müxtəlif ardıcıl manipulyasiyalardan ibarət bir prosedur həyata keçirilir.

Struktur və əməliyyat proqramlaşdırma dilləri var. Strukturda (Pascal, C, Ada) – inteqral funksiyaların, döngələrin, budaqların və s. yazmaq üçün bir operator var. Əməliyyat otaqlarına Fortran, BASIC, Focal daxildir – onlara bir neçə müxtəlif hərəkətlər tətbiq olunur.

2. Qeyri-prosessual yönləndirmə.

Bu istiqamət 1970-ci illərdən başlayır. Onun əsas vəzifəsi yüksək intellektli maşınlar yaratmaq üçün imkanlar yaratmaqdır.

Funksional və məntiqi istiqamətlər var:

Funksional istiqamət – proqram digər nisbətən sadə alqoritmləri və daha asan tapşırıqları əsas götürərək konkret funksiyanın hesablanmasını həyata keçirir. İstiqamət rekursiyaya əsaslanır. Bu, digər elementlərdə istifadə edərək funksiyaların hesablamasını nəzərdə tutur.

Məntiqi istiqamət – proqramın əsasını məna və verilənlərin nisbəti təşkil edir; yalnız hesablama başa çatdıqdan sonra suallara cavab almaq mümkün olur. Proqramda cavabı çıxarmaq üçün heç bir sıra və ya üsul yoxdur, o, dil tərəfindən açıq şəkildə təyin olunur.

3. Obyektiv yönümlü dillər. Onlar proqramlaşdırmanın yüksək səviyyəsinə aiddirlər, ona görə də tapşırığın nəticələrini əldə etmək üçün konkret ardıcıllığı təsvir etməyə ehtiyac yoxdur, baxmayaraq ki, prosessual istiqamətin bəzi elementləri hələ də mövcuddur. Əlçatan və zəngin interfeys sayəsində insanların bu cür dillərdən istifadə etməsi daha asandır. Məsələn, Object Pascal.

Skriptlərin yazılması üçün Perl, Python, Rexx, Tcl kimi məşhur dillərdən istifadə olunur. Onların istifadəsi ayrı-ayrı funksiyalar dəsti yaratmaq üçün müxtəlif dillərdən komponentləri birləşdirməkdir.

Hal-hazırda, İnternet inkişaf etdikcə və yayıldıqca, geniş istifadə olunan skript dilləridir. Skript üçün sevimlilər Perl, veb hissəsi üçün JavaScript-dir.

�� Məqaləni bəyəndinizsə rəy bildirin

Proqramlaşdırma mənası

Proqramlaşdırma, əhatə edən proqramlaşdırmanın fəaliyyətidir bir hədəfi yerinə yetirmək üçün bir sıra xronoloji hərəkətləri düzəldin, qurun və ya düzəldin. Proqramlaşdırma sosial hadisələrə, mediaya və kompüterlərin kompüter dünyasına tətbiq edilə bilər.

Kompüter elmində proqramlaşdırma istədiyiniz funksiyaları və prosesləri kompüter sisteminə yazdırmaq üçün kompüter dillərindən istifadə etməkdir. The kompüterin proqramlaşdırılması nə etməli olduğunuzu kompüterə izah etməyin yolu.

A proqramlaşdırma dili kompüter elmində, bir məlumatı və hərəkətləri kompüter vasitəsilə avtomatlaşdırmaq üçün bir vasitədir. Ən populyar proqramlaşdırma dilləri bunlardır: Basic (1964), C ++ (1983), Python (1991), Java (1995), C # (2000) və digərləri.

Proqramlaşdırma bir proqramın və ya proqramın hazırlanması mərhələlərindən biridir. Proqramlaşdırma bir proqramın düzgün işlədiyini və ya işləmədiyini yoxlayaraq onun quruluşunu və davranışını müəyyənləşdirir.

Proqramlaşdırma, problemin həlli üçün proqramın yerinə yetirməli olduğu addımlar və əməliyyatlar ardıcıllığı kimi təyin olunan alqoritmin spesifikasiyasını əhatə edir. Alqoritmin işləməsi üçün proqram uyğun və düzgün bir dildə həyata keçirilməlidir.

Alqoritmə də baxın.

Planlaşdırma ayrıca müəyyən bir gündə və ya saatda bir yerə toplanmış bir sıra tədbir, fəaliyyət və ya televiziya şousuna aiddir. Cədvəl ümumiyyətlə yazılı formatda və xronoloji olaraq tərtib edilmişdir.

Məsələn, bir tədbirin proqramlaşdırılmasında bu, müəyyən bir zamanda çıxış edəcək çıxışları və ya musiqi qruplarını, habelə müəyyən bir zamanda və gündə hansı verilişlərin efirdə olacağını bildirən bir televiziya proqramını əhatə edə bilər.

Kompüter elmlərinə də baxın.

Məntiqi proqramlaşdırma: xüsusiyyətləri və nümunələri

The məntiqi proqramlaşdırma faktların və qaydaların necə ifadə olunduğuna nəzarət etmək üçün sadəcə riyazi funksiyalardan daha çox məntiqi dövrələrdən istifadə edən bir proqramlaşdırma paradiqmasıdır.

Nə vaxt icra ediləcəyini və funksiya çağırışlarını və ya digər təlimatları necə qiymətləndirəcəyini diktə edən diqqətlə qurulmuş bir nəzarət axını əvəzinə, proqramın məntiqi qaydaları bəndlər və ya məntiqi predikatlar kimi yazılır.

Genetik və təkamül proqramlarında tez-tez istifadə olunan bu yanaşma, ümumiyyətlə bir modelə necə nail olmaqdan daha çox hansı hədəfə çatacağını izah edir.

Hər qayda icra oluna bilən riyazi funksiyadan daha çox rəsmiləşdirilmiş məntiqə sahib bir başlıq və bir bədən ehtiva edir. Məsələn, “Və doğrudur (başlıq): əgər C1, C2 və C3 doğrudursa (bədən).” Faktlar və ya nəticələr “Və doğrudur” kimi bir cisim olmadan ifadə edilir.

Bununla birlikdə, Prolog kimi bəzi proqramlaşdırma dillərində, modelə müəyyən problemləri necə həll edəcəyini izah etmək üçün məcburi proqramlaşdırma da daxil edilə bilər. Məsələn, “Y həll etmək üçün C1, C2 və C3 əlavə edin.”

Məntiqi proqramlaşdırmanın xüsusiyyətləri

Məntiq proqramlaşdırma digər mövcud proqramlaşdırma strategiyalarından xeyli dərəcədə fərqlidir. Proqramı olan bir kompüterə təlimat vermək əvəzinə obyektlər arasında əlaqələr qurulur. Bu şəkildə kompüter bu əlaqələrə səbəb ola bilər və bununla da məntiqi həllərə çatır.

Bir məntiq proqramı daxilində iki əsas kod dəsti var: faktlar və qaydalar. Qaydalar ətraf mühit haqqında məlumat əldə etmək üçün faktlara tətbiq olunur.

Həqiqət və məntiqi çıxılma

Məntiq proqramları iki vacib anlayış vasitəsilə deşifrə edilə bilər: həqiqət və məntiqi çıxılma. Proqramdakı hesablamanın doğru olub-olmadığı, proqram simvollarının tətbiqi altında həqiqət ortaya çıxır. Məntiqi çıxarma məntiqi bir bəndin proqramın nəticəsi olub olmadığını müəyyənləşdirir.

Bu təlimatlar həmişə məntiqi cümlələr və müddəalar kimi təfsir ediləcək, onların icrasının nəticəsi onun içindəki hesablamaların məntiqi nəticəsidir.

Birinci sifariş məntiqi

Bu təklif məntiqinin bir qoludur. Cisimlərin domen adlanan qismən dünya baxımından doğru və ya yalan olduğunu düşünün. Məntiq proqramlaşdırma birinci dərəcəli məntiqin ümumiləşdirilməsinə əsaslanır.

Bu məntiq sintaksis və semantikadan ibarətdir. Sintaksis anlayışları ifadə etmək üçün istifadə olunan rəsmi dildir. Digər tərəfdən, birinci dərəcəli məntiqi düsturların semantikası istənilən düsturun həqiqi dəyərinin necə müəyyənləşdiriləcəyini göstərir.

Bu məntiq bir əlifba və birinci dərəcəli bir dilə, eyni zamanda bir çox aksioma və nəticə qaydalarına əsaslanır.

Məqalə forması

Birinci dərəcəli məntiqin alt hissəsidir. Bir cümlənin universal bir prefiks və ya ümumdünya ölçicilər zənciri ilə müəyyənləşdirildiyi normallaşdırılmış bir forma və bənddə sərbəst bir ölçmə dəsti var.

Proqrama bir sorğu tələb edildikdə, başlığı üst-üstə düşə bilən bəndin əsas hissəsi nəzərdən keçiriləcəkdir. Bu məntiqdə bir nəticə çıxarmaq qaydasını tətbiq etməklə eynidir.

Çıxartmada bir addım olaraq, birinin tərkibində X (pozitiv hərfi), digəri isə ayrılan ¬X (mənfi hərfi) ehtiva edən mülk olaraq iki bənd seçilir. Bu alış-verişlər tamamlayıcı kimi tanınır.

Bu iki başlanğıc bəndindən tamamlayıcı maddələr xaricində bütün ədəbiyyatlardan istifadə edərək yeni bir qətiyyətli bənd qurulur.

Süni intellekt

Məntiqi proqramlaşdırma, kompüterlərin nəticələrini çıxarmaq üçün istifadə olunan bir metodikadır, çünki bilikləri təmsil etmək faydalıdır. Məntiq onu idarə etmək üçün bilik və nəticəni təmsil etmək üçün istifadə olunur.

Bilikləri təmsil etmək üçün istifadə olunan məntiq müddəa formasıdır. Birinci dərəcəli məntiq yaxşı başa düşüldüyünə və bütün hesablama problemlərini təmsil edə bildiyinə görə istifadə olunur.

Prolog, məntiqi proqramlaşdırma fikirlərinə söykənən bir proqramlaşdırma dilidir. Prologun fikri məntiqi bir proqramlaşdırma dili kimi göstərməkdir.

Məntiq proqramlaşdırma nümunələri

Nümunə 1

– Fakt: Rubí bir pişikdir.

– Qayda: bütün pişiklərin dişləri var.

– Konsultasiya: Rubinin dişləri varmı?

“Bütün pişiklərin dişləri var” qaydası Rubiyə tətbiq oluna bilər, çünki “Rubí bir pişikdir” deyən bir həqiqət var. Bu misal həqiqi bir proqramlaşdırma dili üçün heç bir sintaksislə yazılmamışdır.

Nümunə 2

Bu nümunə ən populyar məntiq proqramlaşdırma dillərindən biri olduğu üçün Proloqda yazılıb görülə bilər:

– son_of (doris, carlos).

– son_of (carlos, bobby).

– son_of (doris, alissa).

– ata (F, P): – kişi (F), oğul (P, F).

Bu proqramı oxumaq çətinləşir, çünki Proloq digər dillərdən fərqlənir. “Qadına (alissa)” bənzəyən hər hansı bir kod komponenti. bu bir həqiqətdir.

Bir qayda “ata_of (F, P): – kişi (F), uşaq_of (P, F)” dir. “: -” simvolu “əgər doğrudursa” şəklində oxunur. Böyük hərflər dəyişənlərin hər hansı bir obyektə tətbiq oluna biləcəyini bildirir, beləliklə F karlos, doris, alissa və ya bobbi üçün dayana bilər. Bu kodu belə tərcümə etmək olar:

– Bobbi bir insandır.

– Carlos bir insandır.

– Doris Carlosun qızıdır.

– Carlos Bobbinin oğludur.

– Doris Alissanın qızıdır.

– “F P-nin atasıdır”, F kişi olsa və P F-nin oğludursa doğrudur.

Sorğu

Daha çox məlumat üçün proqrama müraciət etmək istədiyinizi düşünək. Bobby’nin atasının kiminlə olduğunu soruşaraq axtara bilərsiniz 😕 – father_of (bobby, X). Sistem aşağıdakı cavabı göstərəcək: X = Carlos.

Bu vəziyyətdə, dəyərlərindən birinin dəyişən olduğu bir əlaqə ötürülür. Proloqun işi, bunlardan biri məntiqi olaraq möhkəm olana qədər bu əlaqəyə fərqli obyektlər tətbiq etmək idi.

Carlosun tək atası Bobby, Bobby isə kişidir. Bu, “ata_of (F, P): – erkək (F), son_of (P, F)” qaydasını qane etdi. X “karlos” a bərabər olduqda məntiq sağlamdır.

Digər sorğular

Sistemin birdən çox nəticə əldə etməsinə səbəb olan digər daha ümumi sorğular Prolog-a verilə bilər:

-? – parent_of (Valideyn, Uşaq).

Görüldüyü kimi, məntiqi proqramlaşdırma, alissa və ya bobinin onlar haqqında məlumat əldə edə bilmək üçün insanlar olduğu məlumatlarına sahib olmağı tələb etmir. Əslində şəxs adlı bir anlayışın olduğunu göstərmək lazım deyil.

Əksər məntiqi olmayan proqramlaşdırma dillərində insanlar haqqında məlumatları işləyən proqramlar yazmadan əvvəl bu anlayışları müəyyənləşdirməlisiniz.

İstinadlar

1. Dərin AI (2020). Məntiq Proqramlaşdırma. Derin.org.org saytından götürülmüşdür.
2. Vikipediya (2020). Proqramlaşdırma Dilləri Nəzəriyyəsi / Məntiq Proqramlaşdırma. En.wikiversity.org saytından götürülmüşdür.
3. London Imperial College (2006). Məntiq Proqramlaşdırma. Alınan: doc.ic.ac.uk.
4. Jia-Huai Sən (2020). Məntiq Proqramlaşdırmasına giriş. Alberta Universiteti. Buradan götürülmüşdür: eng.ucy.ac.cy.
5. C2 Wiki (2020). Məntiq Proqramlaşdırma. Alınan: wiki.c2.com.