ይህ መጣጥፍ ጀርመናዊው ፈላስፋ ጆርጅ ዊልሄልም ፍሬድሪች ሄግል “ሳይንስ ኦፍ ሎጂክ” ከአናሎግዎቻቸው ጋር ወይም በፕሮግራም ውስጥ አለመኖራቸውን በተመለከተ አመክንዮአዊ አካላትን በንፅፅር ትንተና ላይ ያተኮረ ነው።

በአጠቃላይ ተቀባይነት ካላቸው የቃላት ፍቺዎች ጋር ግራ መጋባትን ለማስወገድ ከሎጂክ ሳይንስ የመጡ አካላት በሰያፍ ውስጥ ናቸው።

ንፁህ ፍጡር

ትርጉሙን ከከፈቱ ንፁህ ፍጡር በመጽሐፉ ውስጥ “ያለ ተጨማሪ ትርጉም” አስደሳች መስመር ታያለህ። ነገር ግን ላላነበቡ ወይም ለማይረዱት, ደራሲውን የአእምሮ ማጣት ችግር ለመክሰስ አትቸኩሉ. ንፁህ ፍጡር - ይህ በሄግል ሎጂክ ውስጥ መሠረታዊ ጽንሰ-ሐሳብ ነው ፣ ማለትም አንዳንድ ዕቃዎች አሉ ፣ እባክዎን ከአንድ ነገር መኖር ጋር አያምታቱት ፣ አንድ ነገር በእውነቱ ላይኖር ይችላል ፣ ግን በሆነ መንገድ በአመክንዮ ከገለፅነው ፣ አለ። ስለእሱ ካሰብክ, እንደ እነዚህ ያሉ ነገሮች አሉ ንፁህ ፍጡር ፍቺ መስጠት አይቻልም፣ እና እንደዚህ አይነት ሙከራ የሚወርደው እርስዎ ተመሳሳይ ቃላቶችን ወይም ተቃራኒ ቃላትን በመጥቀስ ነው። ንፁህ ፍጡር እራሱን ጨምሮ በማንኛውም ነገር ላይ ሊተገበር የሚችል እንደዚህ ያለ ረቂቅ ፅንሰ-ሀሳብ። በአንዳንድ ቁስ-ተኮር ቋንቋዎች ማንኛውንም ነገር እንደ ዕቃ መወከል ይቻላል፣ በነገሮች ላይ የሚደረጉ ተግባራትን ጨምሮ፣ ይህም በመርህ ደረጃ እንዲህ ያለ የአብስትራክሽን ደረጃ ይሰጠናል። ሆኖም ፣ በቀጥታ አናሎግ በፕሮግራም አወጣጥ ንፁህ ፍጡር አይ. የእቃውን መኖር ለመፈተሽ አለመኖሩን ማረጋገጥ አለብን።

if(obj != null);

ይህ ቼክ በጣም ተወዳጅ ከመሆኑ አንጻር እንዲህ ዓይነቱ የአገባብ ስኳር እስካሁን አለመኖሩ አስገራሚ ነው.

መነም

እንዴት መገመት ትችላላችሁ ምንም የማንኛውም ነገር አለመኖር ነው. እና አናሎግ NULL ተብሎ ሊጠራ ይችላል። በሎጂክ ሳይንስ ውስጥ ልብ ሊባል የሚገባው ነው ምንም ነው ንፁህ ፍጡር፣ ምክንያቱም በውስጡም አለ። ይህ ትንሽ መያዝ ነው፤ NULLን እንደ ዕቃ በማንኛውም ቋንቋ ልንደርስበት አንችልም፣ ምንም እንኳን በመሠረቱ አንድ ቢሆንም።

ምስረታ እና አፍታዎች

