seungwon929/Th-miracl huggingface dataset:
กรีฑา

กรีฑา () หมายถึง มีการแข่งขันขึ้นเป็นครั้งแรกเมื่อราว 700 ปีก่อนคริสต์ศักราช โดยทำการแข่งขัน ณ ลาน เชิงเขาโอลิมเปีย ในแคว้นอีลิส ประเทศกรีซ โดยเป็นส่วนหนึ่งของการแข่งขันกีฬาโอลิมปิกในสมัยโบราณ เมื่อกรีกเสื่อมอำนาจลง โรมันได้เข้ามาปกครองกรีกและห้ามชาวกรีกแข่งขันกีฬา ทำให้การแข่งขันกรีฑาต้องล้มเลิกไปด้วย

ต่อมาใน พ.ศ. 2439 นักกีฬาชาวฝรั่งเศส ชื่อ บารอน ปิแอร์ เดอ ดูเบอร์แตง ได้ริเริ่มการแข่งขันกีฬาโอลิมปิกขึ้นใหม่หลังจากล้มเลิกไปเป็นเวลานานถึง 1,500 ปีเศษ การแข่งขันกีฬาโอลิมปิกขึ้นครั้งนี้ได้จัดขึ้นที่กรุงเอเธนส์ ประเทศกรีซ และกรีฑาเป็นกีฬาชนิดหนึ่งที่ไดั้รับการบรรจุเข้าในการแข่งขันครั้งนี้ด้วย จากนั้นจึงมีพัฒนาการมาตามลำดับจนถึงปัจจุบัน ในประเทศไทยได้มีการแข่งขันขึ้นครั้งแรกเมื่อวันที่ 11 มกราคม พ.ศ. 2440กรีฑาซึ่งได้รับการจัดตั้งสามารถสืบย้อนไปได้ถึงกีฬาโอลิมปิกสมัยยุคโบราณนับแต่ 776 ปีก่อนคริสตกาล และรายการแข่งขันกรีฑาสมัยใหม่ส่วนใหญ่มีสโสมสรสมาชิกของสหพันธ์กรีฑานานาชาติ(IAAF) กรีฑาเป็นกระดูกสันหลังของโอลิมปิกฤดูร้อนสมัยใหม่ และการชุมนุมระหว่างประเทศชั้นนำอื่น ๆ รวมทั้ง การแข่งขันกรีฑาชิงแชมป์โลก (IAAF World Championships) และการแข่งขันกรีฑาในร่มชิงแชมป์โลก (World Indoor Championships) และกรีฑาสำหรับผู้พิการทางกายแข่งขันกันที่ พาราลิมปิกฤดูร้อน และการแข่งขันกรีฑาชิงแชมป์โลกของคณะกรรมการพาราลิมปิกในระหว่างประเทศ (IPC Athletics World Championships.)การเล่นกรีฑาในประเทศไทย ริเริ่มโดยครูชาวอังกฤษนำมาสอนให้นักเรียนไทย ได้ฝึกเล่นในโรงเรียนพระตำหนักวังสวนกุหลาบ ในสมัยรัชกาลที่ 5 แล้วค่อยเจริญแพร่หลายขึ้น เมื่อ กระทรวงธรรมการเริ่มทำการได้กราบบังคมทูลเชิญ พระบาทสมเด็จพระจุลจอมเกล้าเจ้าอยู่หัว และสมเด็จพระนางเจ้าพระบรมราชินีนาถ เสด็จพระราชดำเนินทรงเป็นประธาน และทอดพระเนตรการแข่งขัน นับตั้งแต่นั้นมากระทรวงธรรมการ ได้พยายามจัดให้มีการแข่งขันกรีฑาเป็นประจำปีตลอดมา

ใน พ.ศ. 2476 รัฐบาลได้ตั้งกรมพลศึกษาขึ้น มีนโยบายส่งเสริมการกีฬาและการกรีฑาของชาติให้เจริญก้าวหน้ายิ่งขึ้น สนับสนุนให้มีการแข่งขันหลายประเภท เช่น การแข่งขันระหว่างโรงเรียน มหาวิทยาลัย และระหว่างประชาชนควบคู่กันไปภายใต้การดำเนินงานของกรมพลศึกษา

สมาคมกรีฑาสมัครเล่นแห่งประเทศไทย ตั้งขึ้นเมื่อปี พ.ศ. 2494 โดยมีพระยาจินดารักษ์ เป็น นายกสมาคมคนแรก และในปีเดียวกันก็ได้เข้ามาเป็นสมาชิกของสหพันธ์กรีฑานานาชาติ (IAAF)

เมื่อวันที่ 22 กุมภาพันธ์ พ.ศ. 2508 พระบาทสมเด็จพระปรมินทรมหาภูมิพลอดุลยเดช ได้ทรงพระกรุณาโปรดเกล้าโปรดกระหม่อม รับสมาคมกรีฑาสมัครเล่นแห่งประเทศไทยอยู่ในพระบรมราชูปถัมภ์

ปัจจุบัน การแข่งขันกรีฑาถือเป็นกีฬาหลักที่จะต้องบรรจุเข้าอยู่ในการแข่งขันรายการสำคัญๆ ทุกครั้ง และนักกรีฑาของไทยหลายคน ได้สร้างชื่อเสียงให้กับประเทศไทยในการแข่งขันระหว่างชาติหลายครั้ง ส่วนใหญ่จะเป็นการวิ่งผลัด

แม่แบบ:Link FA แม่แบบ:Link FA

กรีฑานับเป็นกีฬาเก่าที่เกิดมาพร้อมกับมนุษย์
กระทรวงการคลัง (ประเทศไทย)

กระทรวงการคลัง () เป็นหน่วยงานราชการไทยประเภทกระทรวง ทำหน้าที่เกี่ยวกับการเงินของแผ่นดิน การภาษีอากร การรัษฎากร กิจการเกี่ยวกับที่ดินราชพัสดุ กิจการอันกฎหมายบัญญัติให้เป็นการผูกขาดของรัฐ กิจการหารายได้ซึ่งรัฐมีอำนาจดำเนินการได้แต่เพียงผู้ เดียวตามกฎหมายและไม่อยู่ในอำนาจหน้าที่ของกระทรวง ทบวง กรมอื่น และกิจการซึ่งจะเป็นสัญญาผูกพันต่อเมื่อรัฐบาลได้ให้อำนาจหรือสัตยาบัน รวมทั้งการค้ำประกันหนี้ของส่วนราชการและองค์การรัฐ สถาบันการเงินและรัฐวิสาหกิจ

