සෑම කෙනෙකුම කියවිය යුතු පොත් මොනවාද?


238

[ කාල නියමය ]


මෙම ප්‍රශ්නයට සෑම කෙනෙකුම කියවිය යුතු කඩදාසි මොනවාද සහ සෑම කෙනෙක්ම නැරඹිය යුතු වීඩියෝ පිළිබඳ එකම ස්වභාවයක් ඇත . එය න්‍යායාත්මක පරිගණක විද්‍යාවේ විවිධ ක්ෂේත්‍රවල විශිෂ්ට පොත් ඉල්ලා සිටී.

පොත් ගණිතයට නැඹුරු විය හැකි නමුත් පරිගණක විද්‍යා ist යෙකුට එය විශිෂ්ට යැයි ඔබට පෙනී යා හැකිය. උදාහරණ:

  • සම්භාවිතාව
  • අසමානතා
  • තර්කනය
  • ප්‍රස්ථාර න්‍යාය
  • සංයෝජන
  • ඇල්ගොරිතමයේ සැලසුම් සහ විශ්ලේෂණය
  • ගණනය කිරීමේ න්‍යාය / පරිගණක සංකීර්ණතා න්‍යාය

කරුණාකර සෑම පිළිතුරක්ම එකම විෂයයක පොත් සඳහා වෙන් කරන්න (උදා: සංයුක්ත විද්‍යාව පිළිබඳ පොත්).

සටහන: මාතෘකාව නොමඟ යවන සුළු විය හැකිය. මෙන්න පැහැදිලි කිරීමක්: පරිගණක විද්‍යාවේ X සහ Y ක්ෂේත්‍ර දෙකක් වේවා. හැමෝටම පොත් තියෙනවා

  • X ක්ෂේත්‍රයේ කියවිය යුතුය.
  • ක්ෂේත්‍රයේ Y කියවිය යුතුය.
  • ක්ෂේත්‍ර දෙකෙහිම කියවිය යුතුය.

මෙම ප්රශ්නය නඩු 3 ම සොයයි. වෙනත් වචන වලින් කිවහොත්, එය අවසාන නඩුවට විශේෂිත නොවේ.

සංස්කරණය කරන්න: ඩේ ලී යෝජනා කළ පරිදි , කරුණාකර ඔබ පොතට කැමති හේතුව (ය) ඉස්මතු කරන්න.


සබැඳි මාතෘකා:


මට ප්‍රශ්නයට පිළිතුරු දිය නොහැකි බැවින් මම එය මෙහි කරන්නෙමි. විවික්ත ගණිතය - ටීටීසී: විවික්ත ගණිතය ආතර් ටී. බෙන්ජමින් විසිනි. එය සෙට් න්‍යායේ සිට ප්‍රස්ථාර සහ සම්භාවිතාව දක්වා විවිධ මාතෘකා පිළිබඳ දේශන එකතුවකි.
පිටිකෝස්

පරිගණක විද්‍යාවේ ප්‍රධාන ශාඛා ආවරණය වන පරිදි කැනොනිකල් හඳුන්වාදීමේ පෙළපොත් ලැයිස්තුවක් තිබේද? මෙම විශිෂ්ට පොත් ලැයිස්තුව හඳුන්වාදීමේ පොත් ලැයිස්තුව සමඟ සංසන්දනය කිරීම සිත්ගන්නා සුළු විය හැකිය. reddit / compsci පිළිබඳ ප්‍රශ්නය. සමහර අතිච්ඡාදනයන් ඇත, නමුත් වාසනාවකට මෙන් වෙනස්කම් ප්‍රමාණවත් තරම් වැදගත් වේ.
තෝමස් ක්ලිම්පෙල්

Answers:


95

පරිගණක සංකීර්ණතාව:

ඔබ මෑත කාලීන සංකීර්ණ පෙළපොත් සොයන්නේ නම්. පහත සඳහන් දෙක තිබිය යුතුය.

මෙම පොත් දෙක අතර අන්තර්ගතයෙන් බහුතරයක් සැසඳිය හැකිය. කෙසේ වෙතත්, සමහර ප්‍රධාන වෙනස්කම් පවතී: සංකීර්ණ සිද්ධාන්තයේ සංකල්පීය හා දාර්ශනික පදනම ගවේෂණය කිරීම සඳහා ගෝල්ඩ්රිච් වැඩි ඉඩක් වෙන් කරන අතර, අරෝරා / බරක් විසින් සංකීර්ණ මාතෘකා රාශියක් ආවරණය කරයි, සංකීර්ණත්වය, ක්වොන්ටම් ගණනය කිරීම සහ පරිපථ පහළ සීමාවන් ඇතුළුව කොන්ක්‍රීට් ආකෘති බොහෝ දුරට නොපවතී. කලින් සිට.

තවත් විකල්පයක් නම්, සංකීර්ණ නමුත් පැරණි නමුත් කාලානුරූපී පෙළපොතක්:

පපඩිමිට්‍රියෝගේ පොත පළමු පෙළේ තර්කනය ආවරණය වන පරිච්ඡේද සඳහා මෙන්ම වඩාත් නවීන ග්‍රන්ථවලින් මඟ හැරී ඇති එස්එන්පී, මැක්ස්එන්පී 0 සහ ඒපීඑක්ස් (ආසන්න වශයෙන් දෘ hard තාව පිළිබඳ න්‍යායාත්මක පදනම්) යන පන්ති සඳහා කැපී පෙනේ .0

තවත් (සාපේක්ෂව) පැරණි, නමුත් තරමක් කැපී පෙනෙන සම්භාව්යයකි:

"ප්‍රමේය:" සහ "සාධනය:" අතර "සාධනය අදහස:" පැහැදිලිවම ඇතුළත් වන / පළමු පෙළපොත් කිහිපයෙන් එකක් මෙය වන අතර ඕනෑම මාතෘකාවක් පිළිබඳ හොඳම ලිඛිත ගණිත පෙළපොත් වලින් එකකි . අනෙක් අතට, එය සංකීර්ණත්වයට හැඳින්වීමක් පමණක් වන අතර පිටු 50 ක පරිච්ඡේදයක් පමණක් “උසස් මාතෘකා” සඳහා වෙන් කරයි (ආසන්න වශයෙන්, සම්භාවිතා ඇල්ගොරිතම, IP = PSPACE සහ ගුප්තකේතනය ඇතුළුව). සංකීර්ණත්වය පිළිබඳ පළමු පොතක් ලෙස හෝ සැබවින්ම විශිෂ්ට ලිවීමේ උදාහරණයක් ලෙස මෙම පොත විශිෂ්ටයි .

ස්කොට් ආරොන්සන් ලියන්නේ මෙම පොතෙහි “පෙළපොතක බුද්ධිමය තල්ලුව සහිත ජනප්‍රිය පොතක විනෝදය” ඇති බවයි. එය කතන්දර පවසන අතර විනෝදාත්මක උදාහරණ සහ යොමු කිරීම් රාශියක් ලබා දෙයි (ගේම් ඔෆ් ලයිෆ්, සහ ටියුරින්-සම්පූර්ණ යන්ත්‍ර සඳහා තවත් බොහෝ උදාහරණ). එය සංකීර්ණ න්‍යායට වඩා ගැඹුරට නොයන නමුත් විශාල පළලක් ඇත. සංඛ්යානමය භෞතික විද්යාව සමඟ එහි සම්බන්ධතා විශේෂයෙන් සැලකිල්ලට ගත යුතුය.


