ಪ್ರೋಗ್ರಾಮಿಂಗ್‌ನಲ್ಲಿ ಲಾಜಿಕ್‌ನ ವಿಜ್ಞಾನ

ಪ್ರೋಗ್ರಾಮಿಂಗ್‌ನಲ್ಲಿ ಲಾಜಿಕ್‌ನ ವಿಜ್ಞಾನ

ಈ ಲೇಖನವು ಜರ್ಮನ್ ತತ್ವಜ್ಞಾನಿ ಜಾರ್ಜ್ ವಿಲ್ಹೆಲ್ಮ್ ಫ್ರೆಡ್ರಿಕ್ ಹೆಗೆಲ್ ಅವರ ಸಾದೃಶ್ಯಗಳು ಅಥವಾ ಪ್ರೋಗ್ರಾಮಿಂಗ್‌ನಲ್ಲಿ ಅವರ ಅನುಪಸ್ಥಿತಿಯೊಂದಿಗೆ "ಸೈನ್ಸ್ ಆಫ್ ಲಾಜಿಕ್" ಅವರ ಕೆಲಸದಿಂದ ತಾರ್ಕಿಕ ಘಟಕಗಳ ತುಲನಾತ್ಮಕ ವಿಶ್ಲೇಷಣೆಗೆ ಮೀಸಲಾಗಿದೆ.

ಈ ಪದಗಳ ಸಾಮಾನ್ಯವಾಗಿ ಅಂಗೀಕರಿಸಲ್ಪಟ್ಟ ವ್ಯಾಖ್ಯಾನಗಳೊಂದಿಗೆ ಗೊಂದಲವನ್ನು ತಪ್ಪಿಸಲು ಲಾಜಿಕ್ ವಿಜ್ಞಾನದ ಘಟಕಗಳು ಇಟಾಲಿಕ್ಸ್‌ನಲ್ಲಿವೆ.

ಶುದ್ಧ ಜೀವಿ

ನೀವು ವ್ಯಾಖ್ಯಾನವನ್ನು ತೆರೆದರೆ ಶುದ್ಧ ಜೀವಿ ಪುಸ್ತಕದಲ್ಲಿ, ನೀವು "ಹೆಚ್ಚಿನ ವ್ಯಾಖ್ಯಾನವಿಲ್ಲದೆ" ಆಸಕ್ತಿದಾಯಕ ಸಾಲನ್ನು ನೋಡುತ್ತೀರಿ. ಆದರೆ ಓದಿಲ್ಲ ಅಥವಾ ಅರ್ಥವಾಗದವರಿಗೆ, ಬುದ್ಧಿಮಾಂದ್ಯತೆಯ ಲೇಖಕರನ್ನು ದೂಷಿಸಲು ಹೊರದಬ್ಬಬೇಡಿ. ಶುದ್ಧ ಜೀವಿ - ಇದು ಹೆಗೆಲ್ ಅವರ ತರ್ಕದಲ್ಲಿ ಮೂಲಭೂತ ಪರಿಕಲ್ಪನೆಯಾಗಿದೆ, ಅಂದರೆ ಕೆಲವು ವಸ್ತುವು ಅಸ್ತಿತ್ವದಲ್ಲಿದೆ, ದಯವಿಟ್ಟು ಅದನ್ನು ವಸ್ತುವಿನ ಅಸ್ತಿತ್ವದೊಂದಿಗೆ ಗೊಂದಲಗೊಳಿಸಬೇಡಿ, ವಸ್ತುವು ವಾಸ್ತವದಲ್ಲಿ ಅಸ್ತಿತ್ವದಲ್ಲಿಲ್ಲದಿರಬಹುದು, ಆದರೆ ನಾವು ಅದನ್ನು ನಮ್ಮ ತರ್ಕದಲ್ಲಿ ಹೇಗಾದರೂ ವ್ಯಾಖ್ಯಾನಿಸಿದರೆ, ಅದು ಅಸ್ತಿತ್ವದಲ್ಲಿದೆ. ನೀವು ಅದರ ಬಗ್ಗೆ ಯೋಚಿಸಿದರೆ, ನಿಜವಾಗಿಯೂ ಅಂತಹ ವಿಷಯಗಳಿವೆ ಶುದ್ಧ ಜೀವಿ ವ್ಯಾಖ್ಯಾನವನ್ನು ನೀಡುವುದು ಅಸಾಧ್ಯ, ಮತ್ತು ಅಂತಹ ಯಾವುದೇ ಪ್ರಯತ್ನವು ನೀವು ಅದರ ಸಮಾನಾರ್ಥಕ ಅಥವಾ ಆಂಟೊನಿಮ್‌ಗಳನ್ನು ಸರಳವಾಗಿ ಉಲ್ಲೇಖಿಸುತ್ತೀರಿ ಎಂಬ ಅಂಶಕ್ಕೆ ಬರುತ್ತದೆ. ಶುದ್ಧ ಜೀವಿ ಅಂತಹ ಅಮೂರ್ತ ಪರಿಕಲ್ಪನೆಯು ತನ್ನನ್ನು ಒಳಗೊಂಡಂತೆ ಸಂಪೂರ್ಣವಾಗಿ ಯಾವುದಕ್ಕೂ ಅನ್ವಯಿಸಬಹುದು. ಕೆಲವು ಆಬ್ಜೆಕ್ಟ್-ಆಧಾರಿತ ಭಾಷೆಗಳಲ್ಲಿ, ವಸ್ತುಗಳ ಮೇಲಿನ ಕಾರ್ಯಾಚರಣೆಗಳನ್ನು ಒಳಗೊಂಡಂತೆ ಯಾವುದನ್ನಾದರೂ ವಸ್ತುವಾಗಿ ಪ್ರತಿನಿಧಿಸಲು ಸಾಧ್ಯವಿದೆ, ಇದು ತಾತ್ವಿಕವಾಗಿ ನಮಗೆ ಅಂತಹ ಅಮೂರ್ತತೆಯ ಮಟ್ಟವನ್ನು ನೀಡುತ್ತದೆ. ಆದಾಗ್ಯೂ, ಪ್ರೋಗ್ರಾಮಿಂಗ್ನಲ್ಲಿ ನೇರ ಅನಲಾಗ್ ಶುದ್ಧ ಜೀವಿ ಸಂ. ವಸ್ತುವಿನ ಅಸ್ತಿತ್ವವನ್ನು ಪರಿಶೀಲಿಸಲು, ನಾವು ಅದರ ಅನುಪಸ್ಥಿತಿಯನ್ನು ಪರಿಶೀಲಿಸಬೇಕಾಗಿದೆ.

