JSU Student Symposium 2021

Logical Puzzles and Paradoxes

Title

Logical Puzzles and Paradoxes

Date

2-11-2021

Faculty Mentor

Monica Trifas, Mathematics, Computing & Information Sciences

Loading...

Media is 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

Logical Puzzles and Paradoxes
COinS