Logic in computer science | Wikipedia audio article
Channel: wikipedia tts
Date: 25/12/2018

This is an audio version of the Wikipedia Article:
https://en.wikipedia.org/wiki/Logic_in_computer_science


00:00:22 1 Theoretical foundations and analysis
00:02:19 2 Computers to assist logicians
00:03:32 3 Logic applications for computers
00:07:17 4 See also



Listening is a more natural way of learning, when compared to reading. Written language only began at around 3200 BC, but spoken language has existed long ago.

Learning by listening is a great way to:
- increases imagination and understanding
- improves your listening skills
- improves your own spoken accent
- learn while on the move
- reduce eye strain

Now learn the vast amount of general knowledge available on Wikipedia through audio (audio article). You could even learn subconsciously by playing the audio while you are sleeping! If you are planning to listen a lot, you could try using a bone conduction headphone, or a standard speaker instead of an earphone.

Listen on Google Assistant through Extra Audio:
https://assistant.google.com/services/invoke/uid/0000001a130b3f91
Other Wikipedia audio articles at:
https://www.youtube.com/results?search_query=wikipedia+tts
Upload your own Wikipedia articles through:
https://github.com/nodef/wikipedia-tts



"There is only one good, knowledge, and one evil, ignorance."
- Socrates



SUMMARY
=======
Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:

Theoretical foundations and analysis
Use of computer technology to aid logicians
Use of concepts from logic for computer applications