Memoriam, Tony Hoare
Faallo
Mewayz Team
Editorial Team
In Memoriam: Sir Charles Antony Richard Hoare (Tony Hoare)
Dunida kombuyuutarada waxa ay lumisay mid ka mid ah dhismayaashii dhidibada u taagay. Sir Charles Antony Richard Hoare, oo dhammaan loo yaqaannay Tony Hoare, ayaa geeriyooday, isaga oo ka tegay dhaxal si dhab ah loogu dhex tolay qayb kasta oo software ah oo aan maanta isticmaalno. Kuweenna Mewayz ah, oo dhisaya nidaamka hawlgalka ganacsiga ee modular, shaqadiisu maaha kaliya taariikhda tacliinta; waa gogosha ugu saraysa ee la isku halayn karo oo qaabaynta nidaamka hufan. Gudbashadiisu waxay nagu martiqaadaysaa inaan dib u milicsano saamaynta qoto dheer ee wax ku biirintiisa, laga bilaabo macquulnimada xarrago leh ee algorithm-ka degdegga ah ilaa mabaadi'da aasaasiga ah ee saxda ah software-ka ee hagaya horumarka casriga ah.
Naqshadeeye xarrago: Quicksort iyo Tixraaca Null
Magaca Tony Hoare waxa uu la mid yahay laba wax ku biirin oo hal-abuur leh, haddana si cajiib ah u kala duwan. Sannadkii 1960-kii, waxa uu ikhtiraacay algorithm-ka degdegga ah, oo ah farshaxan-yaqaan hawlkarnimo oo weli ah mid ka mid ah hababka kala-soocidda ee aadka loo darso loona isticmaalo. Xarragodeedu waxa ay ku jirtaa habkeeda "qaybi oo guulaysata", fikradda si qoto dheer uga hadlaysa falsafada qaabaysan ee Mewayz. Waxaan dhisnaa madalkeena annagoo u kala jebinayna habab ganacsi oo adag oo la maarayn karo, qaybo la wada shaqayn karo, si la mid ah u kala soocida degdega ah ee dhibaatada u burburisa si hufan. Taa bedelkeeda, Hoare wuxuu sidoo kale caan ku ahaa fikradda tixraaca null 1965, kaas oo uu markii dambe ugu yeeray "qalad balaayiin dollar ah." Hal-abuurkan, oo loogu talagalay in lagu matalo maqnaanshaha qiyamka, si badheedh la'aan ah ayaa noqday isha koowaad ee khaladaadka runtime iyo cayayaanka tobannaan sano. Hase yeeshee, xitaa "khaladkan" wuxuu ahaa cashar ku saabsan is-hoosaysiinta iyo muhiimada naqshadaynta adag-cashar ku wargelinaya sida aan u dhisno nidaamyada adkeysiga ee Mewayz, halkaas oo qaababka xogta cad iyo maaraynta khaladku ay muhiim tahay.Aasaaska Saxda ah: Hoare Logic
Waxaa laga yaabaa in Hoare wax qabadkiisii ugu muhiimsanaa ay ahayd horumarinta Hoare Logic ee 1969. Nidaamkan rasmiga ahi waxa uu bixiyaa qaab xisaabeed si loo caddeeyo saxsanaanta barnaamijyada kombiyuutarka. Waxa ay isticmaashaa saddex laab oo ah qaabka `{P} C {Q}`, halka `P` ay tahay shuruudo, `C` waa amar, `Q`na ay tahay xaalad dib u dhac ah. Tani waxay ka dhigan tahay haddii shuruudda P ay run tahay ka hor inta uusan amarka C ordin, ka dib shuruudda Q ayaa la dammaanad qaaday inay run tahay ka dib. Marka la codsanayo xaqiijinta rasmiga ah oo buuxda ayaa inta badan aan waxba ka tari karin jawiga ganacsi ee xawliga ku socda, mabaadi'da Hoare Logic waa mid qiimo leh. Waxay na barayaan inaan si adag uga fikirno wax-soo-gelinta, soo-saarka, iyo waxyeelada ay leedahay qayb kasta oo software ah. Mewayz, tani waxay u tarjumeysaa naqshadeynta cutubyadayada qandaraasyo cad iyo dabeecado si wanaagsan loo qeexay, iyadoo la hubinayo in marka aad ku xirto qaybaha kala duwan ee ganacsigaaga OS, ay u wada shaqeeyaan si saadaalin iyo kalsooni leh.Duruusta Software-ka Casriga ah iyo Nidaamyada Ganacsiga
Xirfadda Tony Hoare waxay siisaa casharro waara oo loogu talagalay soosaarayaasha software-ka maanta iyo kuwa wax dhisa. Shaqadiisu waxay u hiilisay hufnaan, fududaan, iyo raad-raac aan joogsi lahayn oo tayo leh. Xilli ay soo kordheyso xirmooyin kombuyuutar oo kakan, mabaadi'daani aad ayey uga muhimsan yihiin weligii. Waxay ina xusuusinayaan in hoosta is-dhexgalka isticmaalaha iyo API-yada, tayada asaasiga ah ee nidaamku ay ku xiran tahay dhawaaqiisa macquulka ah. Mewayz, waxaan ku dadaaleynaa inaan ka dhigno casharradan annagoo abuurayna OS ganacsi oo awood leh oo la isku halayn karo. Waxaan diirada saareynaa dhisidda aasaas adag si isticmaaleyaasheenu ay si kalsooni leh u istcimaalaan oo ay u dhexgalaan qulqulkooda shaqo iyaga oo aan ka walwalin xasilloonida hoose. Aragtida Hoare ee software-ka ee sida muuqata saxda ah waxay nagu dhiirigelisaa in aan mudnaanta siino xoojinta qayb kasta oo aan sii dayno.💡 DID YOU KNOW?
Mewayz replaces 8+ business tools in one platform
CRM · Invoicing · HR · Projects · Booking · eCommerce · POS · Analytics. Free forever plan available.
Start Free →Tabarucaadka muhiimka ah ee Tony Hoare waxa ka mid ah:
-
Algorithm-ka Quicksort (1960)
- Hoare Logic (1969):Nidaamka rasmiga ah ee sababaynta saxnaanta barnaamijyada kombayutarka.
- Xidhiidhinta Nidaamyada Isku Xirka ah (CSP):Habka aasaaska u ah barnaamijyada isku-dhafan, saamaynta luqadaha sida Go. Tixraaca Null (1965): Waa wax saamayn leh, in kasta oo markii dambe laga qoomameeyay, hindise qaabeeyay tobannaan sano oo naqshadayn luuqadeed.
"Waxaa jira laba siyaabood oo loo dhiso naqshadeynta software: Hal dariiqo ayaa ah in la sameeyo mid fudud oo aan si cad u jirin wax cillad ah, habka kale waa in la sameeyo mid aad u adag oo aysan jirin cillado muuqda. Habka ugu horreeya ayaa ah mid aad u adag."
Dhaxal waara
Sir Tony Hoare wuxuu ahaa in ka badan saynisyahan kombuyuutar; waxa uu ahaa hal-adayg soo bandhigay qalabkii iyo maskaxdii lagu dhisi lahaa dunida dhijitaalka ah. Fikradihiisa ku saabsan fududaynta, saxnaanta, iyo isdhaafsiga waxay sii wadaan dhiirigelinta jiilasha injineerada. Marka aan sii wadno horumarinta goobta Mewayz, waxaan sameyneynaa sidaas oo aan ku taagannahay garbaha weyn, anagoo ku dadaaleyno inaan ixtiraamno dhaxalkiisa annaga oo abuuraya software ganacsi oo aan shaqeyn oo kaliya laakiin asal ahaan. Aad ayaa loo tabi doonaa, laakiin mabaadi'diisu waxay sii wadi doonaan inay hagaan mustaqbalka xisaabinta.Su'aalaha Inta badan La Isweydiiyo
In Memoriam: Sir Charles Antony Richard Hoare (Tony Hoare)
Dunida kombuyuutarada waxa ay lumisay mid ka mid ah dhismayaashii dhidibada u taagay. Sir Charles Antony Richard Hoare, oo dhammaan loo yaqaannay Tony Hoare, ayaa geeriyooday, isaga oo ka tegay dhaxal si dhab ah loogu dhex tolay qayb kasta oo software ah oo aan maanta isticmaalno. Kuweenna Mewayz ah, oo dhisaya nidaamka hawlgalka ganacsiga ee modular, shaqadiisu maaha kaliya taariikhda tacliinta; waa gogosha ugu saraysa ee la isku halayn karo oo qaabaynta nidaamka hufan. Gudbashadiisu waxay nagu martiqaadaysaa inaan dib u milicsano saamaynta qoto dheer ee wax ku biirintiisa, laga bilaabo macquulnimada xarrago leh ee algorithm-ka degdegga ah ilaa mabaadi'da aasaasiga ah ee saxda ah software-ka ee hagaya horumarka casriga ah.
Naqshadeeye xarrago: Quicksort iyo Tixraaca Null
Magaca Tony Hoare waxa uu la mid yahay laba wax ku biirin oo hal-abuur leh, haddana si cajiib ah u kala duwan. Sannadkii 1960-kii, waxa uu ikhtiraacay algorithm-ka degdegga ah, oo ah farshaxan-yaqaan hawlkarnimo oo weli ah mid ka mid ah hababka kala-soocidda ee aadka loo darso loona isticmaalo. Xarragodeedu waxa ay ku jirtaa habkeeda "qaybi oo guulaysata", fikradda si qoto dheer uga hadlaysa falsafada qaabaysan ee Mewayz. Waxaan dhisnaa madalkeena annagoo u kala jebinayna habab ganacsi oo adag oo la maarayn karo, qaybo la wada shaqayn karo, si la mid ah u kala soocida degdega ah ee dhibaatada u burburisa si hufan.Aasaaska Saxda ah: Hoare Logic
Waxaa laga yaabaa in Hoare wax qabadkiisii ugu muhiimsanaa ay ahayd horumarinta Hoare Logic ee 1969. Nidaamkan rasmiga ahi waxa uu bixiyaa qaab xisaabeed si loo caddeeyo saxsanaanta barnaamijyada kombiyuutarka. Waxa ay isticmaashaa saddex laab oo ah qaabka `{P} C {Q}`, halka `P` ay tahay shuruudo, `C` waa amar, `Q`na ay tahay xaalad dib u dhac ah. Tani waxay ka dhigan tahay haddii shuruudda P ay run tahay ka hor inta uusan amarka C ordin, ka dib shuruudda Q ayaa la dammaanad qaaday inay run tahay ka dib.Duruusta Software-ka Casriga ah iyo Nidaamyada Ganacsiga
Xirfadda Tony Hoare waxay siisaa casharro waara oo loogu talagalay soosaarayaasha software-ka maanta iyo kuwa wax dhisa. Shaqadiisu waxay u hiilisay hufnaan, fududaan, iyo raad-raac aan joogsi lahayn oo tayo leh. Xilli ay soo kordheyso xirmooyin kombuyuutar oo kakan, mabaadi'daani aad ayey uga muhimsan yihiin weligii. Waxay ina xusuusinayaan in hoosta is-dhexgalka isticmaalaha iyo API-yada, tayada asaasiga ah ee nidaamku ay ku xiran tahay dhawaaqiisa macquulka ah.Dhaxal waara
Sir Tony Hoare wuxuu ahaa in ka badan saynisyahan kombuyuutar; waxa uu ahaa hal-adayg soo bandhigay qalabkii iyo maskaxdii lagu dhisi lahaa dunida dhijitaalka ah. Fikradihiisa ku saabsan fududaynta, saxnaanta, iyo isdhaafsiga waxay sii wadaan dhiirigelinta jiilasha injineerada. Marka aan sii wadno horumarinta goobta Mewayz, waxaan sameyneynaa sidaas oo aan ku taagannahay garbaha weyn, anagoo ku dadaaleyno inaan ixtiraamno dhaxalkiisa annaga oo abuuraya software ganacsi oo aan shaqeyn oo kaliya laakiin asal ahaan. Aad ayaa loo tabi doonaa, laakiin mabaadi'diisu waxay sii wadi doonaan inay hagaan mustaqbalka xisaabinta.Dhammaan Qalabkaaga Ganacsi oo Hal Meel ah
Jooji jugling abka badan. Mewayz wuxuu isku daraa 208 qalab kaliya $49/bishii - laga bilaabo alaabada ilaa HR, ballansashada ilaa falanqaynta. Looma baahna kaarka deynta si loo bilaabo.
isku day Mewayz Free →>We use cookies to improve your experience and analyze site traffic. Cookie Policy