คำถามติดแท็ก terminology

คำศัพท์เหล่านั้นทำให้ฉันสับสน ตามที่ฉันเข้าใจ เครื่องมือแก้ปัญหา SAT: ตัดสินความพึงพอใจของตรรกะเชิงประพจน์ (ใช้ DPLL หรือ Local Search) ขั้นตอนการตัดสินใจเป็นกระบวนการในการตัดสินใจความพึงพอใจของทฤษฎีอันดับหนึ่งที่สามารถตัดสินใจได้ SMT solver เป็นขั้นตอนการตัดสินใจ + ตัวแก้ SAT ทฤษฎีบทพิสูจน์ว่าบางสิ่งเช่น Dynamic Logic เช่นเครื่องมือ KeY ข้อ จำกัด การแก้ปัญหา: ฉันไม่รู้ แต่ฉันเห็นผู้คนเรียก Z3 ว่าเป็นผู้พิสูจน์ทฤษฎีบท ดังนั้นฉันไม่รู้วิธีที่จะทำให้ชัดเจนคำเหล่านั้น และคำทั่วไปมากที่สุดสำหรับพวกเขาทั้งหมดคืออะไร? ขอขอบคุณ.

23 algorithms  terminology  reference-request  decision-problem 

คำถามนี้ถูกย้ายจาก Theoretical Computer Science Exchange Exchange เนื่องจากสามารถตอบได้ใน Computer Science Stack Exchange อพยพ 7 ปีที่ผ่านมา ในสคริปต์ที่ฉันกำลังอ่านเกี่ยวกับแคลคูลัสแลมบ์ดามีการนิยามเบต้าเทียบเท่าดังนี้: -equivalenceเป็นความสมดุลที่เล็กที่สุดที่มี\≡ บีตา→การบีตาββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta ฉันไม่รู้ว่ามันหมายถึงอะไร ใครสามารถอธิบายมันในแง่ง่ายกว่า? อาจจะด้วยตัวอย่าง? ฉันต้องการมันสำหรับบทแทรกตามทฤษฎีบทโบสถ์ - รัสเซอร์พูด หาก M N แล้วมี L กับ M L และ N \ twoheadrightarrow_ \ เบต้าลิตร≡β≡β\equiv_\beta↠β↠β\twoheadrightarrow_\beta↠β↠β\twoheadrightarrow_\beta

21 logic  terminology  lambda-calculus  type-theory 

ฉันสอนการคำนวณให้กับเด็กอายุ 18 ปี หลังจากที่มีสัญกรณ์โปแลนด์ย้อนกลับอธิบายให้พวกเขาหนึ่งถามว่าทำไมมันสำคัญพอที่จะอยู่ในการสอบสาธารณะ ฉันอธิบายความสำคัญทางประวัติศาสตร์ของเครื่องคิดเลขยุค 70 แต่สิ่งนี้ไม่สามารถแก้ไขปัญหาได้ ดังนั้นจึงมีและการใช้งานพร้อมกันในทางปฏิบัติหรือทางทฤษฎีของ RPN

21 terminology  education 

ฉันรู้ว่าการคำนวณแบบใดที่คลุมเครือ (เป็นสิ่งที่คอมพิวเตอร์ทำ) แต่ฉันต้องการคำจำกัดความที่เข้มงวดยิ่งขึ้น Dictionary.comคำจำกัดความของการคำนวณการคำนวณและการคำนวณเป็นแบบวงกลมดังนั้นจึงไม่ช่วย Wikipediaกำหนดการคำนวณเพื่อให้เป็น "การคำนวณประเภทใดก็ตาม มันกำหนดการคำนวณว่า "กระบวนการโดยเจตนาที่แปลงอินพุตอย่างน้อยหนึ่งรายการเป็นผลลัพธ์อย่างน้อยหนึ่งรายการโดยมีการเปลี่ยนแปลงตัวแปร" แต่ดูเหมือนว่าคำจำกัดความนี้รวมถึงการกระทำหลายอย่างในการคำนวณแม้ว่าโดยทั่วไปแล้วพวกเขาจะไม่คิดว่าเป็นการคำนวณ ยกตัวอย่างเช่นสิ่งนี้จะไม่นำมาซึ่งการกล่าวว่าการระเบิดด้วยระเบิดเป็นการคำนวณโดยอินพุตเป็นฟิวส์ที่ถูกจุดไฟและเอาต์พุตเป็นระเบิดหรือไม่ ดังนั้นการคำนวณคืออะไร?