กระทรวงการคลังได้ถือกำเนินขึ้นเมื่อวันที่ 14 เมษายน พ.ศ. 2418 เนื่องจากพระบาทสมเด็จพระจุลจอมเกล้าเจ้าอยู่หัวได้ทรงตราพระราชบัญญัติกรมพระคลังมหาสมบัติ และจากพระราชบัญญัติฉบับนี้ กรมพระคลังมหาสมบัติมีฐานะเป็นกระทรวงเพราะใช้คำภาษาอังกฤษเพื่อเรียกอธิบดีว่า มินิสเตอร์ ออฟ ฟิแนนซ์
วงกลมแนบในและวงกลมแนบนอกของรูปสามเหลี่ยม

ในเรขาคณิต วงกลมแนบใน (incircle หรือ inscribed circle) ของรูปสามเหลี่ยม คือ วงกลมที่ใหญ่ที่สุดที่อยู่ภายในรูปสามเหลี่ยม มันจะสัมผัสกับด้านทั้ง 3 ด้าน จุดศูนย์กลางของวงกลมแนบใน เรียกว่า ศูนย์กลางวงกลมแนบใน (incenter). วงกลมแนบนอก (excircle หรือ escribed circle) ของรูปสามเหลี่ยม คือ วงกลมที่อยู่ติดด้านนอกของรูปสามเหลี่ยม สัมผัสกับด้าน 1 ด้านและส่วนขยายที่ยื่นออกมาทั้ง 2 ด้าน สามเหลี่ยมทุกรูปจะมีวงกลมแนบนอกอยู่ 3 วง และสัมผัสกับด้านของรูปสามเหลี่ยม

จุดศูนย์กลางของวงกลมแนบใน สามารถหาได้จากจุดตัดของเส้นแบ่งครึ่งมุมภายในทั้ง 3 เส้น จุดศูนย์กลางของวงกลมแนบนอกหาได้จากจุดตัดของเส้นแบ่งครึ่งมุมภายใน 1 เส้น และเส้นแบ่งครึ่งมุมภายนอกอีก 2 เส้น จากรูปนี้ จะเรียกจุดศูนย์กลางของวงกลมแนบในและจุดศูนย์กลางของวงกลมแนบนอกทั้ง 3 ว่าระบบออร์โทเซนตริก

รัศมีของวงกลมแนบในและวงกลมแนบนอกนั้น มีความเกี่ยวข้องกับพื้นที่ของรูปสามเหลี่ยมอย่างใกล้ชิด ถ้า "S" คือพื้นที่ของรูปสามเหลี่ยม ที่มีด้าน "a", "b" และ "c" แล้วรัศมีของวงกลมแนบใน หรือ รัศมีใน (inradius) จะเท่ากับ "2S"/("a"+"b"+"c") รัศมีของวงกลมแนบนอกที่ด้าน "a" จะเท่ากับ "2S"/(-"a"+"b"+"c") รัศมีของวงกลมแนบนอกที่ด้าน "b" จะเท่ากับ "2S"/("a"-"b"+"c") และรัศมีของวงกลมแนบนอกที่ด้าน "c" จะเท่ากับ "2S"/("a"+"b"-"c") จากสูตรเหล่านี้ เราจะเห็นว่าวงกลมแนบนอกจะใหญ่กว่าวงกลมแนบในเสมอ และวงกลมแนบนอกที่ใหญ่ที่สุดจะอยู่บนด้านที่ยาวที่สุด
กรุงเทพ

กรุงเทพ อาจหมายถึง
SIL

SIL International เป็นองค์กรทางวิทยาศาสตร์ที่ไม่หวังผลกำไร มีจุดประสงค์หลักคือ ศึกษา พัฒนา และบันทึกภาษาที่ไม่เป็นที่รู้จัก เพื่อขยายความรู้ด้านภาษาศาสตร์, ศึกษาภาษาต่าง ๆ บนโลก และช่วยพัฒนาภาษาของชนกลุ่มน้อย องค์กรนี้ให้บริการข้อมูลด้านภาษาผ่านทางเว็บไซต์ Ethnologue.com

SIL ได้รับการแต่งตั้งให้เป็นที่ปรึกษาของยูเนสโก และสหประชาชาติ นอกจากนี้ยังได้รับฐานะเป็นองค์กรที่ไม่หวังผลกำไรในหลาย ๆ ประเทศ. SIL ให้บริการครูผู้สอนและสื่อการสอน สำหรับหลักสูตรภาษาศาสตร์แก่หลาย ๆ สถาบันอุดมชั้นนำ เช่น มหาวิทยาลัยในสหรัฐอเมริกา อย่าง Biola University, Moody Bible Institute, Houghton College, University of North Dakota, Northwest Christian College, Bryan College, University of Texas at Arlington, University of Oregon และ Dallas Theological Seminary นอกจากนี้ ยังมีมหาวิทยาลัยที่ศึกษาหลักสูตร SIL เช่น มหาวิทยาลัย Trinity Western University ในประเทศแคนาดา และมหาวิทยาลัย Northern Territory University ในประเทศออสเตรเลีย

สำนักงานใหญ่นานาชาติของ SIL ตั้งอยู่ที่

SIL ใช้ตัวอักษรสามตัวมาสร้างเป็นรหัสภาษา รหัส SIL ที่เป็นที่รู้จัก เช่นรหัสทั้งหมดสามารถดาวน์โหลดได้จาก www.ethnologue.com/codes/#downloading￼￼
คอมไพเลอร์

คอมไพเลอร์ () หรือ โปรแกรมแปลโปรแกรม, ตัวแปลโปรแกรม เป็น โปรแกรมคอมพิวเตอร์ที่ทำหน้าแปลงชุดคำสั่งภาษาคอมพิวเตอร์หนึ่ง ไปเป็นชุดคำสั่งที่มีความหมายเดียวกัน ในภาษาคอมพิวเตอร์อื่น