2
මෙම පොත් එකිනෙක හා සැසඳෙන ආකාරය ගැන උනන්දුවක් දක්වන අයට පැත්තක් වශයෙන්, සිගාක්ට් පොත් සමාලෝචන තීරුව සඳහා මා මෑතකදී ලියූ අරෝරා / බරක් සහ ගෝල්ඩ්රිච් පිළිබඳ මෙම පොත් සමාලෝචනය ද ඉදිරිපත් කළ හැකිය .
ඩැනියෙල් ඇපොන්


5
සිප්සර්ගේ පොතේ ඇති එකම ප්‍රකාශය නම් ඔහු සමහර විට ගණනය කිරීමේ න්‍යාය ආවරණය කිරීමේදී ප්‍රමිතියෙන් තොර නම් භාවිතා කිරීමයි. උදාහරණයක් ලෙස, ඔහු "අර්ධ-තීරණය කළ හැකි" වෙනුවට "හඳුනාගත හැකි" භාවිතා කරයි. නමුත් මම හිතන්නේ පෙළපොත එතරම් පුළුල් ලෙස භාවිතා වී ඇති බැවින් එය මේ වන විට සම්මතයක් බවට පත්වනු ඇත.
Dai Le

4
ඇත්ත වශයෙන්ම, එය පොදුවේ විශිෂ්ට අදහස් දැක්වීමකි, ai ඩයි ලී. ගෝල්ඩ්රිච් සහ අරෝරා / බරක් අතර සමාන වෙනස්කම් ගැන මට සිතිය හැකිය. උදාහරණයක් ලෙස, ගෝල්ඩ්රිච් යන නම භාවිතා කරන අතර අරෝරා / බරක් එෆ් එන් පී යන නම භාවිතා කරයි , ඔවුන් දෙදෙනාම එකම සංකල්පයක් ගැන කතා කළත්. PCFNP
ඩැනියෙල් ඇපොන්

1
සංකීර්ණ න්‍යාය ඉගැන්වීම සඳහා පපඩිමිට්‍රියෝට වඩා සිප්සර් බෙහෙවින් ප්‍රයෝජනවත් බව මට පෙනී ගියේය, ymmv.
ජෙෆ් බර්ඩ්ස්

50

NP- සම්පූර්ණත්වය:

හොඳයි, මම හිතන්නේ ගැරී සහ ජොන්සන්ගේ පරිගණක සහ අන්තර්ක්‍රියාකාරිත්වය: එන්පී-සම්පූර්ණත්වය පිළිබඳ න්‍යායට මාර්ගෝපදේශයක් මෙම ලැයිස්තුවේ ඉහළම පොත් අතරින් සොයාගත හැකිය.


6
අවුරුදු 30 කට පසු තවමත් සංකීර්ණ න්‍යාය පිළිබඳ හොඳම හැඳින්වීම.
එමිල්

1
දශක ගණනාවකට පසු මෙම පොත තවමත් එක් ස්ථානයක ඇති එන්පී සම්පූර්ණ ගැටළු ලැයිස්තුවක් වන අතර, පෙනෙන විදිහට විශ්වකෝෂයක් වන අතර බොහෝ සීඑස් පර්යේෂකයන් මෙම මතය දරන බව පෙනේ
vzn

2
"මගේ ගැටලුව එක්ස් එන්පී සම්පූර්ණද?" යන පොදු ප්‍රශ්නයක් සඳහා මෙය නිතර අසන පැන වෙත එක් කිරීමට නිර්දේශ කරන්න. පිළිතුර සමඟ, "
පළමුව

47

ඇල්ගොරිතම සැලසුම් කිරීම සහ විශ්ලේෂණය:

කෝමන්, තෝමස් එච්., චාල්ස් ඊ. ලීසන්, රොනල්ඩ් එල්. රිවෙස්ට් සහ ක්ලිෆර්ඩ් ස්ටේන්. ඇල්ගොරිතම හඳුන්වාදීම.

ආර්. මොට්වානි, පී. රාගවන්. අහඹු ඇල්ගොරිතම.

ක්ලේන්බර්ග් සහ ටාර්ඩෝස් විසින් රචිත මැත් ඕවර්ෆ්ලෝ: ඇල්ගොරිතම නිර්මාණය පිළිබඳ රයන් විලියම්ස් විසින් යෝජනා කරන ලද මෙම පොත මට හමු විය .

තවත් විශිෂ්ට ග්‍රන්ථයක් වන්නේ උඩි මැන්බර් විසින් රචිත ඇල්ගොරිතම: නිර්මාණාත්මක ප්‍රවේශයකි . මෙම පොත ඇල්ගොරිතමවල නාමාවලියක් නොවේ; ඒ වෙනුවට, එය උත්සාහ කරන්නේ “වියුක්ත ගැටලුවල ගණිතමය ව්‍යුහය හඳුනා ගැනීම” සඳහා පා u කයාට බුද්ධිය ලබා දීමට ය. (සමාලෝචනයකින් උපුටා ගන්නා ලදි)


7
Sedgewick සහ Flajolet විසින් රචිත "ඇල්ගොරිතම විශ්ලේෂණය සඳහා හැඳින්වීමක්" විශිෂ්ටයි.
ජේ

ඩැනියෙල් ස්පීල්මන් සිය “ඇල්ගොරිතම සැලසුම් කිරීම සහ විශ්ලේෂණය” පා .මාලාවේ ක්ලයින්බර්ග් සහ ටාර්ඩෝස් විසින් රචිත පොත භාවිතා කරයි. මම එය ගත්තා, පොතට ඇත්තටම ආදරය කළා. සීඑල්ආර්එස් වලට වඩා එය ළඟා විය හැකි බව මට පෙනී ගියේය.
ඇලෙක්ස් රින්කින්

44

පරිගණක විද්‍යාව සඳහා සාමාන්‍ය ගණිතය:


41

වර්ග පද්ධති සහ ක්‍රමලේඛන භාෂා අර්ථ නිරූපණය:

බෙන්ජමින් පියර්ස්ගේ වර්ග සහ ක්‍රමලේඛන භාෂා සහ පසු විපරම් පරිමාව වර්ග සහ ක්‍රමලේඛන භාෂාවල උසස් මාතෘකා . ක්‍රමලේඛන භාෂා අර්ථ නිරූපණය සඳහා මෙහෙයුම් අර්ථකථන භාවිතා කිරීමත් සමඟ ක්‍රමලේඛන භාෂා නිර්මාණයේ දී වර්ග න්‍යායේ භූමිකාව පිළිබඳ ස්ථිර නමුත් තේරුම්ගත හැකි දළ විශ්ලේෂණයක් ඔවුන් සපයයි.