20 terminology  computability 

ฉันพยายามที่จะคิดออกว่าใครเป็นคนบัญญัติศัพท์คำว่า "การเรียนรู้ของเครื่อง" คำถามขึ้นอยู่กับว่าอาร์เธอร์ซามูเอลอ้างถึงการกำหนดเขตข้อมูลของ "การเรียนรู้ของเครื่อง" ในปี 1959 เป็น: สาขาวิชาที่ให้คอมพิวเตอร์สามารถเรียนรู้ได้โดยไม่ต้องตั้งโปรแกรมอย่างชัดเจน ? คุณสามารถค้นหาการอ้างอิงจำนวนมากตามคำจำกัดความนี้บนอินเทอร์เน็ตได้ แต่ฉันไม่สามารถติดตามแหล่งที่มาได้ บางคนให้มันเป็นกระดาษ 1959 ของเขาบนตัวตรวจสอบแต่ฉันไม่พบคำนิยามดังกล่าวที่นั่น

19 terminology  reference-request  machine-learning  history 

ฉันกำลังเขียนรายงานการวิจัยและฉันต้องพูดโดยทั่วไปว่าไมโครคอนโทรลเลอร์ตัวหนึ่งช้ากว่าไมโครโปรเซสเซอร์ตัวอื่น อย่างไรก็ตามฉันกังวลว่าเพียงแค่บอกว่า 'ช้ากว่า' จะไม่เหมาะสมในรายงานการวิจัย ฉันถูกไหม? ตกลงหรือเปล่าที่จะบอกว่าตัวประมวลผลตัวหนึ่ง 'ช้า' หรือฉันต้องพูดอย่างอื่น? ฉันจะพูดอะไรอีก สิ่งที่ดีที่สุดที่ฉันคิดไว้คือมีพลังการคำนวณน้อยกว่าตัวอื่น ๆ หรือตัวควบคุมขนาดเล็กมี 'พลังการคำนวณต่ำ' น่าเสียดายที่การแสดงออกเหล่านี้ดูเหมือนจะไม่เป็นที่นิยมเมื่อค้นหาออนไลน์ ดังนั้นสิ่งที่จะเป็นวิธีที่ดีกว่าและถูกต้องทางวิชาการของการพูดแบบนี้?

19 terminology  computer-architecture 