คอมไพเลอร์ส่วนใหญ่ จะทำการแปล รหัสต้นฉบับ (source code) ที่เขียนในภาษาระดับสูง เป็น ภาษาระดับต่ำ หรือภาษาเครื่อง ซึ่งคอมพิวเตอร์สามารถที่จะทำงานได้โดยตรง อย่างไรก็ตาม การแปลจากภาษาระดับต่ำเป็นภาษาระดับสูง ก็เป็นไปได้ โดยใช้ตัวแปลโปรแกรมย้อนกลับ (decompiler) 
ผลลัพธ์ของการแปลโปรแกรม (คอมไพล์) โดยทั่วไป ที่เรียกว่า ออบเจกต์โค้ด จะประกอบด้วยภาษาเครื่อง (Machine code) ที่เต็มไปด้วยข้อมูลเกี่ยวกับชื่อและสถานที่ของแต่ละจุด และการเรียกใช้วัตถุภายนอก (Link object) (สำหรับฟังก์ชันที่ไม่ได้อยู่ใน อ็อบเจกต์) สำหรับเครื่องมือที่เราใช้รวม อ็อบเจกต์เข้าด้วยกัน จะเรียกว่าโปรแกรมเชื่อมโยงเพื่อที่ผลลัพธ์ที่ออกมาในขั้นสุดท้าย เป็นไฟล์ที่ผู้ใช้งานทั่วไปสามารถใช้งานได้สะดวก

คอมไพเลอร์ที่สมบูรณ์ตัวแรก คือ ภาษาฟอร์แทรน (FORTRAN) ของ ไอบีเอ็ม ในปี ค.ศ. 1957 และ ภาษาโคบอล (COBOL) ก็เป็นคอมไพเลอร์ตัวแรก ๆ ที่สามารถทำงานได้บนหลาย ๆ สถาปัตยกรรมทางคอมพิวเตอร์ การพัฒนาตัวแปลภาษารุดหน้าอย่างรวดเร็ว และเริ่มมีรูปแบบที่ชัดเจนยิ่งขึ้นต่อมา ในช่วงทศวรรษ 1960
การทำงานเริ่มจากตัวแปลโปรแกรมจะอ่านรหัสต้นฉบับของภาษานั้นๆ แล้วเริ่มตรวจสอบความผิดพลาด ถ้าพบก็จะแปลโปรแกรมไม่ผ่านและให้ผู้ใช้แก้ไขรหัสต้นฉบับก่อน เมื่อแปลผ่าน คอมไพเลอร์จะสร้างไฟล์วัตถุ (.obj บนดอสและ .o บนลินุกซ์) ขึ้นมา แล้วคอมไพเลอร์จะเชื่อมโยงแฟ้มข้อมูลวัตถุเข้ากับรหัสต้นฉบับ และสร้างไฟล์เอกซ์คิวต์ (.exe บนดอส) ขึ้นมา
รัฐมนตรีว่าการกระทรวงการคลังของไทย

รายนามเสนาบดีว่าการกรมพระคลังมหาสมบัติ, เสนาบดีว่าการกระทรวงพระคลังมหาสมบัติ และรัฐมนตรีว่าการกระทรวงการคลังของไทย
เมษายน

เมษายน เป็นเดือนที่ 4 ของปี ตาม18+เกรกอเรียน และเป็นหนึ่งในเดือน 4 เดือนที่มี 30 วัน (เขียนย่อ เม.ย. ภาษาปากเรียก เมษา หรือเดือนเมษา)

ตามหลักโหราศาสตร์ เดือนเมษายนเริ่มต้นขึ้นเมื่อดวงอาทิตย์ยกเข้าสู่ราศีเมษ และสิ้นสุดเมื่อยกเข้าสู่ราศีพฤษภ แต่ในทางดาราศาสตร์ ต้นเดือนเมษายนดวงอาทิตย์อยู่ในกลุ่มดาวปลาและปลายเดือนไปอยู่ในกลุ่มดาวแกะ

ชื่อในภาษาอังกฤษ "April" มีรากศัพท์มาจากภาษาละติน แอปปรีริส ("aprilis") และ แอปเปรีเร ("aperire") หมายถึง "กางออก" ซึ่งอาจหมายถึงการเริ่มต้นของฤดูใบไม้ผลิ หรืออาจมาจาก "Apru" ชื่อเทพีแห่งความรักในภาษาของชาวอิทรูเรีย ส่วนในประเทศไทยเริ่มใช้ชื่อเดือนเมษายนใน พ.ศ. 2432 ตรงกับสมัยรัชกาลที่ 5 โดยสมเด็จพระเจ้าบรมวงศ์เธอกรมพระยาเทววงศ์วโรปการ เป็นผู้เสนอให้ใช้ราศีกำหนดชื่อเดือน

ตามปฏิทินโรมันดั้งเดิม กำหนดให้เดือนเมษายนเป็นเดือนที่ 2 ของปี และมี 29 วัน จากนั้นจูเลียส ซีซาร์ได้ปฏิรูประบบปฏิทินใหม่ เมื่อ 45 ปีก่อนคริสตกาล กำหนดให้เดือนมกราคมเป็นเดือนแรก ทำให้เดือนเมษายนขยับไปเป็นเดือนที่ 4 ของปี และมี 30 วัน
กราฟเชิงระนาบ

กราฟเชิงระนาบ () ในทฤษฎีกราฟ คือกราฟที่สามารถวาดบนระนาบได้โดยไม่มีเส้นเชื่อมใดๆ ตัดกัน เช่น กราฟต่อไปนี้เป็นกราฟเชิงระนาบ

แต่กราฟสองรูปข้างล่างนี้ "ไม่"เป็นกราฟเชิงระนาบ

เนื่องจากเป็นไปไม่ได้ที่จะวาดกราฟสองรูปนี้โดยไม่มีเส้นเชื่อมตัดกัน กราฟสองรูปนี้เป็นกราฟที่ไม่เป็นกราฟเชิงระนาบที่เล็กที่สุดด้วย