ስብስብ ከ ሽግግር ነው። ምንም в መሆን እና መሆን в ምንም. ያ ሁለት ይሰጠናል አፍታ, የመጀመሪያው ይባላል ብቅ ማለትሁለተኛው ደግሞ ማለፍ. ማለፊያ ከመጥፋቱ ይልቅ እንዲሁ ተብሎ ተጠርቷል፣ ምክንያቱም ሎጂካዊው ይዘት ካልረሳነው በቀር ሊጠፋ አይችልም። መውጣት ስለዚህ የምደባ ሂደቱን መጥራት እንችላለን. የእኛ ነገር ከተነሳ ታዲያ የተከሰተበት ጊዜ, እና ሌላ እሴት ወይም NULL ሲመደብ የማለፊያ ቅጽበት.

obj = new object(); //возникновение
obj = null; //прехождение

መኖር

በአጭሩ መኖር ግልጽ ትርጉም የሌለው ነገር ግን ያለው ነገር ነው። እርግጠኝነት. ምን ማለት ነው. ቀኖናዊው ምሳሌ ተራ ወንበር ነው። ግልጽ የሆነ ፍቺ ለመስጠት ከሞከሩ ብዙ ችግሮች ያጋጥሙዎታል. ለምሳሌ፡- “ይህ ለመቀመጫ የተነደፈ የቤት ዕቃ ነው” ትላላችሁ፣ ነገር ግን ወንበሩም ለዚህ የተፈጠረ ነው፣ ወዘተ. ነገር ግን ግልጽ የሆነ ፍቺ አለመኖሩ በጠፈር ላይ ከማድመቅ እና ስለ እሱ መረጃ ሲያስተላልፉ ከመጠቀም አያግደንም, ምክንያቱም በጭንቅላታችን ውስጥ አለ. እርግጠኝነት ወንበር. ምናልባትም አንዳንዶች የነርቭ ኔትወርኮች የተፈጠሩት እንደነዚህ ያሉትን ነገሮች ከውሂቡ ዥረቱ ለመለየት ነው ብለው ገምተው ይሆናል። የነርቭ አውታረ መረብ ይህንን የሚገልጽ ተግባር ሆኖ ሊገለጽ ይችላል። እርግጠኝነትነገር ግን ግልጽ እና ደብዛዛ የሆኑ ፍቺዎችን የሚያካትቱ የነገሮች አይነቶች የሉም፣ ስለዚህ እንደዚህ ያሉ ነገሮች በተመሳሳይ የአብስትራክሽን ደረጃ ጥቅም ላይ ሊውሉ አይችሉም።

የቁጥር ለውጦች ወደ ጥራቶች የመሸጋገር ህግ

ይህ ህግ በፍሪድሪክ ኢንግልስ የተቀረፀው በሄግል አመክንዮ ትርጓሜ ምክንያት ነው። ይሁን እንጂ በምዕራፉ ውስጥ በመጀመሪያው ጥራዝ ላይ በግልጽ ይታያል ቢያንስ. ዋናው ነገር ይህ ነው። ቁጥራዊ በአንድ ነገር ላይ የሚደረጉ ለውጦች ተጽዕኖ ሊያሳድሩ ይችላሉ። ጥራት. ለምሳሌ የበረዶ ነገር አለን፤ በሙቀት ክምችት ወደ ፈሳሽ ውሃ ይቀየራል እና ይለውጣል ባህሪዎች. ይህንን ባህሪ በአንድ ነገር ውስጥ ለመተግበር የስቴት ዲዛይን ንድፍ አለ። የእንደዚህ አይነት መፍትሄ ብቅ ማለት የሚከሰተው በፕሮግራም ውስጥ አለመኖር ነው መሠረት ለ መከሰት ነገር. ፋውንዴሽን አንድ ነገር የሚታይበትን ሁኔታዎችን ይወስናል, እና በአልጎሪዝም ውስጥ እኛ ራሳችን እቃውን ለመጀመር በየትኛው ነጥብ ላይ እንወስናለን.

PS: ይህ መረጃ አስደሳች ከሆነ፣ ከሎጂክ ሳይንስ ሌሎች አካላትን እገመግማለሁ።

ምንጭ: hab.com