ฉันอ่านเกี่ยวกับการเขียนโปรแกรมแบบไดนามิกเมื่อฉันเจอข้อความอ้างอิงต่อไปนี้ อัลกอริทึมการเขียนโปรแกรมแบบไดนามิกจะตรวจสอบวิธีที่เป็นไปได้ทั้งหมดในการแก้ปัญหาและจะเลือกทางออกที่ดีที่สุด ดังนั้นเราจึงสามารถคิดคร่าว ๆ ของการเขียนโปรแกรมแบบไดนามิกเป็นอัจฉริยะวิธีแรงเดรัจฉานที่ช่วยให้เราไปถึงการแก้ปัญหาที่เป็นไปได้ทั้งหมดในการเลือกที่ดีที่สุด หากขอบเขตของปัญหาเป็นเช่นนั้นที่จะผ่านการแก้ไขปัญหาที่เป็นไปได้ทั้งหมดและเป็นไปได้อย่างรวดเร็วพอการเขียนโปรแกรมแบบไดนามิกรับประกันการหาทางออกที่ดีที่สุด ตัวอย่างต่อไปนี้ได้รับ ตัวอย่างเช่นสมมติว่าคุณต้องได้รับจากจุด A ถึงจุด B โดยเร็วที่สุดในเมืองที่กำหนดในช่วงชั่วโมงเร่งด่วน อัลกอริทึมการเขียนโปรแกรมแบบไดนามิกจะตรวจสอบรายงานการจราจรทั้งหมดโดยดูจากชุดค่าผสมที่เป็นไปได้ทั้งหมดของถนนที่คุณอาจจะใช้แล้วจะบอกให้คุณทราบว่าวิธีใดเป็นวิธีที่เร็วที่สุด แน่นอนว่าคุณอาจต้องรอสักครู่จนกว่าอัลกอริทึมจะเสร็จสิ้นและจากนั้นจึงเริ่มขับรถเท่านั้น เส้นทางที่คุณจะใช้จะเป็นเส้นทางที่เร็วที่สุด (สมมติว่าไม่มีอะไรเปลี่ยนแปลงในสภาพแวดล้อมภายนอก) Brute Force กำลังพยายามแก้ปัญหาที่เป็นไปได้ก่อนตัดสินใจเลือกทางออกที่ดีที่สุด การเขียนโปรแกรมแบบไดนามิกแตกต่างจาก Brute Force อย่างไรหากผ่านโซลูชั่นที่เป็นไปได้ทั้งหมดก่อนที่จะเลือกสิ่งที่ดีที่สุดความแตกต่างเดียวที่ฉันเห็นคือการเขียนโปรแกรมแบบไดนามิกคำนึงถึงปัจจัยเพิ่มเติม (สภาพการจราจรในกรณีนี้) ฉันถูกต้องหรือไม่ที่จะบอกว่า Dynamic Programming เป็นส่วนหนึ่งของวิธี Brute Force?

19 algorithms  terminology  optimization  dynamic-programming 

ฉันพบการอ้างอิงถึงจุดคงที่ในคำถามและคำตอบที่ stackexchange และค้นหาความหมายบนเว็บอย่างชัดเจนเพื่อค้นหาการอ้างอิงที่ไซต์เช่น Wikipedia อย่างไรก็ตามไม่มีการอ้างอิงใดตอบคำถามของฉันว่าอะไรคือจุดคงที่และความหมายในโลกของวิทยาศาสตร์คอมพิวเตอร์

19 terminology 

ฉันคุ้นเคยกับภาษาการเขียนโปรแกรมหลายสิบภาษาที่มีข้อยกเว้นบางประการ แต่ฉันก็มาพบกับแนวโน้ม "พยาธิวิทยา" สองประการ ดูเหมือนจะไม่มีรูปแบบทั่วไปหรือลำดับชั้นของข้อยกเว้น ทุกภาษาจะม้วนเวอร์ชั่นของตัวเองและหากข้อยกเว้นทำให้เป็นมาตรฐานแล้วชนิดของข้อยกเว้นที่พบในมาตรฐานจะค่อนข้างโดยพลการ สตริงหรือข้อยกเว้นในการเรียกใช้ดีบักเกอร์หรือสิ่งที่เกิดขึ้นเมื่อไม่พบไฟล์ ฯลฯ ) ข้อยกเว้นที่กำหนดโดยภาษานั้นไม่ค่อยได้ใช้ซ้ำโดยโปรแกรมผู้ใช้ โดยปกติจะมีข้อยกเว้นที่ได้รับความนิยมหนึ่งหรือสองรายการ (ตัวอย่างเช่น "not Implement") แม้ว่าโปรแกรมเมอร์ส่วนใหญ่จะสร้างข้อยกเว้นของตนเอง (เปรียบเทียบสิ่งนี้กับการสร้างประเภทตัวเลขใหม่หรือประเภทคอลเลกชันใหม่) ดูเหมือนว่าฉันจะไม่สนใจเลย ทำไมไม่มีใครรู้ว่าจะต้องมีข้อผิดพลาดประเภทใดในโปรแกรมผู้ใช้ ฉันหวังว่าจะมีลำดับชั้นที่ดีคล้ายกับประเภทตัวเลขคอลเลกชันระบบวัตถุ ฯลฯ ยิ่งไปกว่านั้น Goolge และ Wikipedia ยังให้ความช่วยเหลือเพียงเล็กน้อยในเรื่องนี้ จนถึงตอนนี้ฉันเพิ่งพบบทความเกี่ยวกับข้อยกเว้นการทำงานที่เปิดขึ้นเป็นตอน: บทความนี้ระบุว่าการเขียนโปรแกรมการทำงานที่ขี้เกียจไม่เพียง แต่ทำให้กลไกการจัดการข้อยกเว้นในตัวไม่จำเป็น แต่ยังให้เครื่องมือที่มีประสิทธิภาพสำหรับการพัฒนาและการแปลงโปรแกรมที่ใช้ข้อยกเว้น (ทฤษฎีการทำงานของข้อยกเว้น, Mike Spivey, 1988) แต่ฉันคิดว่าข้อยกเว้นนั้นดี ฉันไม่ต้องการแปลงโปรแกรมที่ใช้ข้อยกเว้นในทางตรงกันข้ามฉันต้องการใช้ข้อยกเว้นให้วุ่นวายน้อยลง คำถาม: มีทฤษฎีของข้อยกเว้นหรือไม่? ถ้าเป็นเช่นนั้นมันจะเรียกว่าอะไร? อะไรคือสิ่งสำคัญถ้าสิ่งสำคัญคือการทำงานที่สรุปพื้นฐานของมันได้หรือไม่