7
වර්ග න්‍යාය පිළිබඳ වඩාත් ගණිතමය ඉදිරිදර්ශනයක් සඳහා, සෝරෙන්සන් සහ උර්සික්සින් විසින් රචිත “කරි-හොවාර්ඩ් සමාවයවිකතාව පිළිබඳ දේශන” විශිෂ්ට ආරම්භයක් වන අතර, ටයිප් කළ ලැම්බඩා-කැල්කියුලි පිළිබඳ හොඳ දළ විශ්ලේෂණයක් ලබා දෙයි.
ඩොමිනික් මුල්ලිගන්

4
මෙම මාතෘකාව පිළිබඳ ක්‍රමලේඛන භාෂා සඳහා ජෝන් මිචෙල්ගේ පදනම් යෝජනා කරමි. පෙර අදහස් දැක්වීමේදී මෙන් එය වඩාත් ගණිතමය වශයෙන් පරිණත ය.
ආටෙම් පෙලෙනිට්සින්

3
TAPL සඳහා ඉහළ නැංවීම. FYI බෙන්ජමින් පියර්ස් යනු Coq භාවිතා කරන “මෘදුකාංග පදනම” නම් නව පොතක කතුවරයෙකි.
kunjan kshetri

හාපර්ගේ “ක්‍රමලේඛන භාෂා සඳහා ප්‍රායෝගික පදනම්” යනු TaPL දක්වා විශිෂ්ට පසු විපරමකි
brj

40

අසමානතා:

පරිගණක විද්‍යාවේ ඕනෑම කෙනෙකුට ඕනෑම ප්‍රමාණයක් බැඳීමට අවශ්‍ය තවත් වටිනා පොතක් (එසේ නම්, සෑම කෙනෙකුටම!): කොචි-ෂ්වාස් මාස්ටර් පංතිය: මයිකල් ස්ටීල් විසින් ගණිතමය අසමානතා කලාව පිළිබඳ හැඳින්වීමක් .

මාතෘකාව පිළිබඳ විශ්වකෝෂ ග්‍රන්ථයක් වන්නේ අසමානතා ශබ්දකෝෂයකි . මෙය කවරයේ සිට කවරය කියවීම සඳහා වූ පොතක් නොවන අතර, එය ඔබේ අභිමතය පරිදි තබා ගැනීම හොඳය. පොතේ අතිරේකය ද බලන්න .

එපමණක් නොව, විකිපීඩියාවේ අසමානතා පිළිබඳ විශිෂ්ට ලැයිස්තුවක් ඇත .

විශේෂිත මාතෘකා සඳහා, ඔබට උපදෙස් ලබා ගත හැකිය:


1
මා විසින්ම එකතු කරන ලද දෙයකට සබැඳියක් එක් කළ හැකි නම් (ඉහත සමහරක් ඇතුළුව විවිධ ප්‍රභවයන්ගෙන්), මෙහි පොදු අසමානතාවන් පිළිබඳ වංචා පත්‍රිකාවක් ඇත: lkozma.net/inequilities_cheat_sheet
László

1
හාඩි, ලිට්ල්වුඩ්, පොලියා, "අසමානතා", 1930 ගණන්වල (?) මැණික් වර්ගයක්
කොඩ්ලු

39

සිත්ගන්නා සුළුය. ඩොනල්ඩ් ඊ. නූත් විසින් රචිත The Art of Computer Programming හි වෙළුම් කිසිවෙකු සඳහන් කර නැත . ඉතා හොඳ ව්‍යායාම සහිත මාතෘකා පිළිබඳ සවිස්තරාත්මක ප්‍රතිකාරයක්.

එක් උදාහරණයක් සඳහන් කිරීම සඳහා මෙම පොතේ 'රිසෝර්වෝර් නියැදි කිරීම' වැනි මැණික් මට හමු විය.


4
TAOCP තවමත් අදාළ වන අතර වෙළුම. 4A දැන් නිකුත් කර ඇත.
dbasnett

35

අහඹු ඇල්ගොරිතම:

සම්භාවිතාව සහ පරිගණකකරණය: අහඹු ලෙස ඇල්ගොරිතම සහ සම්භාවිතා විශ්ලේෂණය මයිකල් මිට්සෙන්මාකර් සහ එලී අප්ෆල් විසිනි.

සසම්භාවී ඇල්ගොරිතම වල මූලික කරුණු පැහැදිලි කිරීම සඳහා විශිෂ්ට පොතක්. උදාහරණ සහ සාක්ෂි ඉතා පැහැදිලිව විස්තර කර ඇති අතර ඒවා අනුගමනය කිරීම පහසුය. එසේම, අභ්යාස ඉතා විනෝදජනක වේ.

(පිළිතුරු දුන්නේ මාකෝස් විලග්‍රා)

සසම්භාවී ඇල්ගොරිතම විශ්ලේෂණය:

ඇල්ගොරිතම වල වැඩ කරන ඕනෑම කෙනෙකුට සසම්භාවී ඇල්ගොරිතම විශ්ලේෂණය සඳහා මිනුම් සාන්ද්‍රණය තිබිය යුතු අතර එය PDF ආකෘතියෙන් බාගත හැකිය .


3
මෙම පොත වෙනත් මාතෘකාවකින් යෝජනා කරන ලදී (මම හිතන්නේ සුරේෂ් විසිනි). මම එය විශිෂ්ටයි. එය මෙහි සඳහන් කිරීම ගැන ආරොන්ට ස්තූතියි.
එම්.එස්. ඩූස්ටි

35

සිල්වෙන් පයිරොනෙට් දැනටමත් සඳහන් කර ඇති පරිදි, තර්කනය න්‍යායාත්මක පරිගණක විද්‍යාවේ වැදගත් අංගයකි. කෙසේ වෙතත්, පිරිසිදු ගණිත ians යින් සඳහා සකස් කරන ලද පෙළපොත් වලින් තර්කනය ඉගෙන ගැනීම පමණක් ප්‍රමාණවත් නොවේ. වෙනත් වචන වලින් කිවහොත්, වඩාත් “පරිගණක විද්‍යා” දෘෂ්ටිකෝණයකින් තර්කනය ඉගෙන ගැනීම ද වැදගත් ය.

සීමිත ආදර්ශ න්‍යාය

සීමිත ව්‍යුහයන් සමඟ කටයුතු කරන ශිල්ප ක්‍රම ඉගෙන ගැනීමට අපට අවශ්‍යය. ආකෘති න්‍යායෙන් බොහෝ සාම්ප්‍රදායික මෙවලම්, උදා: සංයුක්තතාව සහ ලුවෙන්හයිම්-ස්කොලම් ප්‍රමේයය සීමිත ආකෘති සඳහා අදාළ නොවන බව කවුරුත් දන්නා කරුණකි . මෙය අපව සීමිත ආදර්ශ න්‍යාය අධ්‍යයනය කිරීමට යොමු කරයි . මෙම ප්‍රදේශය සඳහා, මම පහත සඳහන් විශිෂ්ට පොත් නිර්දේශ කරමි:

සීමිත ආකෘති න්‍යායේ උප ක්ෂේත්‍රයක් වන්නේ විස්තරාත්මක සංකීර්ණතාවයකි , එහිදී අපට භාෂා අර්ථ දැක්වීමට අවශ්‍ය තර්කන වර්ගය අනුව සංකීර්ණ පන්ති සංලක්ෂිත කිරීමට අවශ්‍ය වේ. විස්තරාත්මක සංකීර්ණතාව සඳහා නිශ්චිත සඳහන:

සාධනය සංකීර්ණතාව

පරිගණක විද්‍යාවේ තර්කනයේ තවත් වැදගත් අංශයක් වන්නේ සාධනය සංකීර්ණතාව , සංකීර්ණ පන්ති අතර තුන් ආකාර සම්බන්ධතාවයක් අධ්‍යයනය කිරීම, දුර්වල තාර්කික පද්ධති සහ ප්‍රස්තුත සනාථ කිරීමේ පද්ධතියයි. පහත දැක්වෙන අදාළ කරුණු දෙක සලකා බලනු ලැබේ: (i) ප්‍රස්තුත සූත්‍රවල සාධනයන්හි සංකීර්ණතාව සහ (ii) මායිම් අංක ගණිතය ලෙස හැඳින්වෙන අංක ගණිතයේ දුර්වල න්‍යායන් අධ්‍යයනය කිරීම .

ඇස්පෙක්ට් (i) පහත සඳහන් ප්‍රශ්නය සමඟ සම්බන්ධ විය යුතුය: "සෑම ටෝටෝලියාවකටම ටෝටොලොජි ප්‍රමාණයෙන් බහුපදයේ ප්‍රමාණයක් ඇති බවට ප්‍රස්තුත සනාථ කිරීමේ ක්‍රමයක් තිබේද?"

CVCVCC

PVPV

ඔප්පු කිරීමේ සංකීර්ණතාව පිළිබඳ විශිෂ්ට සමීක්ෂණ සඳහා, මම පහත පොත් දෙක නිර්දේශ කරමි:

PV0

ක්‍රෙජෙක්ගේ පොත තරමක් අභියෝගාත්මක වන්නේ ඔහු ගණිතමය තර්කනය සහ ආදර්ශ න්‍යාය පිළිබඳව පා readers කයන්ට දැනටමත් හුරුපුරුදු යැයි උපකල්පනය කර ඇති හෙයිනි (නැතහොත් අවශ්‍ය පසුබිම ඉගෙන ගැනීමට ප්‍රමාණවත් කැමැත්තක් ඇත). නමුත් මෙම පොත කියවීමෙන් හා තේරුම් ගැනීමෙන් ඔබ බොහෝ දේ ඉගෙන ගනු ඇත.


30

ගුප්ත ලේඛන විද්‍යාව:

පරිමාව දෙකක්-පොත ගුප්ත ලේඛන පදනම් Oded Goldreich (විසින් : මූලික මෙවලම් 1 වන පොත හා 2 වන පොත: මූලික අයදුම්පත් ) මෙම විෂය පිළිබඳ විශිෂ්ට පොතක්. ( කර්තෘගේ මුල් පිටුවෙන් ලබා ගත හැකි මුල් කෙටුම්පත් .) මෙම පොතේ කෙටි පිටපතක් ද ඇත.

තවත් විශිෂ්ට ග්‍රන්ථයක් වන්නේ නූතන ගුප්ත විද්‍යාව පිළිබඳ හැඳින්වීම: කැට්ස් සහ ලින්ඩෙල් විසින් රචිත මූලධර්ම සහ ප්‍රොටෝකෝල .

ගුප්ත විද්‍යාවේ ගණිතමය පසුබිම් ගැන උනන්දුවක් දක්වන අය සඳහා, හොෆ්ස්ටයින් සහ වෙනත් අය විසින් ගණිතමය ගුප්ත ලේඛනකරණය පිළිබඳ හැඳින්වීමක් . ස්වාභාවික තේරීම වේ.

අනෙකුත් විශිෂ්ට පොත්:


විශේෂිත මාතෘකා:


2
1993 දී ඔවුන් හඳුන්වා දුන් දා සිට අහඹු වාචාල සාහිත්‍යයෙහි බහුලව භාවිතා වේ; විශේෂයෙන් අත්සන් යෝජනා ක්‍රමවල. මෙම ප්‍රදේශය සුදුසු පරිදි ආවරණය වන පොතක් මම නොදනිමි. යෝජනා පිළිගනු ලැබේ.
එම්.එස්. ඩූස්ටි

1
අහඹු සේනකාරයන් පිළිබඳ පොත බව විශාල උදව් වන්න. මම ක්‍රිප්ටෝ වල වැඩ කරන්නේ නැහැ, නමුත් මම කැට්ස් / ලින්ඩෙල් ඉදිරිපස සිට පසුපසට කියවා ඇත්තෙමි. මෙම නිශ්චිත හේතුව නිසා පෙළපොතේ සිට ගුප්ත සාහිත්‍යයට මාරුවීම දළ වශයෙන් විය. එසේම, ad සාඩෙක්, කුතුහලයෙන් යුතුව: ඔබ කියවා ඇති ඕනෑම පොතකට පෙරළීම පිළිබඳ හොඳ ආවරණයක් තිබේද?
ඩැනියෙල් ඇපොන්

1
An ඩැනියෙල්: මාටින් ගග්නේගේ නිබන්ධනය "අහඹු ඔරකල් මාදිලිය පිළිබඳ අධ්‍යයනයක්" (යූසී ඩේවිස්, 2008) යනු අහඹු වාචාලයන් පිළිබඳ සාපේක්ෂව හොඳ සඳහනකි (තවමත් සම්පූර්ණ වී නැතත්). "රිවයින්ඩින්" ප්‍රශ්නය සම්බන්ධයෙන්: මම ඒ ගැන පොතක් නොදනිමි, නමුත් මම එය සම්පූර්ණයෙන්ම වටහාගෙන ඇතැයි සිතමි. ඔබට ගැටළු සහගත යැයි පෙනෙන කොටස විස්තාරණය කිරීමට ඔබට හැකිද? ඔබට එය වෙනම මාතෘකාවක් මත පවා විමසිය හැකිය.
එම්.එස්. ඩූස්ටි

Ad සාඩෙක්, මම ඒ ගැන ස්වාධීන ප්‍රශ්නයක් ආරම්භ නොකිරීමට නැඹුරු වෙමි, මන්ද එය "උදව්, නැවත පෙරළීම යනු කුමක්ද?" :) ගැටළු සහගත කොටස නම්, රිවයින්ඩින් කිරීම මා ගත් ක්‍රිප්ටෝ පා course මාලාවේ (එනම් කැට්ස් / ලින්ඩෙල්) භාවිතා කළ පෙළ පොතේ නොතිබීමයි, එබැවින් සංකල්පය පිළිබඳ හැඳින්වීමක් මා දැක නැත. ක්‍රිප්ටෝ සාහිත්‍යයෙහි එය නිතිපතා පෙන්වන බව මම දනිමි, නමුත් ක්‍රිප්ටෝ පර්යේෂණයන්හි ක්‍රියාකාරීව සම්බන්ධ නොවන අයෙකු ලෙස, ප්‍රමාණවත් තරම් හමුවීමෙන් නැවත පෙරළීම පිළිබඳ ස්ථිර අවබෝධයක් ලබා ගැනීම සඳහා මම ප්‍රමාණවත් ලිපි කියවනු ඇතැයි මම සැක කරමි. සමහර විට මට නැවත
සැකසීමේ