if(obj != null);

ಅಂತಹ ಸಿಂಟ್ಯಾಕ್ಟಿಕ್ ಸಕ್ಕರೆ ಇನ್ನೂ ಅಸ್ತಿತ್ವದಲ್ಲಿಲ್ಲ ಎಂಬುದು ವಿಚಿತ್ರವಾಗಿದೆ, ಈ ಚೆಕ್ ಬಹಳ ಜನಪ್ರಿಯವಾಗಿದೆ.

ಏನೂ ಇಲ್ಲ

ನೀವು ಹೇಗೆ ಊಹಿಸಬಹುದು ಏನೂ ಇಲ್ಲ ಯಾವುದೂ ಇಲ್ಲದಿರುವುದು. ಮತ್ತು ಅದರ ಅನಲಾಗ್ ಅನ್ನು NULL ಎಂದು ಕರೆಯಬಹುದು. ತರ್ಕದ ವಿಜ್ಞಾನದಲ್ಲಿ ಇದು ಗಮನಿಸಬೇಕಾದ ಅಂಶವಾಗಿದೆ ಏನೂ ಇಲ್ಲ ಇದು ಶುದ್ಧ ಜೀವಿ, ಏಕೆಂದರೆ ಅದು ಸಹ ಅಸ್ತಿತ್ವದಲ್ಲಿದೆ. ಇದು ಸ್ವಲ್ಪ ಕ್ಯಾಚ್ ಆಗಿದೆ; ನಾವು ಯಾವುದೇ ಭಾಷೆಯಲ್ಲಿ ಒಂದು ವಸ್ತುವಾಗಿ NULL ಅನ್ನು ಪ್ರವೇಶಿಸಲು ಸಾಧ್ಯವಿಲ್ಲ, ಆದರೂ ಮೂಲಭೂತವಾಗಿ ಇದು ಕೂಡ ಒಂದಾಗಿದೆ.

ರಚನೆ ಮತ್ತು ಕ್ಷಣಗಳು