18 terminology  programming-languages  api-design 

ฉันเริ่มอ่านบทความวิจัยภาษามากขึ้นเรื่อย ๆ ฉันพบว่ามันน่าสนใจมากและเป็นวิธีที่ดีในการเรียนรู้เพิ่มเติมเกี่ยวกับการเขียนโปรแกรมโดยทั่วไป อย่างไรก็ตามมักจะมีส่วนที่ฉันมักจะต่อสู้กับ (ใช้เวลาตัวอย่างเช่นส่วนที่สามของ) มานี้เนื่องจากฉันขาดพื้นฐานทางทฤษฎีในวิทยาการคอมพิวเตอร์: ประเภทกฎ มีหนังสือดี ๆ หรือแหล่งข้อมูลออนไลน์ให้เริ่มต้นในพื้นที่นี้หรือไม่? Wikipediaนั้นคลุมเครืออย่างมากและไม่ได้ช่วยผู้เริ่มต้น

18 logic  reference-request  terminology  type-theory 

ในหลักสูตรอัลกอริทึมและโครงสร้างข้อมูลของฉันอาจารย์สไลเดอร์และหนังสือ ( Introduction to Algorithms รุ่นที่ 3 ) ใช้คำNILที่แสดงถึงตัวอย่างเช่นลูกของโหนด (ในต้นไม้) ที่ไม่มีอยู่ ครั้งหนึ่งระหว่างการบรรยายแทนที่จะพูดNILเพื่อนร่วมชั้นของฉันพูดnullและอาจารย์แก้ไขเขาและฉันก็ไม่เข้าใจว่าทำไมอาจารย์เน้นคำนี้ มีเหตุผลที่คนใช้คำNILแทนnullหรือnoneหรือคำอื่น ๆ ? ไม่NILได้มีความหมายบางอย่างโดยเฉพาะอย่างยิ่งที่คนอื่นไม่ได้? มีเหตุผลทางประวัติศาสตร์บ้างไหม? โปรดทราบว่าฉันได้เห็นบางสถานที่รอบ ๆ เว็บเช่นคำที่nullใช้แทนNILแต่โดยปกติจะใช้คำสุดท้าย

17 algorithms  terminology  data-structures  notation 