3
An ඩැනියෙල්: මගේ පොත සමගාමී ශුන්‍ය දැනුම හඳුන්වාදීම මඟින් පෙරළීම සහ ප්‍රොටෝකෝලය සංයුතියේ සන්දර්භය තුළ ඇතිවන දුෂ්කරතා පැහැදිලි කරයි. වෙනත් ප්‍රභවයන් නම්: (1) ඔඩෙඩ් ගෝල්ඩ්රිච්, හියුගෝ ක්‍රව්සික්: ශුන්‍ය දැනුම සනාථ කිරීමේ පද්ධතිවල සංයුතිය පිළිබඳ. සියාම් ජේ. 25 (1): 169-192 (1996) සහ (2) සින්තියා ඩ්වර්ක්, මොනි නූර්, අමිත් සහයි: සමගාමී ශුන්‍ය දැනුම. ජේ. ඒසීඑම් 51 (6): 851-898 (2004).
ඇලොන් රොසෙන්

26

ක්‍රියාකාරී වැඩසටහන්කරණය

  • ක්‍රිස් ඔකාසාකි විසින් තනිකරම ක්‍රියාකාරී දත්ත ව්‍යුහයන් . දත්ත ව්‍යුහයන් පිළිබඳ බොහෝ පොත් C හෝ C ++ වැනි අත්‍යවශ්‍ය භාෂාවක් උපකල්පනය කරයි. කෙසේ වෙතත්, මෙම භාෂාවන් සඳහා දත්ත ව්‍යුහයන් සෑම විටම ක්‍රියාකාරී භාෂාවන්ට හොඳින් පරිවර්තනය නොවේ. මෙම පොත ක්‍රියාකාරී භාෂාවක දත්ත ව්‍යුහයන් සහ ඇල්ගොරිතම ක්‍රියාත්මක කිරීම පිළිබඳ හොඳම ප්‍රදර්ශනයකි.
  • ක්‍රියාකාරී ක්‍රමලේඛනය: බ ru ස් ජේ. මැක්ලෙනන් විසින් පුහුණුවීම් හා න්‍යාය . එහි නම තිබියදීත්, මෙම පොත ප්‍රායෝගිකව නැඹුරු වූවාට වඩා න්‍යාය-නැඹුරු වේ. මෙම පොත කියවන අයට තාවකාලික වැඩසටහන් මඟින් එය ඉගෙන ගන්නා අයට වඩා හොඳ දෘෂ්ටියක් ඇත.
  • ක්රියාකාරී ඇල්ගොරිතමය නිර්මාණ පිළිබඳ මුතු විසින් රිචඩ් කුරුළු . මෙම ගැටළුව පිළිබඳ නවතම ප්‍රදර්ශනයක්, එය ගැටළු විසඳීමේ ප්‍රවේශය ගන්නා අතර ක්‍රියාකාරී ඇල්ගොරිතම සැලසුම් කිරීමේදී ආකර්ශනීය අදහස් ප්‍රදර්ශනය කිරීමෙන් ක්ෂේත්‍රයේ සුන්දරත්වය පෙන්වයි.
  • ඇඩම් ක්ලිපාල විසින් යැපුම් වර්ග සමඟ සහතික කළ වැඩසටහන්කරණය . එය Coq ඉගෙනීමේ හොඳම සම්පත් වලින් එකක් වන අතර, විශේෂයෙන් අවධානය යොමු කරන්නේ වැඩසටහන් සහතික කිරීම සහ තාර්කික / රීති පදනම් කරගත් පද්ධති භාවිතා කරමින් ඔප්පු කරන ප්‍රමේයය ස්වයංක්‍රීය කරන්නේ කෙසේද යන්නයි. උදාහරණ පුළුල් හා අනුගමනය කිරීමට පහසුය.

24

ආසන්න ඇල්ගොරිතම

වජිරානි විසින් රචිත දළ විශ්ලේෂණය ඇල්ගොරිතම පොත මෙම විෂය පිළිබඳ හොඳම පොතයි. තවත් පොතක් වන්නේ හොච්බෝම් විසින් එන්පී-දෘඩ ගැටලු සඳහා ආසන්න ඇල්ගොරිතමයන් ය .

සමාලෝචකයින් දෙදෙනෙකුගේ සැසඳීම් මෙන්න:

මගේ වැඩ සඳහා මාර්ගෝපදේශයක් ලෙස මම එන්පී-හාඩ් ගැටලු සඳහා දළ වශයෙන් ඇල්ගොරිතම පිළිබඳ ඩොරිට් හොච්බෝම්ගේ පොත භාවිතා කර ඇත්තෙමි. හොච්බාම්ගේ පොත නිසැකවම භයානක ය. කෙසේ වෙතත්, සමීක්ෂණ ආකෘතිය ක්ෂේත්‍රයේ හොඳම පුද්ගලයින් එක්රැස් කිරීම සඳහා සුමට ප්‍රවාහයක් සම්පාදනය කළේය. වජිරානිගේ පොත මෙය නිවැරදි කරන්නේ ආරම්භයේ සිට අවසානය දක්වා ඉතා සුමට හා අලංකාර ලෙසිනි. විශිෂ් problem ගැටළු කට්ටල, බොහෝ ගැටලු සඳහා විශිෂ්ට ඉඟි සහ විවෘත ගැටළු සඳහා වෙන් කර ඇති පොතේ අවසානයේ කොටසක් ඇත, එය ඇත්තෙන්ම සිසිල් ලක්ෂණයකි.

හා

එන්පී-සම්පුර්ණ සහ එන්පී-දෘ hard ගැටලු ආසන්න වශයෙන් විසඳීමට අදාළ පොත් මම සොයමින් සිටිමි. හොච්බාම්ගේ තවත් පොතක් තිබේ. එයද මා සතුව ඇත. අවාසනාවකට මෙන්, එම පොත පර්යේෂකයන් කිහිප දෙනෙකු විසින් ලියන ලද බැවින් එය පර්යේෂණ නැඹුරු පොතක් වේ. එය දෘඩ ආවරණ දෙකක් තුළ පර්යේෂණ පත්‍රිකා කිහිපයක් කියවීම වැනි ය. මෙයින් අදහස් කරන්නේ කෙනෙකුට ආසන්න ඇල්ගොරිතම සමඟ යම් ආකාරයක අතරමැදි මට්ටමේ අත්දැකීමක් තිබිය යුතු බවයි.

මෑත පොතක් වන්නේ විලියම්සන් සහ ෂ්මොයිස් විසින් දළ වශයෙන් ඇල්ගොරිතම නිර්මාණය කිරීමයි.


22

සංයෝජන

හඳුන්වාදීමේ පොත්. පහත සඳහන් ඕනෑම පොතකට විෂය පිළිබඳ විශිෂ්ට හැඳින්වීමක් ලෙස සේවය කළ හැකිය:

වඩාත් උසස් පෙළ.

  • සංඛ්‍යාත්මක සංයෝජක විද්‍යාව, 1 වන වෙළුම සහ 2 වන වෙළුම ස්ටැන්ලි විසිනි. එය හුදෙක් සංඛ්‍යාත්මක සංයෝජක විද්‍යාව පිළිබඳ විශිෂ්ට කෘතියකි; ඉතා අභියෝගාත්මක, ඉතා ගැඹුරු.
  • සංයුක්ත ඇල්ගොරිතම: ක්‍රෙහර් සහ ස්ටින්සන් විසින් උත්පාදනය, ගණනය කිරීම සහ සෙවීම . සංයුක්ත විද්‍යාවේ පරිගණක විද්‍යා යෙදුම් සඳහා වඩාත් ගැලපේ.
  • ආකලන සංයෝජක විද්‍යාව ටෙරන්ස් ටාවෝ සහ වැන් එච්. සංඛ්‍යා සිද්ධාන්තයට සම්බන්ධ සංයුක්ත ගැටළුවකට මුහුණ දෙන විට ඉතා ප්‍රයෝජනවත් සඳහනක්.

22

සංයෝජන

පිලිප් ෆ්ලජොලෙට් සහ රොබට් සෙඩ්ජ්වික් විසින් විශ්ලේෂණ සංයෝජක විද්‍යාව උපුටා දැක්වීමට මට අවශ්‍යය . එය ඇල්ගොරිතම ගණනය කිරීම සහ විශ්ලේෂණය සඳහා ශක්තිමත් ගණිතමය පසුබිමක් සපයයි. දින දෙකකට පෙර මියගිය සහ විශිෂ්ට ගණිත ian යෙකු හා පරිගණක විද්‍යා ist යෙකු වූ පිලිප් ෆ්ලජොලෙට් හට උපහාර දැක්වීමටද මට අවශ්‍යය.


21

බෙදා හරින ලද ඇල්ගොරිතම

බෙදා හරින ලද ඇල්ගොරිතම නැන්සි ලින්ච් විසින් මෙය බෙදා හරින ලද පරිගණකකරණයේ පුරෝගාමියෙකු විසින් ලියන ලද සම්භාව්‍ය පා text යකි;

ජෙරාඩ් ටෙල් විසින් බෙදා හරින ලද ඇල්ගොරිතම හඳුන්වාදීම ඉතා හොඳ හැඳින්වීමක්, උපාධි මට්ටමේ පා courses මාලා සඳහා ද සුදුසු ය; පණිවුඩ යැවීමේ ආකෘතිය කෙරෙහි අවධානය යොමු කර ඇත

බෙදා හරින ලද පරිගණකකරණය: හගිට් ආටියා සහ ජෙනිෆර් වෙල්ච් විසින් මූලධර්ම, සමාකරණ සහ උසස් මාතෘකා මෙහි ආචාර්ය උපාධි මට්ටමේ පා courses මාලා සඳහා සුදුසු උසස් ද්‍රව්‍ය අඩංගු වේ; පණිවිඩ යැවීම සහ හවුල් මතක ආකෘති යන දෙකම සාකච්ඡා කෙරේ

බෙදා හරින ලද ඇල්ගොරිතම සැලසුම් කිරීම සහ විශ්ලේෂණය නිකොලා සැන්ටෝරෝ විසින් සාපේක්ෂව මෑත කාලීන පොතක් උපාධි හා ආචාර්ය උපාධි මට්ටමින් භාවිතා කළ හැකිය; ද්‍රව්‍ය ඉදිරිපත් කරනු ලබන්නේ ප්‍රොටෝකෝලය සැලසුම් කිරීම සඳහා ය


21

වැඩසටහන් සත්‍යාපනය


1
සමහර පොත් (මන්නා සහ ඇප්ට් et al.) තරමක් දින වකවානු ඇත (මන්නා 1977 සිට සහ 1991 සිට Apt et al), තර්කනය පදනම් කරගත් වැඩසටහන් සත්‍යාපන ක්ෂේත්‍රය පසුගිය දශකය තුළ විශාල ප්‍රගතියක් පෙන්නුම් කර ඇත. අහෝ, යාවත්කාලීන පෙළක් නොමැත.
මාටින් බර්ජර්

Art මාටින්බර්ගර් මෑත කාලීන පෙළපොත් වල නොමැති නම් මෙම ප්‍රධාන ප්‍රගතිය ඉගෙන ගත හැක්කේ කොතැනින්ද යන්න පිළිබඳ ඉඟියක් තිබේද?
මිච්

Itch මච් මම තවමත් බිය වී ඇති අතර එය තවමත් පෙළපොත් වල ලියා නොමැත. ඉසබෙල් / එච්ඕඑල් සහ කොක් වැනි අන්තර්ක්‍රියාකාරී මෙවලම් පිළිබඳ සමහර සාහිත්‍ය දෙස බලන්න. ෆේස්බුක් හි "අනුමානය" සහ එය පිටුපස ඇති න්‍යාය වැනි මෑත කාලීන ස්වයංක්‍රීය සත්‍යාපන මෙවලම් දෙස බලන්න.
මාටින් බර්ජර්

හත් සහ රයන් ඉතා ආරම්භක හිතකාමී ය. සීඑස් හි ඇති සියලුම දැඩි ගණිතය ගැන එතරම් හුරු නැති කෙනෙකුට එය හොඳ ආරම්භයකි. සීඑස් හි විධිමත් පැත්ත ගැන මා කියවූ පළමු පොත එයයි. මම සියලු කියවීම් අවසන් කළ පළමු පෙළ පොත ද එයයි.
රෙක්ස්යුවාන්

21

ක්වොන්ටම් කම්පියුටින්

මෙම විෂය පිළිබඳ තවත් විශිෂ්ට හඳුන්වාදීමේ පොත් දෙකක් නම්:


19

තොරතුරු න්‍යාය

තොරතුරු න්‍යාය, අනුමාන කිරීම් සහ ඉගෙනුම් ඇල්ගොරිතම ඩේවිඩ් මැකේ විසිනි

තොරතුරු න්‍යාය පිළිබඳ වෙනත් ප්‍රසිද්ධ පෙළපොත් විකිපීඩියාවෙන් සොයාගත හැකිය .


මාතෘකාව "සෑම කෙනෙකුම කියවිය යුතු පොත් මොනවාද?", එබැවින් නිර්දේශය තෝරා බේරා ගත යුතුය. ඕනෑම කෙනෙකුට ඇමසන් / පුස්තකාලයෙන් "තොරතුරු න්‍යාය" පිළිබඳ විශාල පොත් ලැයිස්තුවක් සොයාගත හැකිය, නමුත් ඔබට තේරීම් 2-3 ක් පමණක් තිබේ නම්, ඒවා මොනවාද? ඔබ නිර්දේශ කළ යුත්තේ ඔබ කියවා ඇති පොත් හෝ ලිපි පමණක් පරෙස්සමින් කියවා ඔබේ නිරපේක්ෂ ප්‍රියතමයන් දක්වා පටු කරන්න!
Dai Le