ಬಿಕಮಿಂಗ್ ನಿಂದ ಪರಿವರ್ತನೆಯಾಗಿದೆ ಏನೂ ಇಲ್ಲ в ಇರುವುದು ಮತ್ತು ನಿಂದ ಇರುವುದು в ಏನೂ ಇಲ್ಲ. ಅದು ನಮಗೆ ಎರಡು ನೀಡುತ್ತದೆ ಕ್ಷಣ, ಮೊದಲನೆಯದನ್ನು ಕರೆಯಲಾಗುತ್ತದೆ ಹೊರಹೊಮ್ಮುವಿಕೆ, ಮತ್ತು ಎರಡನೇ ಹಾದುಹೋಗುವ. ಅಂಗೀಕಾರ ಕಣ್ಮರೆಯಾಗುವ ಬದಲು ಇದನ್ನು ಕರೆಯಲಾಗುತ್ತದೆ, ಏಕೆಂದರೆ ತಾರ್ಕಿಕ ಸಾರವು ಮೂಲಭೂತವಾಗಿ ನಾವು ಅದನ್ನು ಮರೆತುಬಿಡದ ಹೊರತು ಕಣ್ಮರೆಯಾಗುವುದಿಲ್ಲ. ಹಿಂತೆಗೆದುಕೊಳ್ಳುವಿಕೆ ಅದರಂತೆ ನಾವು ನಿಯೋಜನೆ ವಿಧಾನವನ್ನು ಕರೆಯಬಹುದು. ನಮ್ಮ ವಸ್ತುವನ್ನು ಪ್ರಾರಂಭಿಸಿದರೆ, ನಂತರ ಸಂಭವಿಸುವ ಕ್ಷಣ, ಮತ್ತು ಇನ್ನೊಂದು ಮೌಲ್ಯವನ್ನು ನಿಯೋಜಿಸುವ ಸಂದರ್ಭದಲ್ಲಿ ಅಥವಾ NULL ಹಾದುಹೋಗುವ ಕ್ಷಣ.

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

ಅಸ್ತಿತ್ವ

ಸಂಕ್ಷಿಪ್ತವಾಗಿ ಅಸ್ತಿತ್ವ ಸ್ಪಷ್ಟವಾದ ವ್ಯಾಖ್ಯಾನವನ್ನು ಹೊಂದಿರದ ವಸ್ತುವಾಗಿದೆ, ಆದರೆ ಹೊಂದಿದೆ ಖಚಿತತೆ. ಅದರ ಅರ್ಥವೇನು. ಅಂಗೀಕೃತ ಉದಾಹರಣೆ ಸಾಮಾನ್ಯ ಕುರ್ಚಿ. ನೀವು ಸ್ಪಷ್ಟವಾದ ವ್ಯಾಖ್ಯಾನವನ್ನು ನೀಡಲು ಪ್ರಯತ್ನಿಸಿದರೆ, ನೀವು ಅನೇಕ ತೊಂದರೆಗಳನ್ನು ಎದುರಿಸಬೇಕಾಗುತ್ತದೆ. ಉದಾಹರಣೆಗೆ, ನೀವು ಹೀಗೆ ಹೇಳುತ್ತೀರಿ: “ಇದು ಕುಳಿತುಕೊಳ್ಳಲು ವಿನ್ಯಾಸಗೊಳಿಸಲಾದ ಪೀಠೋಪಕರಣಗಳ ತುಂಡು,” ಆದರೆ ಕುರ್ಚಿಯನ್ನು ಇದಕ್ಕಾಗಿ ರಚಿಸಲಾಗಿದೆ, ಇತ್ಯಾದಿ. ಆದರೆ ಸ್ಪಷ್ಟವಾದ ವ್ಯಾಖ್ಯಾನದ ಕೊರತೆಯು ಬಾಹ್ಯಾಕಾಶದಲ್ಲಿ ಅದನ್ನು ಹೈಲೈಟ್ ಮಾಡುವುದನ್ನು ತಡೆಯುವುದಿಲ್ಲ ಮತ್ತು ಅದರ ಬಗ್ಗೆ ಮಾಹಿತಿಯನ್ನು ರವಾನಿಸುವಾಗ ಅದನ್ನು ಬಳಸುವುದನ್ನು ತಡೆಯುವುದಿಲ್ಲ, ಏಕೆಂದರೆ ನಮ್ಮ ತಲೆಯಲ್ಲಿ ಖಚಿತತೆ ಕುರ್ಚಿ. ಡೇಟಾ ಸ್ಟ್ರೀಮ್‌ನಿಂದ ಅಂತಹ ವಸ್ತುಗಳನ್ನು ಪ್ರತ್ಯೇಕಿಸಲು ನರಮಂಡಲಗಳನ್ನು ರಚಿಸಲಾಗಿದೆ ಎಂದು ಬಹುಶಃ ಕೆಲವರು ಈಗಾಗಲೇ ಊಹಿಸಿದ್ದಾರೆ. ಒಂದು ನರಮಂಡಲವನ್ನು ಇದನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುವ ಕಾರ್ಯವಾಗಿ ಸೂಚಿಸಬಹುದು ಖಚಿತತೆ, ಆದರೆ ಸ್ಪಷ್ಟ ಮತ್ತು ಅಸ್ಪಷ್ಟವಾದ ವ್ಯಾಖ್ಯಾನಗಳನ್ನು ಒಳಗೊಂಡಿರುವ ಯಾವುದೇ ರೀತಿಯ ವಸ್ತುಗಳಿಲ್ಲ, ಆದ್ದರಿಂದ ಅಂತಹ ವಸ್ತುಗಳನ್ನು ಅದೇ ಮಟ್ಟದ ಅಮೂರ್ತತೆಯಲ್ಲಿ ಬಳಸಲಾಗುವುದಿಲ್ಲ.

