\documentclass{article}
\usepackage{epsfig}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%% General formatting parameters %%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\parskip=.080in
\setlength{\evensidemargin}{0.in}
\setlength{\oddsidemargin}{0.in}
\setlength{\textwidth}{6.612in}
\setlength{\topmargin}{0.in}
\setlength{\textheight}{8.8in}
\setlength{\headheight}{0in}
\setlength{\headsep}{0in}
\setlength{\topsep}{0in}
\setlength{\itemsep}{0in}
\renewcommand{\baselinestretch}{1.2}
\newcommand{\smallsection}[1]{{\smallskip\bf #1}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%% Non-mathematical macros %%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\larry}{{$\calL^3$}}
\newcommand{\marek}{\mbox{${\cal M}\!{\cal C}\!h$}}
\newcommand{\ie}{{\em i.e.}}
\newcommand{\etal}{\mbox{\em et al.\/} }
\newcommand{\tH}{{\rm th}}
\newcommand{\eg}{{\em e.g.}}
\newcommand{\etc}{{\em etc.}}
\newcommand{\case}[1]{{\smallskip\noindent{\bf Case #1:\/}}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%% Caligraphic letters %%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\calA}{{\cal A}}
\newcommand{\calB}{{\cal B}}
\newcommand{\calC}{{\cal C}}
\newcommand{\calD}{{\cal D}}
\newcommand{\calE}{{\cal E}}
\newcommand{\calF}{{\cal F}}
\newcommand{\calG}{{\cal G}}
\newcommand{\calH}{{\cal H}}
\newcommand{\calI}{{\cal I}}
\newcommand{\calJ}{{\cal J}}
\newcommand{\calK}{{\cal K}}
\newcommand{\calL}{{\cal L}}
\newcommand{\calM}{{\cal M}}
\newcommand{\calN}{{\cal N}}
\newcommand{\calO}{{\cal O}}
\newcommand{\calP}{{\cal P}}
\newcommand{\calQ}{{\cal Q}}
\newcommand{\calR}{{\cal R}}
\newcommand{\calS}{{\cal S}}
\newcommand{\calT}{{\cal T}}
\newcommand{\calU}{{\cal U}}
\newcommand{\calV}{{\cal V}}
\newcommand{\calW}{{\cal W}}
\newcommand{\calX}{{\cal X}}
\newcommand{\calY}{{\cal Y}}
\newcommand{\calZ}{{\cal Z}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%% Delimiters %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\angled}[1]{{\left\langle #1\right\rangle}}
\newcommand{\barred}[1]{{\left|#1\right|}}
\newcommand{\braced}[1]{{\left\{#1\right\}}}
\newcommand{\brackd}[1]{{\left[#1\right]}}
\newcommand{\parend}[1]{{\left(#1\right)}}
\newcommand{\spaced}[1]{{\ #1\ }}
\newcommand{\dummydot}{{\/\cdot\/}}
\newcommand{\mytimes}{{\!\times\!}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%% something-ed letters %%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\barx}{{\bar{x}}}
\newcommand{\bary}{{\bar{y}}}
\newcommand{\cstar}{{c^\ast}}
\newcommand{\phistar}{{\phi^\ast}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%% Strategy and problems names %%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\adv}{{\it adv}}
\newcommand{\MSS}{{\rm MSS}}
\newcommand{\PRP}[1]{{#1\!-\!\mbox{\rm PRP}}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%% Sets and constants %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\Domain}{\mbox{\sf Dom\,}}
\newcommand{\reals}{{\rm I\!R}}
\newcommand{\naturals}{ \mbox{\rm I\hspace{-3pt}N} }
\newcommand{\Det}{{\mbox{\sf Det}}}
\newcommand{\distrib}{{\rm I\!D}}
\newcommand{\half}{{\scriptstyle{1\over 2}}}
\newcommand{\onefourth}{{\scriptstyle{1\over 4}}}
\newcommand{\Rand}{{\mbox{\sf Rand}}}
\newcommand{\nats}{{\rm I\!N}}
\newcommand{\posreals}{{\rm I\!R^+}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%% Functions and Operators %%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\becomes}{\mbox{$:=$}}
\newcommand{\bdistrib}{{\rm I\!B}}
\newcommand{\cost}{\mbox{\it cost\/}}
\newcommand{\To}{{\Rightarrow}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%% Environments %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newtheorem{theorem}{Theorem}
\newtheorem{observation}{Observation}
\newtheorem{lemma}{Lemma}
\newtheorem{conjecture}{Conjecture}
\newtheorem{corollary}{Corollary}
\newtheorem{remark}{Remark}
\newtheorem{fact}{Fact}
\newenvironment{proof}{{\it Proof:\/}}{$\Box$\vskip 0.1in}
\newenvironment{example}[1]{{%
        \vskip 0.1in \noindent
        {\bf Example~{#1}:\ }%
    }}%
    {$\Diamond$\vskip 0.1in}
\newenvironment{claim}[1]%
  {{\vskip 0.1in\noindent \bf Claim~#1:\ }}%
  {\vskip 0.1in}

\newcommand{\sfparagraph}[1]%
   {\vskip 0.1in\noindent{\sf #1}}

\newenvironment{mydescription}%
        {%
           \begin{list}{}%
             {%
                \setlength{\topsep}{0pt}%
                \setlength{\parsep}{0pt}%
                \setlength{\partopsep}{0pt}%
                \setlength{\itemsep}{0pt}%
                \setlength{\itemindent}{0pt}%
                \setlength{\labelwidth}{0.2in}%
                \setlength{\leftmargin}{0.3in}%
                \setlength{\rightmargin}{0.3in}%
            }%
        }%
        {\end{list}}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\margincomment}[1]%
    {{%
      \marginpar{{\tiny\begin{minipage}{0.5in}
                       \begin{flushleft}
                          {#1}
                       \end{flushleft}
                       \end{minipage}
                }}
    }}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%% maly %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\maly}[1]{{\scriptscriptstyle#1}}
\newcommand{\malyz}{{\maly{0}}}
\newcommand{\malyone}{{\maly{1}}}
\newcommand{\malytwo}{{\maly{2}}}
\newcommand{\malyfive}{{\maly{5}}}
\newcommand{\smallX}{{\scriptscriptstyle X}}
\newcommand{\smallY}{{\scriptscriptstyle Y}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%% fill-in blanks %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\def\u{\_\_}
\def\uu{\u\u}
\def\uuu{\uu\uu}
\def\uuuu{\uuu\uuu}
\def\uuuuu{\uuuu\uuuu}
\def\uuuuuu{\uuuuu\uuuuu}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\begin{document}
\thispagestyle{empty}
\setcounter{page}{1}
\subsection*{University of Nevada,
Las Vegas Computer Science 456/656 Fall 2019}

\centerline{\bf\large Assignment 1: Due Wednesday August 14, 2019}



{\large \bf 
\vskip 0.2in
\noindent
Name:{\uuuuuu}
}


You are permitted to work in groups, get help from others, read books, and
use the internet.  But the handwriting on this document must be your own.
Print out the document, staple, and fill in the answers.
You may attach extra sheets.  Turn in the pages to the
graduate assistant at the beginning of class, August 28.

\begin{enumerate}
\item
Proof by contradiction will be used this semester.
A number is called {\em rational\/} if it is the quotient of two integers;
otherwise it is called irrational.
Prove that $\sqrt{3}$ is irrational.  (Read the proof in the book that
$\sqrt{2}$ is irrational.)

\vskip 3in

\item
We will be using many of the equations given in Exercises 1--12 on pages
23--24. of the fifth edition,
problems 9,10,11,12,6,13,14,15,16,17,18,7 on pages 14--15 of the sixth edition.
   Review those equations, but do not hand anything in.

\item
Look at the figure on page 37 of the fifth edition, page 27 of the sixth
edition, which represents an abstract automaton.
Make sure you understand it.

\item
We will make use of the equations given in Exercises 1--4, and 8--9 on
pages 37--38 of the fifth edition,
problems 2--5, 8,9 on page 28 of the sixth edition.
.  Make sure you understand them, but do not turn anything in.

\item Work exercises 12--13 on page 38 of the fifth edition,
exercises 15--16 on page 29 of the sixth edition.

\end{enumerate}

\end{document}
