This assignment will be done exclusively in Latex. A template file is provided (assign1.zip), it contains the main file assign1.tex that you should use to prepare your assignment document

Assignment 1: Introduction

Due Date: 11/07 at 11:59 PM

Installation of Latex and General Knowledge on Computer Science Part 1: Installation of Latex

- Download and Install Latex Package from https://miktex.org/ - Download and Install a Latex Editor (one of your choice)

o TeXstudio (https://www.texstudio.org/) o Texmaker (https://www.xm1math.net/texmaker/)

- Latex Tutorials o Learn LaTeX in 30 minutes

(https://www.overleaf.com/learn/latex/Learn_LaTeX_in_30_minutes) o Video - Latex Tutorial for Beginners

(https://www.youtube.com/watch?v=fCzF5gDy60g)

Part two: General knowledge in Computer Science This assignment will be done exclusively in Latex. A template file is provided (assign1.zip), it contains the main file assign1.tex that you should use to prepare your assignment document.

a) Inquiry 1

The reading materials assigned for the first week of lecture cover three themes that are: Algorithm analysis, algorithm correctness, and Software Verification (Testing vs. Formal Methods). Write a one-page abstract (pdf) compiled from the latex file (assign1.tex), that summarizes these themes.

Grading Rubric:

Poor (not relevant to the topic)

Marginal (not insightful)

Acceptable (general with details)

Good (summary with some details)

Honors (Summary presented as an abstract with details such as concepts, relevance, applications, etc..)

Algorithm analysis

Algorithm correctness

Software Verification

b) Inquiry 2

Consider the list the hottest topics in computer science (first class presentation). In one page (pdf) compiled from the latex file (assign1.tex), describe which topics apply to the activities of your company/profession and identify some of the problems that you think a research-based approach can be used to solve.

Grading Rubric:

Poor Marginal Acceptable Good (summary with some

details)

Honors (not (not (general with (summary presented as an relevant to the topic)

insightful) details) abstract with details such

as concepts,

relevance, applications, etc..)

Description of the topics

Application toyour company/profession

Problems that can be solved using a research-based approach

Submission: A zip file that contains the modified main.tex and its compile version main.pdf.