ಪರಿಮಾಣಾತ್ಮಕ ಬದಲಾವಣೆಗಳನ್ನು ಗುಣಾತ್ಮಕವಾಗಿ ಪರಿವರ್ತಿಸುವ ನಿಯಮ

ಹೆಗೆಲ್ ಅವರ ತರ್ಕದ ವ್ಯಾಖ್ಯಾನದ ಪರಿಣಾಮವಾಗಿ ಫ್ರೆಡ್ರಿಕ್ ಎಂಗೆಲ್ಸ್ ಈ ಕಾನೂನನ್ನು ರೂಪಿಸಿದರು. ಆದಾಗ್ಯೂ, ಅಧ್ಯಾಯದಲ್ಲಿ ಮೊದಲ ಸಂಪುಟದಲ್ಲಿ ಇದನ್ನು ಸ್ಪಷ್ಟವಾಗಿ ಕಾಣಬಹುದು ಅಳತೆ. ಅದರ ಸಾರವೇನೆಂದರೆ ಪರಿಮಾಣಾತ್ಮಕ ವಸ್ತುವಿನ ಬದಲಾವಣೆಗಳು ಅದರ ಮೇಲೆ ಪರಿಣಾಮ ಬೀರಬಹುದು ಗುಣಮಟ್ಟದ. ಉದಾಹರಣೆಗೆ, ನಾವು ಐಸ್ ವಸ್ತುವನ್ನು ಹೊಂದಿದ್ದೇವೆ; ತಾಪಮಾನದ ಶೇಖರಣೆಯೊಂದಿಗೆ, ಅದು ದ್ರವ ನೀರಾಗಿ ಬದಲಾಗುತ್ತದೆ ಮತ್ತು ಅದನ್ನು ಬದಲಾಯಿಸುತ್ತದೆ ಗುಣಮಟ್ಟ. ವಸ್ತುವಿನಲ್ಲಿ ಈ ನಡವಳಿಕೆಯನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸಲು, ರಾಜ್ಯ ವಿನ್ಯಾಸದ ಮಾದರಿ ಇದೆ. ಅಂತಹ ಒಂದು ಪರಿಹಾರದ ಹೊರಹೊಮ್ಮುವಿಕೆಯು ಅಂತಹ ಒಂದು ವಿಷಯದ ಪ್ರೋಗ್ರಾಮಿಂಗ್ನಲ್ಲಿ ಅನುಪಸ್ಥಿತಿಯಿಂದ ಉಂಟಾಗುತ್ತದೆ ಅಡಿಪಾಯ ಗೆ ಹೊರಹೊಮ್ಮುವಿಕೆ ವಸ್ತು. ಫೌಂಡೇಶನ್ ವಸ್ತುವು ಕಾಣಿಸಿಕೊಳ್ಳುವ ಪರಿಸ್ಥಿತಿಗಳನ್ನು ನಿರ್ಧರಿಸುತ್ತದೆ ಮತ್ತು ಅಲ್ಗಾರಿದಮ್‌ನಲ್ಲಿ ನಾವು ಯಾವ ಹಂತದಲ್ಲಿ ವಸ್ತುವನ್ನು ಪ್ರಾರಂಭಿಸಬೇಕು ಎಂಬುದನ್ನು ನಾವೇ ನಿರ್ಧರಿಸುತ್ತೇವೆ.

ಪಿಎಸ್: ಈ ಮಾಹಿತಿಯು ಆಸಕ್ತಿದಾಯಕವಾಗಿದ್ದರೆ, ನಾನು ಲಾಜಿಕ್ ವಿಜ್ಞಾನದಿಂದ ಇತರ ಘಟಕಗಳನ್ನು ಪರಿಶೀಲಿಸುತ್ತೇನೆ.

ಮೂಲ: www.habr.com

ಕಾಮೆಂಟ್ ಅನ್ನು ಸೇರಿಸಿ