Abstract ExamplesMATHEMATICS, COMPU

Abstract Examples
MATHEMATICS, COMPUTER SCIENCE, & MECHANICAL ENGINEERING
Title: CLOSED-WORLD REASONING APPLIED TO MATHEMATICAL PROOF
Major(s): Mathematics
Department: Computer Science, Mathematics and Statistics
Abstract: Many students have sat in the tutoring center working through problem after
problem on their math homework wondering why they cannot solve them. It turns
outthat much of classical mathematical logic is quite different from the way humans
reason. In fact, without a rigorous background in mathematical logic it is difficult for
humans to reason according to the norms of formal mathematics. This project assumes
Husserl’s idea that people reason to an interpretation and from an interpretation and
includes new insights into the way in which humans construct logical frameworks.
Using Stenning and Van Lambalgen’s theory that much of human reasoning is
about process planning we will apply closed-world reasoning to the construction of
mathematical proofs via logic programming. The resulting model will help explicate
the problems student have in creating proofs.
---------------------------------------------------------------------------------------------------------------------------------------------------------
Title: MANDELMANIA: A MANDELBROT FRACTAL ANIMATION VIDEO
Major(s): Computer Science
Department: Computer Science, Mathematics, and Statistics
Abstract: This presentation is an animation video, accompanied by music, which
shows a series of six sequences of zooming into the Mandelbrot set, each sequence
starting from a point that shows the entire set. Making the final video required using
skills acquired in the fields of art, music, and computer science. Programming and
graphics skills were used to write algorithms that convert to and from the RGB (Red,
Green, and Blue) and HSV (Hue, Saturation, and Value) color spaces to create a series of
revolving colors that are aesthetically pleasing. Skills learned in the Computer Science
Operating Systems class were used to separate the processing of different frames
of the animation out onto different processors, to be simultaneously generated on
multiple-processor machines.
This abstract clearly introduces what the presentation will contain, and it provides
interesting detail. However, while the last sentence explains how the presenters were able
to create the presentation, it might be better if this sentence explained why this type of
presentation is of interest to the audience or what they can learn from the presentation.
This immediately captures personal
interest in the presentation by telling us
how it relates to us.
This abstract clearly and effectively tells us why the problem was researched and
how, and it explains what the audience will gain from attending the presentation.

ผลลัพธ์ (ไทย) 1:

ตัวอย่างบทคัดย่อคณิตศาสตร์ คอมพิวเตอร์ วิศวกรรมเครื่องกล ชื่อเรื่อง: โลกปิดเหตุผลกับการพิสูจน์ทางคณิตศาสตร์Major(s): คณิตศาสตร์ภาควิชา: วิทยาการคอมพิวเตอร์ คณิตศาสตร์ และสถิติบทคัดย่อ: ได้นั่งกลางสอนทำงานผ่านปัญหาหลังจากนักเรียนจำนวนมากปัญหาในการบ้านคณิตศาสตร์ของพวกเขาสงสัยว่า ทำไมพวกเขาไม่สามารถแก้ไขปัญหาเหล่านั้น ก็เปลี่ยนoutthat มากคลาสสิกคณิตศาสตร์ตรรกะจะค่อนข้างแตกต่างจากมนุษย์ทางเหตุผล ในความเป็นจริง ไม่ มีพื้นหลังที่เข้มงวดในตรรกศาสตร์เชิงคณิตศาสตร์ ก็ยากมนุษย์เหตุผลตามพื้นฐานของคณิตศาสตร์อย่างเป็นทางการ โครงการนี้ถือความคิดของ Husserl ที่คนสาเหตุการตีความ และการตีความ และมีลึกแบบที่มนุษย์สร้างกรอบตรรกะใหม่ใช้ทฤษฎี Stenning และรถตู้ Lambalgen ที่มนุษย์ใช้เหตุผลมากเกี่ยวกับกระบวนการวางแผน เราจะใช้เหตุผลโลกปิดกับการก่อสร้างหลักฐานทางคณิตศาสตร์ผ่านโปรแกรมตรรกะ รูปแบบผลลัพธ์จะช่วย explicateปัญหานักเรียนในการสร้างหลักฐานได้ ---------------------------------------------------------------------------------------------------------------------------------------------------------ชื่อเรื่อง: MANDELMANIA: มานดัลบรอแฟร็กทัลภาพเคลื่อนไหววิดีโอMajor(s): วิทยาการคอมพิวเตอร์ภาควิชา: วิทยาการคอมพิวเตอร์ คณิตศาสตร์ และสถิติบทคัดย่อ: งานนำเสนอนี้เป็นวิดีโอ ภาพเคลื่อนไหวตามเพลง ที่แสดงชุดของลำดับที่หกของการซูมในเซตมานดัลบรอ แต่ละลำดับเริ่มต้นจากจุดที่แสดงชุดทั้งหมด ทำวิดีโอสุดท้ายต้องใช้ทักษะที่ได้รับในด้านของวิทยาศาสตร์ศิลปะ ดนตรี และคอมพิวเตอร์ การเขียนโปรแกรม และใช้รูปภาพทักษะการเขียนอัลกอริทึมที่แปลงไปยัง และ จาก RGB (สีแดงสีเขียว และสีน้ำเงิน) และช่องว่างที่จะสร้างชุดของสี HSV (สีสัน ความอิ่มตัว และค่า)หมุนสีที่ชื่นชอบอย่าง ทักษะการเรียนรู้ในวิทยาการคอมพิวเตอร์ใช้ระบบปฏิบัติการคลาเพื่อแยกการประมวลผลเฟรมที่แตกต่างกันของการเคลื่อนไหวออกไปยังโปรเซสเซอร์อื่น จะสร้างพร้อมกันในตัวประมวลผลหลายเครื่อง บทคัดย่อนี้ชัดเจนแนะนำสิ่งที่นำเสนอจะประกอบด้วย และให้ รายละเอียดน่าสนใจ อย่างไรก็ตาม ในขณะที่ประโยคสุดท้ายอธิบาย วิธีผู้เสนอที่มีความสามารถ การสร้างงานนำเสนอ มันอาจจะดีกว่าถ้าประโยคนี้อธิบายเหตุนี้ชนิดของ งานนำเสนอของผู้ชมหรือสิ่งที่พวกเขาสามารถเรียนรู้จากงานนำเสนอได้นี้ทันทีจับส่วนบุคคล สนใจในการนำเสนอโดยบอกเรา วิธีนี้เกี่ยวข้องกับเรา บทคัดย่อนี้อย่างชัดเจน และมีประสิทธิภาพบอกเราทำไมไม่ทำวิจัยปัญหา และ อย่างไร และอธิบายว่า ผู้ชมจะได้รับจากการเข้าร่วมงานนำเสนอ

ผลลัพธ์ (ไทย) 2:

ตัวอย่างบทคัดย่อ
คณิตศาสตร์วิทยาการคอมพิวเตอร์และวิศวกรรมเครื่องกล
หัวข้อ: เหตุผลปิดโลกนำไปใช้ในการพิสูจน์ทางคณิตศาสตร์
ที่สำคัญ (s): คณิตศาสตร์
ภาควิชาวิทยาการคอมพิวเตอร์, คณิตศาสตร์และสถิติ
บทคัดย่อ: นักเรียนหลายคนได้นั่งอยู่ในศูนย์การสอนการทำงานผ่านปัญหาหลังจาก
ปัญหา ทำการบ้านคณิตศาสตร์ของพวกเขาสงสัยว่าทำไมพวกเขาไม่สามารถแก้ปัญหาได้ มันจะเปิด
outthat มากของตรรกะทางคณิตศาสตร์คลาสสิกค่อนข้างแตกต่างจากวิธีการที่มนุษย์
เหตุผล ในความเป็นจริงโดยไม่ต้องพื้นหลังอย่างเข้มงวดในตรรกะทางคณิตศาสตร์เป็นเรื่องยากสำหรับ
มนุษย์ที่จะให้เหตุผลตามบรรทัดฐานของคณิตศาสตร์อย่างเป็นทางการ โครงการนี้จะถือว่า
ความคิดของ Husserl ว่าคนเหตุผลที่จะตีความและจากการตีความและการ
รวมข้อมูลเชิงลึกใหม่เข้าสู่วิธีการในการที่มนุษย์สร้างกรอบตรรกะ.
ใช้ทฤษฎี Stenning และ Van Lambalgen ที่มากของการใช้เหตุผลของมนุษย์
เกี่ยวกับการวางแผนขั้นตอนที่เราจะนำมาใช้ปิดโลก เหตุผลที่จะมีการก่อสร้างของ
การพิสูจน์ทางคณิตศาสตร์ผ่านทางโปรแกรมตรรกะ รูปแบบที่เกิดขึ้นจะช่วยอธิบาย
นักเรียนมีปัญหาในการสร้าง MANDELMANIA: Mandelbrot เศษส่วนภาพวิดีโอเมเจอร์ (s): วิทยาการคอมพิวเตอร์ภาควิชาวิทยาการคอมพิวเตอร์คณิตศาสตร์และสถิติบทคัดย่อ: งานนำเสนอนี้เป็นวิดีโอภาพเคลื่อนไหวพร้อมกับเพลงที่แสดงให้เห็นถึงชุดของหกลำดับของการซูมเข้าไปในชุด Mandelbrot, แต่ละลำดับเริ่มต้นจากจุดที่แสดงให้เห็นทั้งชุด การทำวิดีโอขั้นสุดท้ายต้องใช้ทักษะในด้านศิลปะดนตรีและวิทยาการคอมพิวเตอร์ การเขียนโปรแกรมและทักษะกราฟิกถูกนำมาใช้ในการเขียนอัลกอริทึมที่แปลงไปและกลับจาก RGB (สีแดง, สีเขียวและสีฟ้า) และ HSV (Hue, Saturation และมูลค่า) พื้นที่สีเพื่อสร้างชุดของสีหมุนเวียนที่มีความสวยงาม ทักษะการเรียนรู้ในวิทยาการคอมพิวเตอร์ระดับระบบปฏิบัติการที่ถูกนำมาใช้ในการแยกการประมวลผลของภาพที่แตกต่างกันของการเคลื่อนไหวออกไปยังหน่วยประมวลผลที่แตกต่างกันจะถูกสร้างขึ้นพร้อมกันในหลายเครื่องประมวลผล. นามธรรมนี้อย่างชัดเจนแนะนำสิ่งที่นำเสนอจะมีและมันก็มีที่น่าสนใจ รายละเอียด อย่างไรก็ตามในขณะที่ประโยคสุดท้ายอธิบายถึงวิธีการนำเสนอที่มีความสามารถในการสร้างงานนำเสนอมันอาจจะดีกว่าถ้าประโยคนี้อธิบายว่าทำไมชนิดนี้นำเสนอเป็นที่สนใจของผู้ชมหรือสิ่งที่พวกเขาสามารถเรียนรู้จากการนำเสนอ. นี้ทันทีจับบุคคลที่น่าสนใจ ในงานนำเสนอด้วยการบอกกับเราว่ามันเกี่ยวข้องกับเรา. นามธรรมนี้อย่างชัดเจนและมีประสิทธิภาพจะบอกเราว่าทำไมปัญหาได้รับการวิจัยและวิธีการและจะอธิบายถึงสิ่งที่ผู้ชมจะได้รับจากการเข้าร่วมงานนำเสนอ

ผลลัพธ์ (ไทย) 3:

นามธรรมตัวอย่าง
คณิตศาสตร์ วิทยาศาสตร์คอมพิวเตอร์ &วิศวกรรมเครื่องกล
ชื่อเรื่อง : closed-world เหตุผลเพื่อพิสูจน์ทางคณิตศาสตร์ประยุกต์หลัก ( s )