ฉันคิดว่าฉันรู้ว่าระบบปฏิบัติการแบบเรียลไทม์ "ยาก" คืออะไร เป็นระบบปฏิบัติการที่มีตัวกำหนดตารางเวลาที่จัดทำสัญญากับแอ็พพลิเคชันโปรแกรมเมอร์ แอปพลิเคชันให้กำหนดเวลากับแต่ละคำขอการจัดสรรทรัพยากร หากคำขอกำหนดเวลาเป็นไปได้ผู้จัดตารางเวลารับประกันว่าแต่ละทรัพยากรจะถูกจัดสรรให้กับแอปพลิเคชันที่ร้องขอก่อนกำหนดส่ง การรับประกันนั้นเพียงพอที่จะทำให้โปรแกรมเมอร์แอปพลิเคชันสามารถให้เหตุผลเกี่ยวกับเวลาแฝงสูงสุดและปริมาณงานขั้นต่ำของคำขอเฉพาะ คำจำกัดความทั้งหมดที่ฉันพบในระบบ "แบบเรียลไทม์" แบบนิ่ม "ดูเหมือนไม่มีความหมายสำหรับฉัน Wikipedia พูดว่า ประโยชน์ของผลลัพธ์จะลดลงหลังจากวันครบกำหนดดังนั้นจึงลดคุณภาพการบริการของระบบ uhhhh ตกลง. ตามเกณฑ์ที่ว่า Windows 95 นั้นเป็นระบบแบบเรียลไทม์และ 3BSD ก็เช่นกันและเป็น Linux Wikipedia ไม่ได้เป็นแหล่งที่มาที่ดี แต่ความนิยมของ Google ในอีกไม่กี่ครั้งที่ผ่านมานั้นไม่ค่อยดีนัก ตัวอย่างเช่นhttp://users.ece.cmu.edu/~koopman/des_s99/real_time/พูดว่า ในระบบแบบเรียลไทม์ที่อ่อนนุ่มสามารถยอมรับการดำเนินการที่ลดลงในการโหลดสูงสุดที่เกิดขึ้นน้อยมาก นั่นไม่ใช่สัญญานั่นเป็นวิธีแฟนซีที่จะไม่พูดอะไร ตัวอย่างของการรับประกัน / สัญญาแบบเรียลไทม์นุ่ม ๆ ที่เสนอโดยระบบปฏิบัติการจริงคืออะไร ฉันกำลังหาคำตอบของแบบฟอร์ม: ใน (ชื่อระบบปฏิบัติการ) หากโปรแกรมเมอร์ทำ (what-programmer-needs-to-do) ดังนั้นระบบปฏิบัติการรับประกัน (what-the-system-guarantee)

17 terminology  operating-systems  process-scheduling  real-time 

การมองเห็นคอมพิวเตอร์และการประมวลผลภาพแตกต่างกันอย่างไร ตัวอย่างเช่นในการจดจำวัตถุอะไรคือบทบาทของการมองเห็นด้วยคอมพิวเตอร์และการประมวลผลภาพ?

17 terminology  computer-vision  image-processing  education 

ฉันใช้ FSM ในการออกแบบวงจรดิจิตอลตามลำดับ แต่ฉันไม่คุ้นเคยกับ Finite Automata ใครสามารถช่วยฉันในการทำความเข้าใจความแตกต่าง 'พื้นฐาน' ระหว่างสองคนนี้ได้หรือไม่?

16 terminology  automata  finite-automata 

ฉันกำลังดิ้นรนกับอสังหาริมทรัพย์นี้จริงๆ: ให้X,YX,YX,Yเป็นช่องว่างที่เชื่อมโยงกันและf:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y)เป็นฟังก์ชั่นโมโนโทน ต่อเนื่องหากสำหรับเช่นนั้นเป็นชุดกำกับffff(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x)D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X)DDD ชุดกำกับการถูกกำหนดไว้ดังนี้: poset คือชุดกำกับ IFFเช่นและZ ย่อมาจาก cliques X:เชื่อมโยงกัน\}D⊆D⊆D \subseteq ∀x,x′∈D∀x,x′∈D \forall x, x' \in D ∃z∈D∃z∈D \exists z \in D x⊆zx⊆z x \subseteq zx′⊆zx′⊆zx' \subseteq z Cl(X)Cl(X)Cl(X) {x⊆|X|∣a,b∈x⇒a{x⊆|X|∣a,b∈x⇒a\{x \subseteq |X| \mid a,b \in x \Rightarrow ab}b}b \} หนังสือหลายเล่มให้คำจำกัดความของฟังก์ชั่นสก็อตต์อย่างต่อเนื่องแต่ไม่ใช่ครูของฉัน เขาให้คำจำกัดความต่อเนื่องกับเรานี้: …

16 terminology  programming-languages  semantics