Importance of Logic in Computer Science

Logic focuses on reasoning. Since reasoning is involved in all intellectual activities, logic is important in a broad range of pursuits. For students of computer science, the study of logic is essential. Logic is also very valuable for mathematicians.
Most logic courses include analyses of the features of deductive inference. Logic courses teach general methods and concepts that are valuable independently of formal languages. Students are taught how to construct proofs in English and other formal language. This ensures that methods and concepts learned can be used in various contexts. Students may be taught how to prove theorems about formal languages, which is important for linguistics, computer science, and some branches of mathematics.
The idea of Turing Machine, the idea of a general purpose computer, was invented during research in logic. All computer programs are written in symbolic languages, e.g., Prolog, Lisp, C++, and Fortran. These languages have features of logical symbolism. Both Prolog and Lisp are derivative of formal languages for logic. The study of logic can help an individual in the design of programs.
Computer science also includes mathematical and logical analysis of programs. With such analyses, a person can prove the accuracy of procedures and approximate the number of steps needed to execute a specified program.
References
https://www.cs.utexas.edu/~rlc/whylog.htm
https://www.cs.waikato.ac.nz/~stever/LCS.pdf

Advertisements

Three Facts on the Flourishing Field of Computer Science That You Can No Longer Ignore

Between your worries about supporting your family and paying bills, a dying line of work is another burden you don’t want. For people who are considering a career in computer science, today we will discuss three basic truths to help you decide if computer science is the career path for you.
Computer science jobs are expected to increase in the future
While other people have to worry about job security, those who have studied computer science can rest easy. The world is increasingly becoming digitalized, and companies from all industries are looking for computer scientists. According to the Bureau of Labor Statistics (BLS), the computer science cluster of careers is expected to grow by 12 % between 2014 and 2024.
Computer scientists are paid well
Although every person wants to love his/her job, a good salary is what helps put food on the table and pay the bills. If you are aspiring to be a computer scientist, you can have the best of both worlds. According to the BLS, the median annual salary for computer scientists was $81,430, more than twice the average for all occupations.
Computer scientists can work in several industries
Unlike a nursing or education degree, a computer science degree gives you an opportunity to work in many industries. Today, almost all organizations are using technology for everything from cloud computing to video conferencing. Computer science professionals, therefore, are not limited to working in a single industry.
References
http://www.rasmussen.edu/degrees/technology/blog/careers-in-computer-science-face-the-facts/
https://www.payscale.com/college-salary-report/common-jobs-for-majors/computer-science

Why Do People Create Malware and Viruses?

 

There are thousands of different malware and viruses on the internet today. So, people ask, why do some people create malware and viruses? They are three main reasons why people create them: make money, steal account information, and cause trouble and problems to others.
Making money
Many viruses, spyware, and malware found on computers do not damage the computer much; they just slow it. These viruses and malware are designed to get information about the user and send it to the company or person responsible for making them. The information they get is then used to advertise in your computer. The ads come in the form of pop-ups and e-mails on your computer. If many computers get infected, they earn a lot of money from the ads displayed.
Stealing account information
Virtual goods and online games have a real-life value attached to them. Malware and viruses are created to steal account information associated with virtual goods and online games. Using these types of viruses, a person can gain access to the account of a victim and steal currency and virtual goods. They could even sell ill-gotten virtual goods to other people for real money.
Causing problems and trouble
There are people that create malware and viruses because they can. They enjoy seeing computer users getting annoyed. Some malware and viruses are created to crash an entire network system, causing system outages for big companies, like production companies and banks. The thrill of seeing chaos they have created drives them to create more malware and viruses.
References
https://www.computerhope.com/issues/ch001404.htm
https://www.technibble.com/why-do-people-create-computer-viruses/

What is Combinatorics?

Combinatorics is a branch of mathematics that focuses on the permutation, enumeration, and combination of sets of elements. Sometimes, mathematicians use the word “combinatorics” to denote a larger subset of discrete math that includes graph theory. What is commonly referred to as combinatorics, in that case, is then called “enumeration’.
First combinatorial problems were studied by ancient Greek, Arabian and Indian mathematicians. Interest in combinatorics increased during the 19th and 20th century, with the development of graph theory and the four color theorem. Blaise Pascal, Jacob Bernoulli and Leonhard Euler are some of the leading mathematicians.
The most classical area of combinatorics is enumerative combinatorics. It focuses on counting the number of some combinatorial objects. While counting the number of components in a set is a quite broad mathematical problem, numerous problems that arise in applications boast of a relatively simple combinatorial description.
Analytic combinatorics focuses on the combinatorial structures enumeration using tools from probability theory and complex analysis. Compared to enumerative combinatorics that use clear generating functions and combinatorial formulae to describe the outcomes, the aim of analytic combinatorics is to obtain asymptotic formulae.
Other subfields and approaches of combinatorics are partition theory, design theory, finite geometry, order theory, matroid theory, extremal combinatorics, probabilistic combinatorics, and algebraic combinatorics, combinatorics on words, infinitary combinatorics, arithmetic combinatorics and topological combinatorics.
Combinatorics has numerous applications in other mathematics areas, including coding and cryptography, graph theory, and probability.

References
https://mathigon.org/world/Combinatorics
http://mathworld.wolfram.com/Combinatorics.html
https://www.dartmouth.edu/~chance/teaching_aids/books_articles/…/Chapter3.pdf