1
Ai ඩේ ලී: ඔබ හරි. මම හිතන්නේ ලැයිස්තුව පටු කළ යුතුයි. (ලැයිස්තුව පුපුරා යෑමට මම පෞද්ගලිකව වගකිව යුතුය!) කෙසේ වෙතත්, මෙය ප්‍රජා විකී තනතුරකි. අපේක්ෂකයින් යනු කුමක්දැයි යෝජනා කරමින් මම දිගු ලැයිස්තුවක් එක් කළෙමි. වඩාත්ම සුදුසු පොත් පමණක් ඇතුළත් කිරීමට කරුණාකර ලැයිස්තුව කපන්න.
එම්.එස්. ඩූස්ටි

1
Ad සාඩෙක්: එක් පුද්ගලයෙකු තවත් පුද්ගලයෙකුගේ ලැයිස්තුවක් අඩු කරනු ඇතැයි මම බිය වෙමි. තනතුර තවමත් වර්තමාන ස්වරූපයෙන් පවතින තාක් කල්, තනතුරේ අරමුණ සම්බන්ධයෙන් එය සම්පූර්ණයෙන්ම නිෂ් less ල ය.
Dai Le

Ai ඩයි: ඔබ හරි. නමුත්, මම "තොරතුරු න්‍යාය" පිළිබඳ විශේෂ expert යෙකු නොවන බැවින්, මට ලැයිස්තුව තනිවම සකසා ගත නොහැක. මට පුළුවන්: 1) මා එකතු කළ ලැයිස්තුව මුළුමනින්ම මකා දමන්න (මුල් ලැයිස්තුවෙන් ඉවත් වන්න), හෝ 2) විශේෂ expert යෙකුගේ අවධානය යොමු කිරීම සඳහා පෙළෙහි දැන්වීමක් එක් කරන්න. ඔබ යෝජනා කරන්නේ කුමක්ද?
එම්.එස්. ඩූස්ටි

Ad සාඩෙක්: මම තොරතුරු න්‍යාය මත වැඩ කරන්නේ නැහැ, නැතිනම් මම ලැයිස්තුව සකස් කිරීමට උදව් කරමි. ලාන්ස් ෆෝට්නෝ ඇතුළු බොහෝ අය විසින් "තෝමස් එම්. කවරය, ජෝයි ඒ. තෝමස්. තොරතුරු න්‍යායේ මූලද්‍රව්‍යයන්" පොත නිර්දේශ කර ඇති බව මම දනිමි. නමුත් සෑම කෙනෙකුම එය කියවිය යුතුද නැද්ද යන්න මට විශ්වාස නැත. මම හිතන්නේ අපි මුල් පෝස්ටරයට ගරු කළ යුතුයි. එබැවින් සම්පූර්ණ ලැයිස්තුව මකා දැමීම හොඳ විකල්පයකි. මම ඉතා සමාව අයදිමි. ඔවුන්ගේ පොත් යෝජනා කරන්නේ මන්දැයි පැහැදිලි කිරීමට ඔබට මිනිසුන්ගෙන් ඉල්ලා සිටිය හැකිද?
Dai Le

19

සන්නිවේදන සංකීර්ණතාව:


සන්නිවේදන සංකීර්ණත්වය ඊයල් කුෂිලෙවිට්ස් සහ නොම් නිසාන් විසිනි.

මෙය සම්භාව්‍ය හා ඉතා හොඳින් ලියා ඇති පොතකි. මේ වන විට ටිකක් පැරණි වුවත්, තවමත් ක්ෂේත්‍රයට හොඳම හඳුන්වාදීමේ පොත. එසේම, අභ්‍යාස අතිශයින්ම විනෝදජනක වන අතර, සංකල්ප පැහැදිලි කිරීමෙන් පසුව හරියටම ලබා දී ඇති අතර එමඟින් ඔබ ඉගෙන ගත් දේ නිවැරදි කළ හැකිය.

සසම්භාවී සන්නිවේදන සංකීර්ණතාවයේ කොටස පළමු පොතේ කොටස් සමඟ අනුපූරක විය යුතුය.


සන්නිවේදන සංකීර්ණත්වය සහ සමාන්තර පරිගණනය ජුරාජ් හෝම්කොවික් විසිනි.

සමහර විට කියවීමට ටිකක් අපහසු වුවද ඉතා සම්පූර්ණයි. බුද්ධිමය පැහැදිලි කිරීම් ඉතා පැහැදිලිය, ඉතා හොඳ ව්‍යායාම. දෙවන කොටසේදී එය සමාන්තර පරිගණකයට සම්බන්ධතා ඉදිරිපත් කරයි.


18

සංයෝජන

හර්බට් එස්. විල්ෆ් විසින් උත්පාදනය කරන ලද ශ්‍රිතය සුමට ආකාරයකින් ලියා ව්‍යායාම වලින් පිරී ඇති කාර්යයන් උත්පාදනය කිරීමේ න්‍යායට විශිෂ්ට හැඳින්වීමකි. ඔහු ඔහුගේ සියලුම පොත් එලෙස ලියන්නේ නම්, මට තවත් පොතක් ආරම්භ කිරීමට බලා සිටිය නොහැක.

රිචඩ් ස්ටැන්ලි විසින් රචිත සංඛ්‍යාත්මක සංයෝජනය විශිෂ්ට යොමු කිරීමකි (උසස්).

සංයෝජක විද්‍යාව: මාතෘකා, ශිල්පක්‍රම, පීටර් කැමරන් විසින් ඇල්ගොරිතම සහ මැටූසෙක් සහ නෙසෙට්‍රිල් විසින් ගණිතය විවික්ත කිරීමට ආරාධනා කිරීම සංයෝජක විද්‍යාවට කදිම හැඳින්වීමකි.

රොබට්ස් සහ ටෙස්මන් විසින් ව්‍යවහාරික සංයෝජක විද්‍යාව යනු ව්‍යවහාරික සංයෝජක විද්‍යාව පිළිබඳ විශ්වකෝෂයකි.


17

ප්‍රශස්තිකරණය

මම කැමතියි පෝල් නහින්ගේ අවම අවම හොඳම විට.

ගැටළු සහ පෞරුෂයන් තුළින් ප්‍රශස්තිකරණය පිළිබඳ හුරුබුහුටි ඉතිහාසයක්. බිල් ගැසාර්ච්ගේ එක් තීරුවක 32-36 පිටුවල හොඳ සමාලෝචනයක් තිබේ .

eiπ=1


16

තවත් එකක්, බූලියන් ෆූරියර් විශ්ලේෂණයට (මාතෘකාවට අනුව) සහ මූලික කරුණු, වඩා දියුණු මාතෘකා සහ (බොහෝ) යෙදුම් යන දෙකම ආවරණය වන පරිදි රයන් ඔ'ඩොනෙල් (2014) විසින් බූලියන් කාර්යයන් විශ්ලේෂණය කිරීමයි . එය නිදහසේ සමඟ අමුත්තන් ලබා ගත හැකි මෙහි මෙන්ම.
ක්ලෙමන්ට් සී.

16

පරිගණක වීජ ගණිතය

