เร็วกว่าเบราว์เซอร์!
23 ความสัมพันธ์: พีชคณิตเชิงเส้นกำหนดการเชิงเส้นภาษาโปรแกรมวิทยาการคอมพิวเตอร์วิทยาการเข้ารหัสลับจำนวนเต็มทฤษฎีกราฟทฤษฎีการคำนวณทฤษฎีการคำนวณได้ทฤษฎีจำนวนทฤษฎีข้อมูลทฤษฎีความซับซ้อนในการคำนวณทฤษฎีความน่าจะเป็นทฤษฎีเกมทฤษฎีเซตทอพอโลยีขั้นตอนวิธีคณิตวิเคราะห์คณิตศาสตร์คณิตศาสตร์เชิงการจัดตรรกศาสตร์โดนัลด์ คนูธเซตนับได้
พีชคณิตเชิงเส้น
ีชคณิตเชิงเส้น (Linear algebra) เป็นสาขาหนึ่งของคณิตศาสตร์ที่ศึกษาเวกเตอร์ ปริภูมิเวกเตอร์ (หรืออีกชื่อหนึ่งคือ ปริภูมิเชิงเส้น) การแปลงเชิงเส้น และระบบสมการเชิงเส้น ปริภูมิเวกเตอร์เป็นเรื่องที่ได้รับความสนใจอย่างมากในคณิตศาสตร์สมัยใหม่ เนื่องจากพีชคณิตเชิงเส้นถูกนำไปใช้อย่างกว้างขวางในคณิตศาสตร์สองสายหลักคือ พีชคณิตนามธรรมและการวิเคราะห์เชิงฟังก์ชัน พีชคณิตเชิงเส้นนั้นมีรูปแบบที่ชัดเจนในเรขาคณิตวิเคราะห์ และถูกขยายให้กว้างขึ้นในทฤษฎีตัวดำเนินการ และมีการประยุกต์ใช้อย่างแพร่หลายในวิชาวิทยาศาสตร์และสังคมศาสตร์ เนื่องจากแบบจำลองไม่เชิงเส้น (nonlinear model) ส่วนมากสามารถประมาณการณ์ได้ด้วยแบบจำลองเชิงเส้น (linear model) การประยุกต์ใช้อย่างหนึ่งของพีชคณิตเชิงเส้นคือการแก้ระบบสมการเชิงเส้นหลายตัวแปร กรณีที่ง่ายที่สุดคือเมื่อมีจำนวนที่ไม่ทราบค่า (ตัวแปร) เท่ากับจำนวนของสมการ ดังนั้นเราสามารถแก้ปัญหาระบบสมการเชิงเส้น n สมการ สำหรับจำนวนที่ไม่ทราบค่า n ตัว.
ใหม่!!: วิยุตคณิตและพีชคณิตเชิงเส้น · ดูเพิ่มเติม »
กำหนดการเชิงเส้น
กำหนดการเชิงเส้น เป็นคณิตศาสตร์ประยุกต์แขนงหนึ่งที่คิดค้นขึ้น เพื่อแก้ปัญหาให้เป็นไปตามจุดประสงค์ของมนุษย์ โดยมีแนวคิดที่ว่า ให้เพียงพออย่างสูงสุดในทรัพยากรที่มีจำกัด สามารถใช้คำนวณเพื่อแก้ปัญหาได้หลายอย่าง เช่น คำนวณการผลิตสินค้าให้ได้มากที่สุด แต่เสียค่าใช้จ่ายน้อยที่สุด, หาวิธีการเคลื่อนย้ายทหารให้มากที่สุดโดยที่เสียค่าใช้จ่ายน้อยที่สุด, ผลิตสินค้าจำนวนน้อยที่สุด แต่ทำกำไรได้มากที่สุด หรือหาว่า หากบริษัทหนึ่งผลิตสินค้า 2 ประเภท ต้องผลิตอย่างละกี่ชิ้นจึงจะได้กำไรสูงสุด เป็นต้น กำหนดการเชิงเส้น จะอยู่ในรูปแบบทางคณิตศาสตร์ของสมการเชิงเส้นและอสมการเชิงเส้น แล้วหาค่าสูงสุด ต่ำสุดของฟังก์ชันที่สอดคล้องกับสมการ (และอสมการ) ที่กำหนด ตัวแบบคณิตศาสตร์ประกอบด้ว.
ใหม่!!: วิยุตคณิตและกำหนดการเชิงเส้น · ดูเพิ่มเติม »
ภาษาโปรแกรม
ษาโปรแกรม คือภาษาประดิษฐ์ชนิดหนึ่งที่ออกแบบขึ้นมาเพื่อสื่อสารชุดคำสั่งแก่เครื่องจักร โดยเฉพาะอย่างยิ่งคอมพิวเตอร์ ภาษาโปรแกรมสามารถใช้สร้างโปรแกรมที่ควบคุมพฤติกรรมของเครื่องจักร และ/หรือ แสดงออกด้วยขั้นตอนวิธี (algorithm) อย่างตรงไปตรงมา ผู้เขียนโปรแกรมซึ่งหมายถึงผู้ที่ใช้ภาษาโปรแกรมเรียกว่า โปรแกรมเมอร์ (programmer) ภาษาโปรแกรมในยุคแรกเริ่มนั้นเกิดขึ้นก่อนที่คอมพิวเตอร์จะถูกประดิษฐ์ขึ้น โดยถูกใช้เพื่อควบคุมการทำงานของเครื่องทอผ้าของแจ็กการ์ดและเครื่องเล่นเปียโน ภาษาโปรแกรมต่าง ๆ หลายพันภาษาถูกสร้างขึ้นมา ส่วนมากใช้ในวงการคอมพิวเตอร์ และสำหรับวงการอื่นภาษาโปรแกรมก็เกิดขึ้นใหม่ทุก ๆ ปี ภาษาโปรแกรมส่วนใหญ่อธิบายการคิดคำนวณในรูปแบบเชิงคำสั่ง อาทิลำดับของคำสั่ง ถึงแม้ว่าบางภาษาจะใช้การอธิบายในรูปแบบอื่น ตัวอย่างเช่น ภาษาที่สนับสนุนการเขียนโปรแกรมเชิงฟังก์ชัน หรือการเขียนโปรแกรมเชิงตรรกะ การพรรณนาถึงภาษาโปรแกรมหนึ่ง ๆ มักจะแบ่งออกเป็นสองส่วนได้แก่ วากยสัมพันธ์ (รูปแบบ) และอรรถศาสตร์ (ความหมาย) บางภาษาถูกนิยามขึ้นด้วยเอกสารข้อกำหนด (ตัวอย่างเช่น ภาษาซีเป็นภาษาหนึ่งที่กำหนดโดยมาตรฐานไอโซ) ในขณะที่ภาษาอื่นอย่างภาษาเพิร์ลรุ่น 5 และก่อนหน้านั้น ใช้การทำให้เกิดผลแบบอ้างอิง (reference implementation) เป็นลักษณะเด่น.
ใหม่!!: วิยุตคณิตและภาษาโปรแกรม · ดูเพิ่มเติม »
วิทยาการคอมพิวเตอร์
วิทยาการคอมพิวเตอร์ หรือ วิทยาศาสตร์คอมพิวเตอร์ (Computer science) เป็นศาสตร์เกี่ยวกับการศึกษาค้นคว้าทฤษฎีการคำนวณสำหรับคอมพิวเตอร์ และทฤษฎีการประมวลผลสารสนเทศ ทั้งด้านซอฟต์แวร์ ฮาร์ดแวร์ และ เครือข่าย ซึ่งวิทยาการคอมพิวเตอร์นั้นประกอบด้วยหลายหัวข้อที่เกี่ยวข้องกับคอมพิวเตอร์ ตั้งแต่ระดับนามธรรม หรือความคิดเชิงทฤษฎี เช่น การวิเคราะห์และสังเคราะห์ขั้นตอนวิธี ไปจนถึงระดับรูปธรรม เช่น ทฤษฎีภาษาโปรแกรม ทฤษฎีการพัฒนาซอฟต์แวร์ ทฤษฎีฮาร์ดแวร์คอมพิวเตอร์ และ ทฤษฎีเครือข่าย ในแง่ของศาสตร์เกี่ยวกับคอมพิวเตอร์นั้น วิทยาการคอมพิวเตอร์เป็นหนึ่งในห้าสาขาวิชาคอมพิวเตอร์ ซึ่งประกอบด้วย สาขาวิทยาการคอมพิวเตอร์ หรือวิทยาศาสตรคอมพิวเตอร์ สาขาวิศวกรรมคอมพิวเตอร์ สาขาวิศวกรรมซอฟต์แวร์ สาขาเทคโนโลยีสารสนเทศ หรือเทคโนโลยีสารสนเทศและการสือสาร และ สาขาคอมพิวเตอร์ธุรกิจ หรือ ระบบสารสนเทศทางธุรก.
ใหม่!!: วิยุตคณิตและวิทยาการคอมพิวเตอร์ · ดูเพิ่มเติม »
วิทยาการเข้ารหัสลับ
วิทยาการเข้ารหัสลับ วิชาเกี่ยวกับการเข้ารหัสลับคือการแปลงข้อความปกติให้กลายเป็นข้อความลับ โดยข้อความลับคือข้อความที่ผู้อื่น นอกเหนือจากคู่สนทนาที่ต้องการ ไม่สามารถเข้าใจได้ มนุษย์ได้คิดค้นวิธีการรักษาความลับของเรามาตั้งนาน นับตั้งแต่สมัยจูเลียส ซีซาร์ จนกระทั่งถึงปัจจุบันที่ใช้คอมพิวเตอร์มาช่วยเข้ารหัสลับและถอดรหัสลับ การเข้ารหัสแบบซีซ่าร์ทำได้โดยการนำตัวอักษรที่อยู่ถัดไปอีกสองตำแหน่งมาแทนที่ ยกตัวอย่างเช่น ถ้าต้องการเข้ารหัสคำว่า HELLO เราก็นำตัวอักษรที่ถัดจากตัว H ไปอีกสองตัวนั่นคือตัว J มาแทน ตัว E แทนด้วย G ตัว L แทนด้วย N ตัว O แทนด้วย Q ดังนั้นข้อความ HELLO จึงถูกแปลงให้เป็นคำว่า JGNNQ การเข้ารหัสลับแตกต่างกับวิทยาการอำพรางข้อมูล ข้อมูลที่ถูกอำพรางนั้นจะไม่ถูกเปลี่ยนแปลง ในขณะที่การเข้ารหัสลับจะเปลี่ยนแปลงข้อมูล วิทยาการเข้ารหัสลับสมัยใหม่ (Modern Cryptography) เป็นวิชาการที่ใช้แนวทางคณิตศาสตร์เพื่อแปลงข้อความปกติให้กลายเป็นข้อความลับ โดยให้เฉพาะคู่สนทนาที่ต้องการสามารถอ่านเข้าใจได้เท่านั้น ขั้นตอนวิธีของการเข้ารหัสลับสมัยใหม่ ได้แก่ Data Encryption Standard, Advanced Encryption Standard หรือ One-Time Padding ฯลฯ หลักการเบื้องต้นของการเข้ารหัสลับ ประการแรกคือ ขั้นตอนวิธีต้องเป็นที่รู้โดยทั่วไป และประการต่อมา รหัสจะต้องใหม่เสมอ.
ใหม่!!: วิยุตคณิตและวิทยาการเข้ารหัสลับ · ดูเพิ่มเติม »
จำนวนเต็ม
ำนวนเต็ม คือจำนวนที่สามารถเขียนได้โดยปราศจากองค์ประกอบทางเศษส่วนหรือทศนิยม ตัวอย่างเช่น 21, 4, −2048 เหล่านี้คือจำนวนเต็ม แต่ 9.75, 5, √2 เหล่านี้ไม่ใช่จำนวนเต็ม เศษของจำนวนเต็มเป็นเศษย่อยของจำนวนจริง และประกอบด้วยจำนวนธรรมชาติ (1, 2, 3,...) ศูนย์ (0) และตัวผกผันการบวกของจำนวนธรรมชาติ (−1, −2, −3,...) เซตของจำนวนเต็มทั้งหมดมักแสดงด้วย Z ตัวหนา (หรือ \mathbb ตัวหนาบนกระดานดำ, U+2124) มาจากคำในภาษาเยอรมันว่า Zahlen แปลว่าจำนวน จำนวนเต็ม (พร้อมด้วยการดำเนินการการบวก) ก่อร่างเป็นกรุปเล็กที่สุดอันประกอบด้วยโมนอยด์เชิงการบวกของจำนวนธรรมชาติ จำนวนเต็มก่อให้เกิดเซตอนันต์นับได้เช่นเดียวกับจำนวนธรรมชาติ สิ่งเหล่านี้ในทฤษฎีจำนวนเชิงพีชคณิตทำให้เข้าใจได้โดยสามัญว่า จำนวนเต็มซึ่งฝังตัวอยู่ในฟีลด์ของจำนวนตรรกยะ หมายถึง จำนวนเต็มตรรกยะ เพื่อแยกแยะออกจากจำนวนเต็มเชิงพีชคณิตที่ได้นิยามไว้กว้างกว.
ใหม่!!: วิยุตคณิตและจำนวนเต็ม · ดูเพิ่มเติม »
ทฤษฎีกราฟ
กราฟที่มีจุดยอด 6 จุด และเส้นเชื่อม 7 เส้น ทฤษฎีกราฟ (graph theory) เป็นหนึ่งในสาขาคณิตศาสตร์และวิทยาการคอมพิวเตอร์ ที่ศึกษาถึงคุณสมบัติต่าง ๆ ของกราฟ.
ใหม่!!: วิยุตคณิตและทฤษฎีกราฟ · ดูเพิ่มเติม »
ทฤษฎีการคำนวณ
การศึกษาเกี่ยวกับ ทฤษฎีการคำนวณ เริ่มขึ้นเมื่อต้นศตวรรษที่ยี่สิบ ก่อนจะมีการคิดค้นคอมพิวเตอร์อิเล็กทรอนิกส์ขึ้น ในช่วงเวลาดังกล่าว นักคณิตศาสตร์ได้เริ่มศึกษาว่า ปัญหาทางคณิตศาสตร์ใดบ้างที่สามารถแก้ได้ด้วยวิธีพื้นฐาน และปัญหาใดที่ไม่สามารถแก้ได้ ขั้นตอนแรกก็คือการนิยามให้ได้ว่าวิธีพื้นฐานในการแก้ปัญหานั้นคืออะไรบ้าง นั่นคือ พวกเขาต้องการโมเดลอย่างเป็นทางการของการคำนวณ (formal model of computation) ได้มีการสร้างโมเดลในรูปแบบต่างๆ มากมาย โมเดลเครื่องจักรทัวริงมองการคำนวณเป็นการทำงานของเครื่องจักรที่ทำงานบนเทปเก็บตัวอักษรที่มีความยาวไม่จำกัด โดยมีหัวอ่าน/เขียนที่จะทำงานกับช่องบนเทปทีละช่อง อีกโมเดลหนึ่งพิจารณาการคำนวณผ่านทางฟังก์ชันเวียนบังเกิด ซึ่งใช้ฟังก์ชันและการประกอบกัน (composition) ของฟังก์ชันที่ทำงานบนตัวเลข โมเดลแลมดาแคลคูลัสใช้วิธีคล้ายๆกัน นอกจากนี้ยังมีโมเดลอื่นๆ เช่น ขั้นตอนวิธีของมาคอฟและระบบของโพสต์ที่ใช้ไวยากรณ์บนสตริง โมเดลทางการต่างๆเหล่านี้ได้รับการแสดงว่ามีความสามารถเทียบเท่ากัน นั่นคือ การคำนวณใดๆที่กระทำได้โดยโมเดลหนึ่งจะสามารถทำได้ในอีกโมเดลด้วยเช่นกัน โมเดลเหล่านี้ยังมีความสามารถเท่ากันกับเครื่องคอมพิวเตอร์ทั่วไปที่เราใช้อยู่ ถ้าเราสมมติว่าเครื่องคอมพิวเตอร์นั้นมีหน่วยความจำไม่รู้จบ นอกจากนี้ ยังเป็นที่เชื่อกันอีกว่า ทุกๆ โมเดลการคำนวณที่ "สมเหตุสมผล" จะมีความสามารถเทียบเท่ากับเครื่องจักรทัวริ่ง ซึ่งความเชื่อนี้เรียกว่า ข้อปัญหาของเชิร์ช-ทัวริง (Church-Turing thesis) ศาสตร์ที่ศึกษาเกี่ยวกับขอบเขตของปัญหาที่คำนวณได้ด้วยโมเดลของเครื่องจักรแบบต่างๆนั้นคือ ทฤษฎีการคำนวณได้ ทฤษฎีการคำนวณศึกษาโมเดลการคำนวณ พร้อมๆกับขีดจำกัดของการคำนวณ เช่น ปัญหาใดที่สามารถพิสูจน์ได้ว่าไม่สามารถแก้ได้ด้วยคอมพิวเตอร์? (ดู ปัญหาการยุติการทำงาน หรือ ปัญหาความสัมพันธ์ของโพสต์) ปัญหาใดบ้างที่สามารถแก้ไขได้ด้วยคอมพิวเตอร์ แต่ต้องการเวลามหาศาลจนทำให้การหาคำตอบนั้นเป็นไปไม่ได้ (ดู:en:Presburger arithmetic) การหาคำตอบยากกว่าการตรวจคำตอบของปัญหาหรือไม่ (ดู กลุ่มความซับซ้อน พี และ เอ็นพี) ศาสตร์ที่ศึกษาเกี่ยวกับเวลาและเนื้อที่ที่ต้องการสำหรับปัญหาต่างๆ คือ ทฤษฎีความซับซ้อนในการคำนวณ นอกจากโมเดลในการคำนวณทั่วไปแล้ว ยังมีรูปแบบในการคำนวณอื่นๆ ที่ง่ายกว่านั้น เช่น โมเดลของนิพจน์ปรกติ ที่เป็นวิธีที่ใช้กำหนดรูปแบบของสตริงในยูนิกซ์ และในบางภาษาคอมพิวเตอร์ เช่น ภาษาเพิร์ล โดยมีโมเดล เช่น เครื่องจักรสถานะจำกัดที่มีความสามารถเทียบเท่ากัน โมเดลที่มีความสามารถกว่าโมเดลนิพจน์ regular เช่น โมเดลที่อธิบายการคำนวณผ่านทางไวยากรณ์ที่ไม่ขึ้นกับสภาพรอบข้าง (context-free grammar) ใช้สำหรับระบุไวยากรณ์ของภาษาโปรแกรม โดยที่มีเครื่องจักรกดลง (pushdown automata) เป็นอีกรูปแบบที่เทียบเท่ากัน ฟังก์ชันเวียนบังเกิดพื้นฐานก็เป็นโมเดลย่อยของฟังก์ชันเวียนบังเกิด โมเดลที่แตกต่างกันอาจมีความสามารถที่แตกต่างกันได้ อีกวิธีหนึ่งที่จะวัดความสามารถของโมเดลต่างๆ ก็คือการศึกษากลุ่มของภาษาทางการ (formal language) ที่โมเดลเหล่านั้นสามารถสร้างได้ ยกตัวอย่างเช่น เครื่องจักรสถานะจำกัดสามารถสร้างได้เพียงภาษาที่เทียบเท่ากับนิพจน์ regular ส่วนเครื่องจักรกดลงนั้นสามารถสร้างภาษาที่ระบุด้วยไวยากรณ์ที่ไม่ขึ้นกับสภาพรอบข้างได้ด้วย ระดับความสามารถทางภาษาทางการของโมเดลเหล่านี้เป็นที่มาของระดับชั้นของ Chomsky ตารางด้านล่างแสดงกลุ่มของปัญหา (หรือภาษา หรือไวยากรณ์) ที่พิจารณาในทฤษฎีการคำนวณได้.
ใหม่!!: วิยุตคณิตและทฤษฎีการคำนวณ · ดูเพิ่มเติม »
ทฤษฎีการคำนวณได้
ทฤษฎีการคำนวณได้ คือส่วนหนึ่งของการศึกษาในทฤษฎีการคำนวณที่สนใจกับปัญหาที่ว่า ปัญหาใดที่สามารถหาคำตอบได้ด้วยขั้นตอนวิธี (หรือ—ในความหมายที่เหมือนกัน—โดยเครื่องจักรทัวริง) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้.
ใหม่!!: วิยุตคณิตและทฤษฎีการคำนวณได้ · ดูเพิ่มเติม »
ทฤษฎีจำนวน
ทฤษฎีจำนวน (number theory) โดยธรรมเนียมเดิมเป็นสาขาหนึ่งของคณิตศาสตร์บริสุทธิ์ ซึ่งศึกษาเกี่ยวกับคุณสมบัติของจำนวนเต็ม สาขานี้มีผลงานและปัญหาเปิดมากมายที่สามารถเข้าใจได้ง่าย แม้กระทั่งผู้ที่ไม่ใช่นักคณิตศาสตร์ แต่ในปัจจุบัน สาขานี้ยังได้สนใจกลุ่มของปัญหาที่กว้างขึ้น ซึ่งมักเป็นปัญหาที่ต่อยอดมาจากการศึกษาจำนวนเต็ม นักคณิตศาสตร์ที่ศึกษาสาขานี้เรียกว่า นักทฤษฎีจำนวน คำว่า "เลขคณิต" (arithmetic) มักถูกใช้เพื่ออ้างถึงทฤษฎีจำนวน นี่เป็นการเรียกในอดีต ซึ่งในปัจจุบันไม่ได้รับความนิยมเช่นเคย ทฤษฎีจำนวนเคยถูกเรียกว่า เลขคณิตชั้นสูง ซึ่งเลิกใช้ไปแล้ว อย่างไรก็ตามคำว่า "เลขคณิต" ยังปรากฏในสาขาทางคณิตศาสตร์อยู่ (เช่น ฟังก์ชันเลขคณิต เลขคณิตของเส้นโค้งวงรี หรือ ทฤษฎีบทมูลฐานของเลขคณิต) ไม่ควรจะสับสนระหว่างคำว่า เลขคณิต นี้ กับเลขคณิตมูลฐาน (elementary arithmetic) หรือสาขาของตรรกศาสตร์ที่ศึกษาเลขคณิตเปียโนในรูปของระบบรูปนั.
ใหม่!!: วิยุตคณิตและทฤษฎีจำนวน · ดูเพิ่มเติม »
ทฤษฎีข้อมูล
ทฤษฏีข้อมูล (Data Theory) เป็นทฤษฏีที่ว่าด้วยการแทนเชิงนามธรรมของแง่มุมต่าง ๆ ของข้อมูล ซึ่งใช้แบ่งแยกสถานะการณ์ต่าง ๆ ของข้อมูลที่เป็นไปได้ออกด้วยแนวคิดจำนวนน้อย แง่มุมหลัก ๆ สองแง่มุมของทฤษฎีข้อมูลคือ.
ใหม่!!: วิยุตคณิตและทฤษฎีข้อมูล · ดูเพิ่มเติม »
ทฤษฎีความซับซ้อนในการคำนวณ
ทฤษฎีความซับซ้อนในการคำนวณ (Computational Complexity Theory) เป็นสาขาหนึ่งของทฤษฎีการคำนวณ ที่มุ่งเน้นไปในการวิเคราะห์เวลาและเนื้อที่สำหรับการแก้ปัญหาหนึ่ง ๆ โดยปกติแล้วคำว่า "เวลา" ที่เราพูดถึงนั้น จะเป็นการนับจำนวนขั้นตอนที่ใช้ในการแก้ปัญหา ส่วนในเรื่องของ "เนื้อที่" เราจะพิจารณาเนื้อที่ ๆ ใช้ในการทำงานเท่านั้น (ไม่นับเนื้อที่ ๆ ใช้ในการเก็บข้อมูลป้อนเข้า).
ใหม่!!: วิยุตคณิตและทฤษฎีความซับซ้อนในการคำนวณ · ดูเพิ่มเติม »
ทฤษฎีความน่าจะเป็น
ทฤษฎีความน่าจะเป็น คือการศึกษาความน่าจะเป็นแบบคณิตศาสตร์ นักคณิตศาสตร์จะมองความน่าจะเป็นว่าเป็นตัวเลขระหว่างศูนย์กับหนึ่ง ที่กำหนดให้กับ "เหตุการณ์" (ความน่าจะเป็นที่เท่ากับ 0 ก็คือไม่มีโอกาสที่เหตุการณ์นั้นจะเกิดขึ้น แต่ถ้าความน่าจะเป็นเท่ากับ 1 แสดงว่าเหตุการณ์เหล่านั้นเกิดขึ้นได้อย่างแน่นอน) ที่เกิดขึ้นแบบสุ่ม ความน่าจะเป็น P(E) ถูกกำหนดให้กับเหตุการณ์ E ตามสัจพจน์ของความน่าจะเป็น ความน่าจะเป็นที่เหตุการณ์ E จะเกิดขึ้น เมื่อ กำหนด ให้อีกเหตุการณ์ F เกิดขึ้น เรียกว่าความน่าจะเป็นมีเงื่อนไข ของ E เมื่อให้ F โดยค่าความน่าจะเป็นคือ P(E \cap F)/P(F) (เมื่อ P(F) ไม่เป็นศูนย์) ถ้าความน่าจะเป็นมีเงื่อนไขของ E เมื่อให้ F มีค่าเช่นเดียวกับความน่าจะเป็น (แบบไม่มีเงื่อนไข) ของ E เราจะกล่าวว่าเหตุการณ์ E และ F เป็นเหตุการณ์ที่เป็นอิสระต่อกันเชิงสถิติ เราจะสังเกตได้ว่าความสัมพันธ์นี้เป็นความสัมพันธ์สมมาตร ทั้งนี้เนื่องจากการเป็นอิสระต่อกันนี้เขียนแทนได้เป็น P(E \cap F).
ใหม่!!: วิยุตคณิตและทฤษฎีความน่าจะเป็น · ดูเพิ่มเติม »
ทฤษฎีเกม
ในทางคณิตศาสตร์ ทฤษฎีเกม (อังกฤษ: game theory) เป็นการจำลองสถานการณ์ทางกลยุทธ์ หรือเกมคณิตศาสตร์ ซึ่งความสำเร็จในการตัดสินใจของแต่ละบุคคลขึ้นอยู่กับทางเลือกของบุคคลอื่น แต่ละฝ่ายต่างก็พยายามแสวงหาผลตอบแทนให้ได้มากที่สุด ทฤษฎีเกมมีการใช้ในทางสังคมศาสตร์ (ที่โดดเด่นเช่น เศรษฐศาสตร์ การจัดการ การวิจัยปฏิบัติการ รัฐศาสตร์และจิตวิทยาสังคม) เช่นเดียวกับวิทยาศาสตร์รูปนัยอื่น ๆ (ตรรกะ วิทยาศาสตร์คอมพิวเตอร์และสถิติ) และชีววิทยา (โดยเฉพาะอย่างยิ่งชีววิทยาวิวัฒนาการและนิเวศวิทยา) แม้ว่าเดิมทฤษฎีเกมจะถูกพัฒนาขึ้นเพื่อวิเคราะห์การแข่งขันซึ่งบุคคลหนึ่งได้มากกว่าที่อีกฝ่ายหนึ่งเสีย แต่ก็ได้มีการขยายเพื่อให้ครอบคลุมถึงปฏิสัมพันธ์หลายรูปแบบ ซึ่งถูกจัดแบ่งประเภทตามเกณฑ์หลายแบบ การประยุกต์ใช้ทฤษฎีเกมแต่เดิมนั้นจะจำกัดความและศึกษาถึงสมดุลในเกมเหล่านี้ ในสภาพสมดุลทางเศรษฐศาสตร์ ผู้เล่นเกมแต่ละคนจะปรับใช้กลยุทธ์ที่ไม่สามารถเพิ่มผลตอบแทนของผู้เล่นนั้นได้ โดยให้กลยุทธ์ของผู้เล่นอื่นด้วย แนวคิดสมดุลจำนวนมากถูกพัฒนาขึ้น (ที่มีชื่อเสียงที่สุด คือ จุดสมดุลของแนช) เพื่ออธิบายถึงลักษณะของสมดุลทางกลยุทธ์ แนวคิดสมดุลเหล่านี้มีแรงผลักดันแตกต่างกันขึ้นอยู่กับสาขาที่นำไปประยุกต์ ถึงแม้จะพบว่ามีความสอดคล้องกันบ่อยครั้งก็ตาม วิธีปฏิบัตินี้ได้รับการวิพากษ์วิจารณ์ และได้มีการโต้แย้งดำเนินต่อไปถึงความเหมาะสมของแนวคิดสมดุลหนึ่ง ๆ ความเหมาะสมของสมดุลทั้งหมดร่วมกัน และประโยชน์ของแบบจำลองคณิตศาสตร์ในทางสังคมศาสตร์ ผู้เริ่มศึกษาทฤษฎีเกมในระยะแรกคือ จอห์น ฟอน นอยมันน์ และออสการ์ มอร์เกินสเติร์น โดยได้ตีพิมพ์ตำรา Theory of Games and Economic Behavior ใน พ.ศ. 2487 ต่อมา จอห์น แนชได้พัฒนาการศึกษาในด้านนี้และได้รับรางวัลโนเบลสาขาเศรษฐศาสตร์จากการนำทฤษฎีเกมไปประยุกต์ใช้ในด้านเศรษฐศาสตร์ นอกจากแนชแล้ว มีนักทฤษฎีเกมคนอื่นอีกเจ็ดคนที่ได้รับรางวัลโนเบลสาขาเศรษฐศาสตร.
ใหม่!!: วิยุตคณิตและทฤษฎีเกม · ดูเพิ่มเติม »
ทฤษฎีเซต
ทฤษฎีเซต คือทฤษฎีทางคณิตศาสตร์ที่เกี่ยวกับเรื่องเซต ซึ่งใช้นำเสนอการรวบรวมวัตถุนามธรรม ทฤษฎีเซตเป็นแนวความคิดของการรวบรวมวัตถุในชีวิตประจำวัน และใช้สอนในโรงเรียนประถมศึกษาซึ่งบ่อยครั้งใช้แผนภาพเวนน์เป็นสื่อช่วยสอน ทฤษฎีเซตใช้ภาษาในการอธิบายวัตถุทางคณิตศาสตร์เป็นธรรมเนียมการสอนคณิตศาสตร์สมัยใหม่ ทฤษฎีเซตเป็นหนึ่งในรากฐานทางคณิตศาสตร์ที่ยอมรับกันโดยทั่วไป เหมือนเช่นตรรกศาสตร์และแคลคูลัสภาคแสดง ซึ่งทำให้สามารถสร้างวัตถุทางคณิตศาสตร์ขึ้นมาใหม่โดยใช้ "เซต" และ "ความเป็นสมาชิกของเซต" เป็นตัวนิยาม ทฤษฎีเซตเองนั้นก็เป็นสาขาหนึ่งของคณิตศาสตร์ และยังคงเป็นสาขาที่สำคัญอยู่สำหรับการวิจั.
ใหม่!!: วิยุตคณิตและทฤษฎีเซต · ดูเพิ่มเติม »
ทอพอโลยี
การเปลี่ยนรูปถ้วยกาแฟเป็นโดนัท ทอพอโลยี (Topology, มาจากภาษากรีก: topos, สถานที่ และ logos, การเรียน) เป็นสาขาหลักทางคณิตศาสตร์ ที่สนใจเกี่ยวกับ คุณสมบัติทางรูปร่างที่ไม่แปรเปลี่ยนภายใต้การดึง ยืด หด บีบ (โดยไม่มีการฉีก การเจาะ หรือ การเชื่อมติดใหม่) โดยเรียกคุณสมบัติเหล่านี้ว่าความไม่แปรผันทางทอพอโลยี ทอพอโลยีได้รับการศึกษาอย่างจริงจังในช่วงปี ค.ศ. 1925 - ค.ศ. 1975 นอกจากนี้ ทอพอโลยี ยังหมายความถึง วัตถุทางคณิตศาสตร์ประเภทหนึ่ง ซึ่งในความหมายนี้ ทอพอโลยี คือ ปริภูมิคณิตศาสตร์ หรือที่เรียกกันว่า ปริภูมิทอพอโลยี (topological space) โดยปริภูมิทอพอโลยี มีนิยามเป็น คอลเล็กชันของเซตเปิด ที่มี \varnothing, \varnothing^c เป็นสมาชิก และ มีคุณสมบัติปิดภายใต้การยูเนียนใด ๆ (ยูเนียนจำกัด, ยูเนียนอนันต์นับได้ และ ยูเนียนอนันต์นับไม่ได้) และการอินเตอร์เซกชันแบบจำกั นักทอพอโลยี มักโดนล้อเลียนว่า ไม่สามารถแยกความแตกต่างระหว่าง โดนัท หรือ วัตถุรูปห่วงยาง กับ แก้วกาแฟมีหูได้ (เพราะทั้งสองสิ่งเป็นวัตถุที่มีผิวเรียบ ต่อเนื่อง และมีรู 1 รูเหมือนกัน ซึ่งสมมูลกันในเชิงทอพอโลยี) ทอพอโลยีบางครั้งถูกเรียกว่า "เรขาคณิตแผ่นยาง" เนื่องจากในการศึกษานั้นจะไม่นับความแตกต่างระหว่างรูปร่างไม่ว่าจะเป็นวงกลมและสี่เหลี่ยม (เนื่องจากวงกลมที่ทำจากแผ่นยางสามารถดึงให้กลายเป็นรูปสี่เหลี่ยมได้) แต่จะแยกแยะความแตกต่างระหว่างวงกลมและรูปเลขแปด (เราไม่สามารถดึงรูปเลขแปดให้กลายเป็นวงกลมได้โดยไม่ฉีกมันออก).
ใหม่!!: วิยุตคณิตและทอพอโลยี · ดูเพิ่มเติม »
ขั้นตอนวิธี
ั้นตอนวิธี หรือ อัลกอริทึม (algorithm) หมายถึงกระบวนการแก้ปัญหาที่สามารถเข้าใจได้ มีลำดับหรือวิธีการในการแก้ไขปัญหาใดปัญหาหนึ่งอย่างเป็นขั้นเป็นตอนและชัดเจน เมื่อนำเข้าอะไร แล้วจะต้องได้ผลลัพธ์เช่นไร ซึ่งแตกต่างจากการแก้ปัญหาแบบสามัญสำนึก หรือฮิวริสติก (heuristic) โดยทั่วไป ขั้นตอนวิธี จะประกอบด้วย วิธีการเป็นขั้นๆ และมีส่วนที่ต้องทำแบบวนซ้ำ (iterate) หรือ เวียนเกิด (recursive) โดยใช้ตรรกะ (logic) และ/หรือ ในการเปรียบเทียบ (comparison) ในขั้นตอนต่างๆ จนกระทั่งเสร็จสิ้นการทำงาน ในการทำงานอย่างเดียวกัน เราอาจจะเลือกขั้นตอนวิธีที่ต่างกันเพื่อแก้ปัญหาได้ โดยที่ผลลัพธ์ที่ได้ในขั้นสุดท้ายจะออกมาเหมือนกันหรือไม่ก็ได้ และจะมีความแตกต่าง ที่จำนวนและชุดคำสั่งที่ใช้ต่างกันซึ่งส่งผลให้ เวลา (time), และขนาดหน่วยความจำ (space) ที่ต้องการต่างกัน หรือเรียกได้อีกอย่างว่ามีความซับซ้อน (complexity) ต่างกัน การนำขั้นตอนวิธีไปใช้ ไม่จำกัดเฉพาะการเขียนโปรแกรมคอมพิวเตอร์ แต่สามารถใช้กับปัญหาอื่น ๆ ได้เช่น การออกแบบวงจรไฟฟ้า, การทำงานเครื่องจักรกล, หรือแม้กระทั่งปัญหาในธรรมชาติ เช่น วิธีของสมองมนุษย์ในการคิดเลข หรือวิธีการขนอาหารของแมลง หนึ่งในขั้นตอนวิธีอย่างง่าย คือ ขั้นตอนวิธีที่ใช้หาจำนวนที่มีค่ามากที่สุดในรายการ (ซึ่งไม่ได้เรียงลำดับไว้) ในการแก้ปัญหานี้ เราจะต้องดูจำนวนทุกจำนวนในรายการ ซึ่งมีขั้นตอนวิธีดังนี้.
ใหม่!!: วิยุตคณิตและขั้นตอนวิธี · ดูเพิ่มเติม »
คณิตวิเคราะห์
ณิตวิเคราะห์ (mathematical analysis) เป็นสาขาหนึ่งในวิชาคณิตศาสตร์ที่มีเนื้อหาเกี่ยวเนื่องกับอนุพันธ์, ปริพันธ์และทฤษฎีเมเชอร์, ลิมิต, อนุกรมเลข, และฟังก์ชันวิเคราะห์ โดยส่วนมากจะศึกษาในบริบทของจำนวนจริงและจำนวนเชิงซ้อนไปจนถึงฟังก์ชัน คณิตวิเคราะห์พัฒนามาจากแคลคูลัสที่มีการวิเคราะห์เชิงคณิตศาสตร์ขั้นพื้นฐานรวมอยู่ด้วย คณิตวิเคราะห์ไม่ใช่เรขาคณิตแต่ทั้งนี้สามารถใช้ในการวิเคราะห์ปริภูมิของวัตถุทางคณิตศาสตร์ที่มีความใกล้หรือระยะห่างที่จำเพาะระหว่างวัตถุได้.
ใหม่!!: วิยุตคณิตและคณิตวิเคราะห์ · ดูเพิ่มเติม »
คณิตศาสตร์
ยูคลิด (กำลังถือคาลิเปอร์) นักคณิตศาสตร์ชาวกรีก ในสมัย 300 ปีก่อนคริสตกาล ภาพวาดของราฟาเอลในชื่อ ''โรงเรียนแห่งเอเธนส์''No likeness or description of Euclid's physical appearance made during his lifetime survived antiquity. Therefore, Euclid's depiction in works of art depends on the artist's imagination (see ''Euclid''). คณิตศาสตร์ เป็นศาสตร์ที่มุ่งค้นคว้าเกี่ยวกับ โครงสร้างนามธรรมที่ถูกกำหนดขึ้นผ่านทางกลุ่มของสัจพจน์ซึ่งมีการให้เหตุผลที่แน่นอนโดยใช้ตรรกศาสตร์สัญลักษณ์ และสัญกรณ์คณิตศาสตร์ เรามักนิยามโดยทั่วไปว่าคณิตศาสตร์เป็นสาขาวิชาที่ศึกษาเกี่ยวกับรูปแบบและโครงสร้าง, การเปลี่ยนแปลง และปริภูมิ กล่าวคร่าว ๆ ได้ว่าคณิตศาสตร์นั้นสนใจ "รูปร่างและจำนวน" เนื่องจากคณิตศาสตร์มิได้สร้างความรู้ผ่านกระบวนการทดลอง บางคนจึงไม่จัดว่าคณิตศาสตร์เป็นสาขาของวิทยาศาสตร์ ในอดีตผู้คนจะใช้สิ่งของแทนจำนวนที่จะนับยิ่งนานเข้าจำนวนประชากรยิ่งมีมากขึ้น ทำให้ผู้คนเริ่มคิดที่จะประดิษฐ์ตัวเลขขึ้นมาแทนการนับที่ใช้สิ่งของนับแทนจากนั้นก็มีการบวก ลบคูณ และหาร จากนั้นก็ก่อให้เกิดคณิตศาสตร์ คำว่า "คณิตศาสตร์" (คำอ่าน: คะ-นิด-ตะ-สาด) มาจากคำว่า คณิต (การนับ หรือ คำนวณ) และ ศาสตร์ (ความรู้ หรือ การศึกษา) ซึ่งรวมกันมีความหมายโดยทั่วไปว่า การศึกษาเกี่ยวกับการคำนวณ หรือ วิชาที่เกี่ยวกับการคำนวณ.
ใหม่!!: วิยุตคณิตและคณิตศาสตร์ · ดูเพิ่มเติม »
คณิตศาสตร์เชิงการจัด
ณิตศาสตร์เชิงการจัด คือสาขาหนึ่งของคณิตศาสตร์ ที่ศึกษากลุ่มของวัตถุจำนวนจำกัดที่มีคุณสมบัติสอดคล้องกับเงื่อนไขบางประการ และมักสนใจเป็นพิเศษที่จะ "นับ" จำนวนวัตถุในกลุ่มนั้น ๆ (ปัญหาการแจกแจง) หรืออาจหาคำตอบว่า วัตถุที่มีคุณสมบัติที่ต้องการนั้นมีอยู่หรือไม่ (ปัญหาสุดขอบ) การศึกษาเกี่ยวกับการนับวัตถุ บางครั้งถูกจัดให้อยู่ในสาขาการแจกแจงแทน การเรียงสับเปลี่ยน และ การจัดหมู.
ใหม่!!: วิยุตคณิตและคณิตศาสตร์เชิงการจัด · ดูเพิ่มเติม »
ตรรกศาสตร์
ตรรกศาสตร์ (logic - มีรากศัพท์จากภาษากรีกคือ λόγος, logos) โดยทั่วไปประกอบด้วยการศึกษารูปแบบของข้อโต้แย้งอย่างเป็นระบบ ข้อโต้แย้งที่สมเหตุสมผลคือข้อโต้แย้งที่มีความสัมพันธ์ของการสนับสนุนเชิงตรรกะที่เฉพาะเจาะจงระหว่างข้อสมมุติพื้นฐานของข้อโต้แย้งและข้อสรุป ตรรกศาสตร์เป็นการศึกษาเชิงปรัชญาว่าด้วยการให้เหตุผล โดยมักจะเป็นส่วนสำคัญของวิชาปรัชญา คณิตศาสตร์ คอมพิวเตอร์ รวมถึงภาษาศาสตร์ ตรรกศาสตร์เป็นการตรวจสอบข้อโต้แย้งที่สมเหตุสมผล (valid argument) หรือการให้เหตุผลแบบผิดๆ (fallacies) ตรรกศาสตร์ เป็นการศึกษาที่มีมานานโดยมนุษยชาติที่เจริญแล้ว เช่น กรีก จีน หรืออินเดีย และถูกยกขึ้นเป็นสาขาวิชาหนึ่งโดย อริสโตเติล.
ใหม่!!: วิยุตคณิตและตรรกศาสตร์ · ดูเพิ่มเติม »
โดนัลด์ คนูธ
นัลด์ เออร์วิน คนูธ (Donald Ervin Knuth, 10 มกราคม ค.ศ. 1938 - ปัจจุบัน) เป็นนักวิทยาการคอมพิวเตอร์และศาสตราจารย์ที่มหาวิทยาลัยสแตนฟอร์ดและผู้ชนะรางวัลทัวริง (พ.ศ. 2517) และมีผลงานเขียนทางด้านวิทยาการคอมพิวเตอร์ที่ได้รับการยอมรับ อาทิ เช่น The Art of Computer Programming และ Concrete Mathematics และคิดระบบสร้างเอกสาร TeX.
ใหม่!!: วิยุตคณิตและโดนัลด์ คนูธ · ดูเพิ่มเติม »
เซตนับได้
ซตนับได้ (countable set) คือเซตที่มีภาวะเชิงการนับ (จำนวนของสมาชิก) เหมือนกับบางเซตย่อยของเซตของจำนวนธรรมชาติ ในทางตรงข้าม เซตที่ไม่สามารถนับได้เรียกว่า เซตนับไม่ได้ (uncountable set) ศัพท์คำนี้นิยามโดยเกออร์ก คันทอร์ สมาชิกของเซตนับได้สามารถถูกนับจำนวนได้ในครั้งหนึ่ง ๆ ถึงแม้ว่าการนับนั้นจะไม่มีวันสิ้นสุดก็ตาม สมาชิกทุก ๆ ตัวของเซตจะถูกจับคู่กับจำนวนธรรมชาติจำนวนใดจำนวนหนึ่งในที่สุด ผู้แต่งตำราบางท่านใช้ศัพท์ เซตนับได้ ว่าหมายถึงเซตที่มีภาวะเชิงการนับเหมือนกับเซตของจำนวนธรรมชาติสำหรับตัวอย่างการใช้เช่นนี้ดูที่ ความแตกต่างระหว่างนิยามสองนิยามนี้คือ เซตจำกัดจัดว่าเป็นเซตนับได้ภายใต้นิยามแรก ในขณะที่นิยามหลัง เซตจำกัดไม่ถือว่าเป็นเซตนับได้ เพื่อแก้ความกำกวมนี้ บางครั้งจึงใช้ศัพท์ว่า เซตนับได้เป็นอย่างมาก (at most countable set) สำหรับนิยามแรกและ เซตอนันต์นับได้ (countably infinite set) สำหรับนิยามหลัง นอกจากนี้ศัพท์ว่า denumerable set ก็ยังใช้ในความหมายของเซตอนันต์นับได้ดูที่ หรือเซตนับได้ ในทางตรงข้ามก็ใช้คำว่า nondenumerable set คือเซตนับไม่ได้ดูที.
ใหม่!!: วิยุตคณิตและเซตนับได้ · ดูเพิ่มเติม »
เปลี่ยนเส้นทางที่นี่:
Discrete mathematicsภินทนคณิตศาสตร์วิยุตคณิตศาสตร์ไม่ต่อเนื่อง
