JSU Student Symposium 2021
Title
Logical Puzzles and Paradoxes
Date
2-11-2021
Faculty Mentor
Monica Trifas, Mathematics, Computing & Information Sciences
Loading...
Files
Download Captioning transcript (36 KB)
Submission Type
Paper
Location
Virtual
Description
As part of my learning experience as a computer science major, I am studying the rules of formal logic. Studying these rules will allow me to be able to understand and to construct correct mathematical arguments and also, to distinguish between valid and invalid arguments.
Logic is important in understanding mathematical reasoning. Besides this aspect, logic has numerous applications to computing. We use the rules of logic to design computer circuits, to construct correct computer programs, to verify the correctness of programs, and in many other ways. Software systems have been developed to build proofs automatically.
One area of logic is the study of logical paradoxes.
What is a logical paradox?
In my presentation, I will answer this question, and refer to the study of logical paradoxes in depth.
Keywords
student research, computing
Rights
This content is the property of Jacksonville State University and is intended for non-commercial use. Video and images may be copied for personal use, research, teaching or any "fair use" as defined by copyright law. Users are asked to acknowledge Jacksonville State University. For more information, please contact digitalcommons@jsu.edu.
Disciplines
Computer Sciences
Recommended Citation
Hamdan, Laila, "Logical Puzzles and Paradoxes" (2021). JSU Student Symposium 2021. 6.
https://digitalcommons.jsu.edu/ce_jsustudentsymp_2021/6