กาซีมีแยช กูราตอฟสกี () นักคณิตศาสตร์ชาวโปแลนด์ ได้ศึกษากราฟเชิงระนาบและสามารถระบุลักษณะเฉพาะของกราฟเชิงระนาบ ในทฤษฎีที่รู้จักกันในชื่อ ทฤษฎีบทของกูราตอฟสกี ซึ่งกล่าวว่า "กราฟจะเป็นกราฟเชิงระนาบ ก็ต่อเมื่อ กราฟนั้นไม่ประกอบด้วยกราฟย่อยซึ่งเป็น "การกระจาย" ของ K (กราฟแบบบริบูรณ์ที่มี 5 จุดยอด) หรือ K (กราฟแบบสองเชิงแบบบริบูรณ์ ที่มีจุดยอด 6 จุดโดย จุดยอด 3 จุดจะเชื่อมโยงกับจุดยอดอีก 3 จุด)"

"การกระจาย"ของกราฟ เป็นผลลัพธ์มาจากการแทรกจุดยอดลงไปในเส้นเชื่อม นั่นคือ เปลี่ยนจากเส้นเชื่อม •——• ไปเป็น •—•—• และอาจทำซ้ำอย่างนี้อีกหลายครั้ง ลักษณะเฉพาะดังกล่าวสามารถเขียนได้อีกรูปแบบหนึ่ง ซึ่งเป็นที่รู้จักกันว่า "ทฤษฎีบท P" ได้ดังนี้รูปทั่วไปของทฤษฎีของกูราตอฟสกีที่มีขอบเขตการใช้งานที่กว้างขวางมากถูกพิสูจน์โดยนีล โรเบิร์ตสันและพอล ซีมัวร์ในทฤษฎีบทโรเบิร์ตสัน-ซีมัวร์ที่เป็นเหมือนหลักไมล์อีกอันหนึ่งของทฤษฎีกราฟ ในภาษาของทฤษฎีนี้ K และ K คือ "ไมเนอร์ต้องห้าม" ของเซตของกราฟเชิงระนาบที่มีขนาดจำกัด

ในทางปฏิบัติ วิธีของกูราตอฟสกีนั้นใช้ตรวจสอบกราฟว่าเป็นกราฟเชิงระนาบหรือไม่ได้ค่อนข้างช้า อย่างไรก็ตาม ยังมีขั้นตอนวิธีที่มีประสิทธิภาพมากกว่าในการแก้ปัญหานี้ สำหรับกราฟที่มี "n" จุดยอด เรามีขั้นตอนวิธีที่ใช้เวลา O("n") ในการตรวจสอบว่ากราฟเป็นกราฟเชิงระนาบหรือไม่

ในบางกรณี ทฤษฎีบทด้านล่างที่ได้มาจากสูตรของออยเลอร์นี้ก็ยังอาจใช้ได้ด้วย สำหรับกราฟเชิงระนาบเชื่อมโยงเชิงเดียว ที่มี "n" จุดยอด และ "e" เส้นเชื่อม

สังเกตว่าทฤษฎีบทนี้ใช้คำว่า ถ้า, ไม่ได้ใช้คำว่า "ก็ต่อเมื่อ" ดังนั้นจึงยังไม่ใช้การระบุลักษณะเฉพาะที่ครบถ้วน นั่นคือผลจากทฤษฎีบทนี้จึงแสดงได้แค่ว่ากราฟที่ไม่ตรงตามเงื่อนไขเหล่านี้ไม่เป็นกราฟเชิงระนาบ
แต่ไม่สามารถพิสูจน์ได้ว่ากราฟนี้เป็นกราฟเชิงระนาบ ดังนั้นถ้าทั้งสองทฤษฎีบทนี้ไม่สามารถระบุอะไรได้แล้ว เราจึงต้องใช้ทฤษฎี P ในการตรวจสอบ

ยกตัวอย่างเช่น กราฟ K มีจุดยอด 6 จุด มี 9 เส้นเชื่อม และไม่มีวัฎจักรที่มีความยาว 3. ดังนั้น ด้วยทฤษฎีบทที่สอง กราฟนี้จึงไม่เป็นกราฟเชิงระนาบ