මෙම පිළිතුරේ ශිව පැවසූ පරිදි , මෙම ක්ෂේත්‍රයේ සාහිත්‍යකරුවන් පොදු පාරිභාෂිතය නොමැතිව තැනින් තැන විසිරී ඇත. "සංකේතාත්මක ගණනය කිරීම", "වීජීය සංකීර්ණ න්‍යාය", "පරිගණක වීජ ගණිතය" හෝ "පරිගණක වීජ ගණිතය" සෙවීමෙන් කෙනෙකුට ප්‍රයෝජනවත් යොමු සොයාගත හැකිය. මෙම ප්‍රශ්නයට පිළිතුරු වලින් යෝජනා කර ඇති පරිදි ,

පරිගණක විශ්ලේෂණය

සැබෑ ශ්‍රිතයන්හි ගණනය කිරීම් සමඟ කටයුතු කරන සිත්ගන්නා ක්ෂේත්‍රයක් ද වේ. "ගණනය කළ හැකි විශ්ලේෂණය" හෝ "ගණනය කළ හැකි ගණනය කිරීම්" ලෙසද හැඳින්වේ.


14

තර්කනය:

මෙය මෙම ප්‍රශ්නයට මා දුන් පිළිතුරේ වාචික වචනයකි .

මූලික ගණිතමය තර්කනය පිළිබඳ දැනුම, මගේ මතය අනුව, ධනයකි. කෝරි සහ ලැස්කාර්ගේ පොත් දෙක දෙස බැලීමට ඔබට හැකිය.

ගණිතමය තර්කනය: අභ්‍යාස සහිත පා se මාලාවක් I කොටස

ගණිතමය තර්කනය: අභ්‍යාස II සමඟ දෙවන කොටස


හර්බට් එන්ඩර්ටන් විසින් තර්කනයට ගණිතමය හැඳින්වීමක් කරන්නේ කෙසේද?
රෙක්ස්යුවාන්

14

3
ජී. පොල්යා විසින් "එය විසඳන්නේ කෙසේද" සමඟ මෙය සැසඳෙන්නේ කෙසේද? පොලිය යනු මුල් පිටපත හා වඩා හොඳය යන උපදෙස් මා කියවා ඇතැයි මම සිතමි, නමුත් මට විශ්වාස නැත, එය අන්තර්වාර්‍ගවල නැවත පිරිපහදු කළ නොහැක;)
ඩේව්බෝල් aka user750378

2
පොලියාගේ "එය විසඳන්නේ කෙසේද" (HTSI) වෙලේමන්ගේ පොතට වඩා වෙනස් විෂයක් ආමන්ත්‍රණය කරයි. පොලියා යනු අමාරු ගැටලුවලට විසඳුම් සෙවිය හැකි ආකාරය පිළිබඳ කටකතාවක් වන අතර වෙලේමන් යනු ගණිතයේ සම්මුතීන් සහ භාෂාව භාවිතා කරමින් විසඳුම් විධිමත් කරන්නේ කෙසේද යන්න පිළිබඳ පෙළපොතකි. එච්ටීඑස්අයි සතුව සාක්ෂි පිළිබඳ තොරතුරු ඇත, නමුත් එය කිසිදු ව්‍යුහයක් නොමැති “පාරිභාෂික” ස්වරූපයෙන් ඉදිරිපත් කර ඇති අතර වෙලේමන් ඔබට ව්‍යායාම සමඟ ක්‍රමානුකූල විෂය මාලාවක් ඉදිරිපත් කරයි. දෙකම කියවීම වටී, නමුත් එකක් අනෙක වෙනුවට නොවේ.
නේට් සී.කේ.

13

අංක න්‍යාය

බොහෝ පුවත්පත්වල නිතර සඳහන් කර ඇති පොත් කිහිපයක් මට හමු විය. ඔවුන් මෙම විෂය පිළිබඳ විශිෂ්ටයි, නමුත් සමහර ඒවා තරමක් පැරණි ය. මෙන්න මට මතක ඇති දේ ලැයිස්තුවක්:


රොසෙන්ගේ පොත ගැන හෝ ඩෝවර් නැවත මුද්‍රණය කිරීම ගැන ඔබ සිතන්නේ කුමක්ද?
මාර්ක් සී

Ark මාක්: ඔවුන්ත් හොඳයි. ලිපිය සංස්කරණය නොකර, එම පොත් ද එකතු නොකරන්නේ ඇයි?
MS Dousti


12

ප්‍රස්ථාර න්‍යාය

ප්‍රස්තාර න්‍යාය හඳුන්වාදීම සඳහා : බටහිරින් ප්‍රස්තාර න්‍යාය හඳුන්වාදීම

ප්‍රස්තාර න්‍යාය පිළිබඳ වැඩි විස්තර: බොන්ඩි සහ මූර්ටි විසින් ප්‍රස්ථාර න්‍යාය

ප්‍රස්තාර න්‍යායේ නව වර්ධනයන් මෙන්ම පැරණි සම්භාව්‍ය ප්‍රති results ල අඩංගු සවිස්තරාත්මක පොත:

ප්‍රස්ථාර න්‍යාය: රයින්හාර්ඩ් ඩීස්ටෙල් .

සංයුක්ත ප්‍රවේශය සහිත පෘෂ් on යන්හි ප්‍රස්ථාර සඳහා:

මතුපිට ප්‍රස්ථාර

සහ කැණීම් සඳහා:

ඩිග්‍රැෆ්ස්: න්‍යාය, ඇල්ගොරිතම සහ යෙදුම්


1
ද ඇත භාවිතයේදී පරිශීලකයා න්යාය ක්ලෝඩ් Berge, ප්රස්තාරය න්යායේ පිහිටුවීමේ පුරෝගාමියෙකු විසින්. සහ ප්‍රස්ථාර සහ ඇල්ගොරිතම මයිකල් මිනූක්ස් සහ මයිකල් ගොන්ඩ්‍රන් විසිනි.
ලැමීන්

11

සාධනය න්‍යාය

ට්‍රොයෙල්ස්ට්‍රා සහ ෂ්විච්ටන්බර්ග්ගේ මූලික සාධනය න්‍යාය නම් මාතෘකාව පිළිබඳ සත්‍ය පා text යයි.

ජිරාඩ්, ටේලර් සහ ලාෆොන්ට්ගේ සාධනය සහ වර්ග මෙම විෂය පිළිබඳ කෙටි පොතක් වන අතර, එහි සංස්කරණයක් http://www.paultaylor.eu/stable/Proofs%2BTypes.html වෙතින් බාගත හැකිය.


9

VLSI නිර්මාණය

මම දෘඩාංග වලට සම්බන්ධ නැහැ. කෙසේ වෙතත්, නිති අසන ප්‍රශ්නවලට ටීඑල්එස් හි උප ක්ෂේත්‍රයක් ලෙස වීඑල්එස්අයි ඇතුළත් වන හෙයින්, වීඑල්එස්අයි නිර්මාණයේ ප්‍රසිද්ධ පොත් ගැන මම විශේෂ expert යෙකුගෙන් විමසුවෙමි. මෙන්න ඒගොල්ලො:


මෙම ප්‍රදේශය තුළ, මම අතිශයින් කියවිය හැකි මෙම පොත නිර්දේශ කරමි: ජියෝවානි ඩි මිචෙලි විසින් ඩිජිටල් පරිපථ සංස්ලේෂණය සහ ප්‍රශස්තකරණය
චාන් ලී
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.