: : ภาควิชาคณิตศาสตร์ วิทยาศาสตร์ คอมพิวเตอร์ คณิตศาสตร์ และสถิติ
บทคัดย่อ : นักเรียนหลายคนนั่งอยู่ในสถาบันติวเตอร์ทำงานผ่านปัญหาหลังจาก
ปัญหาการบ้านคณิตศาสตร์ของพวกเขาสงสัยว่าทำไมพวกเขาไม่สามารถแก้ปัญหาได้ มันกลายเป็น
ว่า นักตรรกศาสตร์คลาสสิกค่อนข้างแตกต่างจากมนุษย์
เหตุผล ในความเป็นจริง ไม่มีพื้นที่เคร่งครัดในตรรกะทางคณิตศาสตร์เป็นเรื่องยากสำหรับ
มนุษย์ เหตุผล ตามกฎเกณฑ์ของคณิตศาสตร์ที่เป็นทางการ โครงการนี้ถือว่า
ฮุลเซิร์ลความคิดคน เหตุผล การตีความ และการตีความและ
จากรวมถึงข้อมูลเชิงลึกใหม่เป็นวิธีที่มนุษย์สร้างกรอบตรรกะ
ใช้ stenning และรถตู้ lambalgen ทฤษฎีมากของมนุษย์ ใช้เหตุผล
เกี่ยวกับกระบวนการวางแผนเราจะใช้ปิดโลกเหตุผลในการก่อสร้างการพิสูจน์ทางคณิตศาสตร์
ตรรกะการเขียนโปรแกรม ซึ่งรูปแบบจะช่วยอธิบายปัญหาของนักศึกษาในการสร้าง
ปรู๊ฟ .
ชื่อเรื่อง ---------------------------------------------------------------------------------------------------------------------------------------------------------
: mandelmania : มานดัลบรอเศษส่วนวีดีโอ ภาพเคลื่อนไหว
หลัก ( s ) :
กรมวิทยาศาสตร์คอมพิวเตอร์ คณิตศาสตร์ วิทยาศาสตร์ คอมพิวเตอร์ และสถิติ
บทคัดย่อ : การนำเสนอนี้เป็นภาพเคลื่อนไหววิดีโอพร้อมเสียงเพลงซึ่ง
แสดงชุดของหกลำดับของซูมในชุดมานดัลบรอ แต่ละลำดับ
เริ่มจากจุดที่แสดงให้เห็นทั้งชุด ทำสุดท้ายวิดีโอต้องใช้
ทักษะได้รับในด้านศิลปะ ดนตรี วิทยาศาสตร์ และคอมพิวเตอร์ และทักษะการใช้โปรแกรมกราฟิก
เขียนขั้นตอนวิธีการแปลงไปยังและจาก RGB ( แดง ,
สีเขียวและสีฟ้า ) และความอิ่มตัวสี HSV ( , ,และค่าสี ) เป็นเพื่อสร้างชุดของ
สีหมุนเวียนที่ aesthetically ที่ชื่นชอบ ทักษะที่ได้เรียนรู้ในชั้นเรียนวิทยาศาสตร์
ระบบปฏิบัติการคอมพิวเตอร์ถูกใช้เพื่อแยกการประมวลผลเฟรมต่างๆ
ของภาพเคลื่อนไหวออกมาบนโปรเซสเซอร์ที่แตกต่างกันได้พร้อมกันสร้าง
หลายเครื่องประมวลผล
นี่นามธรรมอย่างชัดเจนแนะนำสิ่งที่นำเสนอจะมีและก็มี
รายละเอียดที่น่าสนใจ อย่างไรก็ตาม ในขณะที่ประโยคสุดท้ายอธิบายว่าพิธีกรมีความสามารถ
เพื่อสร้างการนำเสนอ มันอาจจะดีกว่า ถ้าประโยคนี้อธิบายว่าทำไมของ
นำเสนอประเภทนี้เป็นที่สนใจของผู้ชมหรือสิ่งที่พวกเขาได้เรียนรู้จากการนำเสนอ จับ ความสนใจส่วนตัว

นี้ทันทีในการนำเสนอโดยบอกเรา
ว่ามันเกี่ยวข้อง ให้เรา
นี้เป็นนามธรรมที่ชัดเจนและมีประสิทธิภาพบอกเราว่าทำไมปัญหาวิจัยและ
อย่างไร และอธิบายสิ่งที่ผู้ชมจะได้รับจากการเข้าร่วมงาน