สูตรของออยเลอร์ (Euler's formula) กล่าวว่า ถ้ากราฟเชิงระนาบเชื่อมโยงจำกัด (finite connected planar graph) ถูกวาดในระนาบโดยไม่มีเส้นเชื่อมตัดกัน และ "v" คือ จำนวนของจุดยอด, "e" คือจำนวนของเส้นเชื่อม และ "f" คือจำนวนของหน้า (face) (บริเวณที่ถูกล้อมด้วยเส้นเชื่อม ซึ่งรวมถึงบริเวณด้านนอกซึ่งมีขนาดไม่จำกัดด้วย) แล้ว

นั่นคือ ลักษณะเฉพาะของออยเลอร์เท่ากับ 2 ตัวอย่างเช่น จากกราฟเชิงระนาบรูปแรกในหน้านี้ เราจะได้ "v"=6, "e"=7 และ "f"=3 จากกราฟรูปที่สอง ถ้าวาดโดยไม่มีเส้นเชื่อมตัดกัน เราจะได้ "v"=4, "e"=6 และ "f"=4 สูตรของออยเลอร์สามารถพิสูจน์ได้ดังนี้: ถ้ากราฟไม่เป็นต้นไม้แล้ว เราจะลบเส้นเชื่อมที่อยู่บนวัฏจักรออกไป ซึ่งจะเป็นการลด e และ f ลงอย่างละ 1 ดังนั้น "v" − "e" + "f" จึงเป็นค่าคงที่ ให้ทำซ้ำจนกว่าจะได้ต้นไม้ เราจะได้ "v" = "e" + 1 และ "f" = 1 ดังนั้น "v" - "e" + "f" = 2

ในกราฟเชิงระนาบ"เชิงเดียว"เชื่อมโยงจำกัด หน้าใดๆจะถูกล้อมด้วยเส้นเชื่อมอย่างน้อย 3 เส้น และเส้นเชื่อมทุกๆเส้นจะสัมผัสกับหน้าอย่างมาก 2 หน้า; โดยการใช้สูตรของออยเลอร์ เราสามารถแสดงให้เห็นได้ว่า กราฟเหล่านี้เป็นกราฟที่เบาบาง นั่นคือ "e" ≤ 3"v" - 6 ถ้า "v" ≥ 3
คณิตตรรกศาสตร์

คณิตตรรกศาสตร์ ..ฝ() คือสาขาหนึ่งในคณิตศาสตร์ที่ศึกษาระบบรูปนัย และคุณลักษณะที่ระบบดังลฝฝกล่าวจะสามารถใช้เพื่อแสดงมโนทัศน์ของบทพิสูจน์ และการคำนวณในส่วนที่เป็นรากฐานของคณิตศาสตร์

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

"คณิตตรรกศาสตร์" เป็นชื่อที่เปอาโน () ใช้เรียกตรรกศาสตร์สัญลักษณ์ ในแก่นแท้แล้วสาขานี้ก็ยังคงเป็นตรรกศาสตร์ของอริสโตเติลอยู่ แต่ว่าเปลี่ยนมาใช้รูปแบบการเขียนในลักษณะเดียวกับพีชคณิตนามธรรม

ความพยายามที่จะจัดการกับการดำเนินการต่าง ๆ ของตรรกศาสตร์รูปนัย ในเชิงสัญลักษณ์ หรือในเชิงพีชคณิตนั้น แม้จะได้มีขึ้นโดยนักคณิตศาสตร์ที่ค่อนไปทางนักปรัชญา เช่นไลบ์นิซ และแลมเบิร์ต แต่งานที่พวกเขาทำนั้นไม่เป็นที่รู้จักและกระจัดกระจาย   จนกระทั่งจอร์จ บูลและตามด้วยออกัสตัส เดอ มอร์แกน ในช่วงกลางของคริสต์ศตวรรษที่ 19 ได้นำเสนอวิธีการที่เป็นระบบเชิงคณิตศาสตร์ (ซึ่งยังไม่เป็นแบบเชิงปริมาณ) สำหรับตรรกศาสตร์   แนวทางการศึกษาตรรกศาสตร์แบบอริสโตเติลจึงได้ถูกปฏิรูปและถูกทำให้สมบูรณ์ จุดนี้ก่อให้เกิดการพัฒนาเครื่องมือ ที่สามารถใช้เพื่อศึกษามโนทัศน์พื้นฐานของคณิตศาสตร์ได้   คงจะไม่ถูกนักถ้าจะกล่าวว่าการโต้แย้งเชิงรากฐานที่มีขึ้นในช่วง ค.ศ. 1900 - 1925 ได้พบกับคำตอบที่น่าพอใจแล้ว แต่อย่างไรก็ตามตรรกศาสตร์ 'แนวใหม่' นี้ก็ได้ช่วยให้ความกระจ่างในด้านของปรัชญาคณิตศาสตร์เป็นอย่างยิ่ง

ในขณะที่พัฒนาการตามแนวทางดั่งเดิมของตรรกศาสตร์ (ดูรายการบทความด้านตรรกศาสตร์) นั้น ให้ความสำคัญอย่างสูงกับ "รูปแบบของการให้เหตุผล" มุมมองของคณิตตรรกศาสตร์ในปัจจุบันกลับสามารถกล่าวได้ว่าเป็น "การศึกษาเชิงการจัดกลุ่มของเนื้อหา" ("the combinatorial study of content") ซึ่งครอบคลุมถึงส่วนที่เป็น "เชิงสังเคราะห์" (เช่น การส่งข้อความจากภาษาเชิงรูปนัยไปยังคอมไพเลอร์เพื่อเปลี่ยนเป็นภาษาเครื่อง) และส่วนที่เป็น "เชิงความหมาย" (การสร้างโมเดล หรือเซตของโมเดลทั้งหมดในทฤษฎีโมเดล)

ผลงานตีพิมพ์สำคัญคือ Begriffsschrift และ Principia Mathematica ของเบอร์ทรันด์ รัซเซลล์
ทอม แคลนซี

ทอม แคลนซี () ชื่อเต็มคือ โทมัส ลีโอ แคลนซี จูเนียร์ (; 12 เมษายน ค.ศ. 1947 — 1 ตุลาคม ค.ศ. 2013) เป็นนักเขียนนิยายสงครามและการเมืองชาวอเมริกัน นวนิยายสิบเจ็ดเรื่องของเขาติดอันดับหนังสือขายดี ด้วยยอดจำหน่ายกว่า 100 ล้านเล่มในการจัดพิมพ์

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

แคลนซีเริ่มต้นอาชีพนักประพันธ์ด้วยผลงานชิ้นแรก "ล่าตุลาแดง" ใน ค.ศ. 1985 ซึ่งเขาได้เสนอขายต่อสถาบันข่าวทหารเรือด้วยจำนวนเงิน 5,000 ดอลลาร์สหรัฐ รวมทั้งได้รับคำชมจากสถาบันแห่งนี้ด้วยเช่นกัน

แคลนซีเสียชีวิตวันที่ 1 ตุลาคม พ.ศ. 2556 หลังจากเจ็บป่วยไม่นาน ที่โรงพยาบาลจอนส์ฮอปกินส์ ใกล้กับบ้านที่บัลติมอร์ของเขา รวมอายุได้ 66 ปี และไม่ได้เปิดเผยสาเหตุของการเสียชีวิต เหลือไว้แต่เพียงเด็กสี่คนและภรรยาของเขาชื่ออเล็กซานดรา มารี ลีเวลลีนนับเฉพาะเรื่องในชุดของตัวเอก แจ็ค ไรอัน และจอห์น คลาร์ค
ผลงานของทอม แคลนซี ได้นำไปสร้างเป็นวิดีโอเกมแนวสงคราม จารกรรม และการต่อต้านการก่อการร้าย ดังนี้
แคลคูลัสเชิงประพจน์

แคลคูลัสเชิงประพจน์ คือระบบรูปนัยสำหรับการใช้เหตุผลแบบนิรนัย ที่มีหน่วยพื้นฐานคือตัวแปรเชิงประพจน์ (ซึ่งจะแตกต่างจากตรรกศาสตร์ภาคแสดงที่อาจมีการใช้ "ตัวบ่งปริมาณ" และมีหน่วยพื้นฐานคือฟังก์ชันเชิงประพจน์ และตรรกศาสตร์อัญรูปที่หน่วยพื้นฐานอาจไม่ใช่ประโยคระบุความจริง)

ในที่นี้ "แคลคูลัส" คือระบบทางตรรกศาสตร์ที่ใช้สำหรับพิสูจน์ทั้งสูตร (นั่นคือทฤษฎีบทที่ได้จากระบบนั้น) และการอ้างเหตุผลที่สมเหตุสมผล แคลคูลัสคือเซตของสัจพจน์ (ที่อาจเป็นเซตว่างหรืออาจเป็นเซตอนันต์นับได้) และกฎการอนุมานสำหรับการสร้างการอนุมานที่สมเหตุสมผล ไวยากรณ์รูปนัย (หรือ "วากยสัมพันธ์") จะนิยามนิพจน์และสูตรที่จัดดีแล้ว (well-formed formular หรือ wff) ของภาษาแบบเวียนเกิด นอกจากนี้จะต้องมีการระบุความหมาย (อรรถศาสตร์) ที่นิยามความจริงและค่าต่าง ๆ (หรือการตีความ) ทั้งหมดนี้ทำให้เราสามารถตัดสินได้ว่าสูตรที่จัดดีแล้วสูตรใดสมเหตุสมผล

ในแคลคูลัสเชิงประพจน์นั้น ภาษาจะประกอบด้วยตัวแปรเชิงประพจน์ และตัวดำเนินการเชิงประโยค (หรือ ตัวเชื่อม) สูตรที่จัดดีแล้ว คือสูตรที่เป็นหน่วยพื้นฐาน หรือสูตรที่สร้างโดยใช้ตัวดำเนินการเชิงประโยค

ต่อไปเราจะได้แสดงรูปแบบมาตรฐานของแคลคูลัสเชิงประพจน์อย่างคร่าว ๆ รูปแบบอื่น ๆ ที่แตกต่างไปจากนี้ก็ยังมีใช้อยู่ ข้อแตกต่างที่พบจะมีในส่วนของ (1) ภาษา (ตัวดำเนินการและตัวแปรใดบ้างที่จัดว่าเป็นส่วนของภาษา) (2) สัจพจน์ใดที่ใช้ และ (3) กฎการอนุมานที่ใช้

ภาษาของแคลคูลัสเชิงประพจน์ประกอบด้วย:เซตของ "wff" ถูกนิยามแบบเวียนเกิด (เรียกซ้ำ) ด้วยกฎต่อไปนี้

การใช้กฎเหล่านี้ทำให้เราสร้าง "wff" ที่ซับซ้อนได้ เช่น
พีชคณิตแบบบูล

ในคณิตศาสตร์และวิทยาการคอมพิวเตอร์ พีชคณิตแบบบูล, พีชคณิตบูลีน หรือ แลตทิซแบบบูล () คือโครงสร้างเชิงพีชคณิตซึ่งเป็นการรวบรวมแก่นความหมายของการดำเนินการทางตรรกศาสตร์และทฤษฎีเซต
โดยชื่อพีชคณิตแบบบูลนั้นตั้งตามจอร์จ บูล ผู้พัฒนาพีชคณิตแบบนี้

จอร์จ บูล นักคณิตศาสตร์ชาวอังกฤษ ที่มหาวิทยาลัย College Cork ผู้ที่นิยามพีชคณิตดังกล่าวขึ้นมาเพื่อเป็นส่วนหนึ่งของระบบทางตรรกศาสตร์ในกลางคริสต์ศตวรรษที่ 19 พีชคณิตแบบบูลนำเทคนิคทางพีชคณิตมาใช้กับนิพจน์ในตรรกศาสตร์เชิงประพจน์ ในปัจจุบันพีชคณิตแบบบูลได้ถูกนำไปประยุกต์อย่างแพร่หลายในการออกแบบทางอิเล็กทรอนิกส์ ผู้ที่นำไปใช้คนแรกคือคลาวด์ อี. แชนนอน นักวิทยาศาสตร์แห่งห้องทดลองเบลล์ (Bell Laboratory) ในคริสต์ศตวรรษที่ 20 โดยนำมาใช้ในการวิเคราะห์วงจรเน็ตเวิร์กที่ทำงานต่อกันหลาย ๆ ภาค เช่น วงจรของโทรศัพท์ เป็นต้น เมื่อมีการพัฒนาวงจร
คอมพิวเตอร์ขึ้นก็ได้มีการนำเอาพีชคณิตบูลีนมาใช้ในการคำนวณ ออกแบบ และอธิบายสภาวะการทำงานของสถานะวงจรภายในระบบคอมพิวเตอร์ โดยพีชคณิตบูลีนเป็นพื้นฐานสำคัญในการออกแบบวงจรตรรกของระบบดิจิตอล

พีชคณิตแบบบูล คือ เซต "A" ที่ประกอบด้วยการดำเนินการทวิภาค คือ formula_1 (AND) กับ formula_2 (OR) , การดำเนินการเอกภาค คือ formula_3 / ~ (NOT) และสมาชิกคือ 0 (FALSE) กับ 1 (TRUE)
ซึ่งสำหรับสมาชิก "a", "b" และ "c" ของเซต "A" จะมีคุณสมบัติเป็นไปตามสัจพจน์เหล่านี้
สำหรับสมาชิก "a" และ "b" ใน "A" มันจะมีเอกลักษณ์ดังต่อไปนี้
1

1 (หนึ่ง) เป็นจำนวน ตัวเลข และเป็นชื่อของสัญลักษณ์ภาพที่แทนจำนวนนั้น หนึ่งแทนสิ่งสิ่งเดียว หน่วยในการนับหรือการวัด ตัวอย่างเช่น ส่วนของเส้นตรงของ "ความยาวหนึ่งหน่วย" คือส่วนของเส้นตรงของความยาวเท่ากับ 1

หนึ่ง เป็นจำนวนเต็มที่มาก่อนเลขสองและมาหลังเลขศูนย์ หนึ่งเป็นจำนวนแรกที่ไม่ใช่ศูนย์และเป็นเลขคี่ในจำนวนธรรมชาติ

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

เชิงคณิตศาสตร์ 1 เป็น:

ลอการิทึมฐาน 1 ไม่นิยาม เนื่องจากฟังก์ชัน 1 เท่ากับ 1 เสมอ และไม่มีตัวผกผันที่แท้จริง

ในระบบจำนวนจริง 1 สามารถเขียนแทนได้สองอย่าง ในรูปทศนิยมซ้ำ ได้แก่ 1.000... และ 0.999...

เนื่องจากเป็นเอกลักษณ์การคูณ ถ้า "f"("x") เป็นฟังก์ชันการคูณ แล้ว "f"(1) ต้องเท่ากับ 1

หนึ่งเป็นจำนวนเชิงรูปของทุกอย่าง เช่น จำนวนสามเหลี่ยม จำนวนห้าเหลี่ยม และจำนวนหกเหลี่ยมด้านเท่า เป็นต้น

หนึ่งเป็นจำนวนคี่จำนวนเดียวที่อยู่ในช่วงของฟังก์ชันทอเทียนต์ของออยเลอร์ φ(x) เมื่อ x = 1 และ x = 2

โดยนิยามแล้ว 1 เป็นความน่าจะเป็นของเหตุการณ์ที่เกือบแน่ใจได้ว่าจะเกิดขึ้น

ฟังก์ชันก่อกำเนิดที่มีสัมประสิทธิ์ทุกตัวเป็น 1 ดังสมการ

formula_1.

อนุกรมยกกำลังนี้ลู่เข้า และมีค่าจำกัด ก็ต่อเมื่อ formula_2ฟฟ
ฟ
เคน วิลเบอร์

เคน วิลเบอร์ () เกิดเมื่อวันที่ 31 มกราคม พ.ศ. 2492 (ค.ศ. 1949) ที่เมืองโอคลาโฮมาซิตี สหรัฐอเมริกา เป็น นักปรัชญา นักจิตวิทยา และนักทฤษฎีคนสำคัญของโลก เขาพัฒนาทฤษฎีที่มีชื่อว่า ทฤษฎีบูรณาการ โดยวางอยู่บนกระบวนทัศน์แม่บท (meta-paradigm) คือ "ทุกคนถูกต้อง" เขาเขียนหนังสือเล่มแรกตั้งแต่อายุ 23 ปี ชื่อ The Spectrum of Consciousness หนังสือเล่มสำคัญเล่มอื่น ๆ ของเขาได้แก่ Sex, Ecology, Spirituality และ A Brief History of Everything

All Quadrant All Level (AQAL) - โดยทั่วไปกระบวนการรับข่าวสารข้อมูลจากสิ่งแวดล้อม (Environmental scanning) ซึ่งเป็นขั้นตอนที่สำคัญในกระบวนการมองอนาคต จะคำนึงถึงห้าด้านด้วยกันคือ Social, Technology, Environment, Economics และ Politics หรือเรียกอีกอย่างว่า STEEP analysis แต่ว่ากระบวนการนี้มักจะถูกกรองโดยพื้นฐานความคิดของคนผู้นั้น หรือเรียกอีกอย่างว่า เรามักจะเห็นในสิ่งที่เราอยากเห็น และได้ยินในสิ่งที่เราอยากได้ยินเท่านั้น

AQAL model ได้ถูกเสนอขึ้นโดย Ken Wilber ด้วยการจัดกลุ่มข่าวสารข้อมูลเป็นสี่เสี้ยว หลักๆคือ : interior-individual (เจตนา) , exterior-individual (พฤติกรรม) , interior-collective (วัฒนธรรม) และ exterior-collective (สังคม). ในที่นี้ STEEP analysis ได้ถูกรวมอยู่ในเรื่องสังคมแล้ว โมเดลนี้ยังสามารถพัฒนาเพิ่มเติมโดยการแบ่งเรื่องทั้งสี่หัวข้อออกเป็นหลายชั้นเช่น “matter to body to mind to soul to spirit”. จะเห็นได้ว่าข้อมูลที่เราพิจารณาจะมีขอบเขตที่กว้างกว่าเดิมมาก

วิธีนี้ช่วยขยายกรอบความคิดพื้นฐานของเรารวมไปถึงการมองโลกในมุมมองที่กว้างขึ้นและเปิดโอกาสให้เห็นสัญญาณอ่อนๆจากอนาคต
นักสืบหุ่นยนต์ (ชุดหนังสือ)

นักสืบหุ่นยนต์ เป็นชุดนิยายวิทยาศาสตร์ ที่ประกอบด้วย นวนิยาย 4 เล่ม กับเรื่องสั้นอีกหนึ่งเรื่อง ประพันธ์โดย ไอแซค อสิมอฟ นับเป็นรหัสคดีแนววิทยาศาสตร์ชุดแรก ที่มีเรื่องราวเกี่ยวข้องกับหุ่นยนต์ โดย อสิมอฟ ได้วางเรื่องชุดนี้ให้อยู่ในช่วงที่มนุษย์ระลอกแรกได้ก่อตั้งรกรากในอวกาศ โดยมีลักษณะสังคมที่แตกต่างและการเมืองที่ซับซ้อนระหว่างโลกที่เป็นภพกำเนิดที่เป็นสังคมซึ่งปฏิเสธการอยู่ร่วมกับหุ่นยนต์ (ชาวโลก) และภพรอบนอก ซึ่งมนุษย์มีหุ่นยนต์จำนวนมากคอยรับใช้และบริการ (ชาวอวกาศ)

เรื่องชุดนี้นับเป็นเรื่องราวที่ต่อเนื่องจากชุด "ข้าคือหุ่นยนต์" และเป็นเรื่องราวก่อนชุดจักรวรรดิ และชุดสถาบันสถาปนา ในบางตอนยังกล่าวถึงตัวละครในชุดข้าคือหุ่นยนต์ และตัวละครในชุดนี้ก็ยังปรากฏอยู่ในบางตอนของชุดสถาบันสถาปนา ด้วย
ตัวดำเนินการตรรกะ

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

ประโยคใหม่ที่ได้จากการเชื่อมประโยคเรียกว่า ประโยคเชิงซ้อน หรือ ประพจน์เชิงซ้อน

ตัวดำเนินการพื้นฐานมี: "นิเสธ" (¬ หรือ ~), "และ" (∧ หรือ &), "หรือ" (∨), "เงื่อนไข" (→), และ "เงื่อนไขสองทาง" (↔). "นิเสธ" เป็นตัวดำเนินการเอกภาพ ที่ใช้กับเทอมเดี่ยว ที่เหลือคือตัวดำเนินการทวิภาค ที่เชื่อมเทอมสองเทอมเข้าด้วยกัน เช่น P ∧ Q, P ∨ Q, P → Q, และ P ↔ Q เรามักเรียกตัวดำเนินการเงื่อนไขว่า "ถ้า-แล้ว" ส่วนตัวดำเนินการเงื่อนไขสองทางเราเรียกว่า "ก็ต่อเมื่อ"

สังเกตความคล้ายคลึงกันของเครื่องหมายสำหรับ "และ" (formula_1) และ "อินเตอร์เซกชัน" (∩) และในทำนองเดียวกัน เครื่องหมายสำหรับ "หรือ" (∨) และ "ยูเนียน (∪) นี่ไม่ใช่เรื่องบังเอิญ ทั้งนี้เนื่องจากนิยามของอินเตอร์เซกชันใช้ "และ" ส่วนนิยามของยูเนียนใช้ "หรือ"

ตารางค่าความจริง ของตัวเชื่อมเหล่านี้:
เพื่อจะลดจำนวนวงเล็บ เราจะเพิ่มลำดับความสำคัญของตัวดำเนินการต่างๆ ดังนี้: 
¬ มีความสำคัญมากกว่า ∧, ∧ มากกว่า ∨, และ ∨ มากกว่า → ตัวอย่างเช่น P ∨ Q ∧ ¬ R → S คือการเขียนอย่างย่อของ (P ∨ (Q ∧ (¬ R))) → S

อย่างไรก็ตาม ไม่จำเป็นที่เราจะต้องใช้ตัวดำเนินการทุกตัวในนี้ สำหรับการใช้งานในตรรกศาสตร์เชิงประพจน์ที่สมบูรณ์ ประโยคเชิงซ้อนนั้นหลายครั้งก็สมมูลกัน ตัวอย่างเช่น ¬ P ∨ Q นั้นสมมูลทางตรรกศาสตร์กับ P → Q; ดังนั้น เราไม่จำเป็นต้องมีตัวดำเนินงานเงื่อนไข "→" ถ้าเรามี "¬" (นิเสธ) และ "∨" (หรือ)

เพื่อความกะทัดรัด เฉพาะ 5 ตัวดำเนินการที่ใช้บ่อยเท่านั้น ที่เราได้แสดงในหัวข้อนี้ ยังมีตัวเชื่อมอื่นๆ อีก เช่น แนน (nand, not-and), เอกซ์-ออร์ และ นอร์ (nor, not-or).
ทฤษฎีบูรณาการ

ทฤษฎีบูรณาการ เป็นทฤษฎีที่พยายามบูรณาการองค์ความรู้ต่าง ๆ เข้ามาอย่างรอบด้าน แต่ไม่ใช่การนำองค์ความรู้ต่าง ๆ มากองรวมกัน หรือทึกทักเหมารวมเอาไว้ด้วยกันอย่างไม่สามารถแยกแยะอะไรได้ นักปรัชญาคนสำคัญที่สนใจพัฒนาทฤษฎีบูรณาการได้แก่ , ออโรบินโด () , จีน เกบเซอร์ () ดอน เบ็ค () และอีกหลายคน ที่ตอนนี้อยู่ที่สถาบันบูรณาการ (Integral Institute)
ชีวสารสนเทศศาสตร์

ชีวสารสนเทศศาสตร์ หรือ ชีววิทยาเชิงคำนวณ () เป็นสาขาที่ใช้ความรู้จากคณิตศาสตร์ประยุกต์, สถิติศาสตร์, สารสนเทศศาสตร์, และวิทยาการคอมพิวเตอร์ เพื่อแก้ปัญหาทางชีววิทยา.

การศึกษาชีวสารสนเทศศาสตร์ จะเกี่ยวข้องกับข้อมูลทางพันธุศาสตร์และอณูชีววิทยา เช่น ข้อมูลรหัสพันธุกรรม, ข้อมูลลำดับรหัสโปรตีน, ปริมาณชีวโมเลกุล (ระดับการแสดงออกของยีนต่าง ๆ) แต่ละชนิด (mRNA และโปรตีน), และข้อมูลหมายเหตุ (annotation data). โดยผู้ศึกษาวิจัย จะนำข้อมูลเหล่านี้ ไปใช้ในงานอย่าง การจัดเรียงลำดับรหัสโปรตีน การจัดโครงสร้างโปรตีน การทำนายโครงสร้างโปรตีน การค้นหายีน หรือ การสร้างหุ่นจำลองของวิวัฒนาการ. เนื่องจากข้อมูลที่ใช้นั้นมีจำนวนมาก ทำให้ใช้พื้นที่จัดเก็บมากตาม และบ่อยครั้งที่ข้อมูลมีความซับซ้อน ทำให้ต้องใช้การประมวลผลมากขึ้นเช่นกัน การศึกษาด้านชีวสารสนเทศศาสตร์ จึงค้นหาเทคนิควิธีที่จะทำให้การจัดเก็บ สืบค้น และประมวลผลเหล่านั้น เป็นไปได้โดยสะดวก และมีประสิทธิภาพ

Bioinformatics เป็นคำย่อจากคำเต็มว่า "Molecular Bioinformatics" ซึ่งหมายถึงสหการของ อณูชีววิทยา (Molecular Biology) กับ สารสนเทศศาสตร์ (Informatics), ในวงวิชาการไทยมักเรียกชื่อทับศัพท์ว่า "ไบโออินฟอร์เมติกส์".