Prefacio
- Page ID
- 115746
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Este texto tiene como objetivo dar una introducción a la selección de temas en matemáticas discretas a un nivel apropiado para las carreras de matemáticas de primer o segundo año de pregrado, especialmente aquellos que pretenden enseñar matemáticas de secundaria y preparatoria. El libro comenzó como un conjunto de notas para el curso de Matemáticas Discretas en la Universidad del Norte de Colorado. Este curso sirve tanto como una encuesta de los temas en matemáticas discretas como el curso “puente” para carreras de matemáticas, ya que UNC no ofrece un curso separado de “introducción a las pruebas”. La mayoría de los estudiantes que toman el curso planean enseñar, aunque hay un puñado de estudiantes que irán a la escuela de posgrado o estudiarán matemáticas aplicadas o ciencias de la computación. Para estos estudiantes el texto actual ojalá siga siendo de interés, pero la intención no es proporcionar una base matemática sólida para la informática, a diferencia de la mayoría de los libros de texto sobre el tema.
Otra diferencia entre este texto y la mayoría de los otros libros discretos de matemáticas es que este libro está destinado a ser utilizado en una clase impartida usando métodos orientados a problemas o basados en la investigación. Cuando imparto la clase, asignaré secciones para leer después de presentarlas por primera vez en clase usando una mezcla de trabajo grupal y discusión en clase sobre algunos problemas interesantes. El texto pretende consolidar lo que descubrimos en clase y servir de referencia para los alumnos ya que dominan los conceptos y técnicas que abarca la unidad. Sin embargo, se ha hecho todo lo posible para que el texto sea suficiente para el autoestudio también, de una manera que ojalá imite un aula basada en la indagación.
Los temas tratados en este texto fueron elegidos de acuerdo con las necesidades de los alumnos que imparto en la UNC. Las principales áreas de estudio son combinatoria, secuencias, lógica y pruebas, y teoría gráfica, en ese orden. La inducción se cubre al final del capítulo sobre secuencias. La mayoría de los libros discretos ponen la lógica primero como preliminar, lo que sin duda tiene sus ventajas. Sin embargo, quería discutir juntos la lógica y las pruebas, y descubrí que hacer ambas cosas antes que nada era abrumador para mis alumnos dado que aún no tenían contexto de otros problemas en el tema. Además, después de pasar un par de semanas en pruebas, difícilmente lo usaríamos en absoluto al cubrir combinatorias, por lo que gran parte del progreso que logramos se perdió rápidamente. En cambio, hay una breve sección de introducción sobre declaraciones matemáticas, que debería proporcionar suficiente lenguaje común para discutir el contenido lógico de combinatoria y secuencias.
Dependiendo de la velocidad de la clase, podría ser posible incluir material adicional. En semestres pasados he incluido funciones generadoras (después de secuencias) y alguna teoría básica de números (ya sea después del capítulo de lógica y pruebas o al final del curso). Estos temas adicionales se tratan en el último capítulo.
Si bien (actualmente) creo que esta selección y orden de temas es óptimo, deberías sentirte libre de saltarte a lo que te interese. Ocasionalmente hay ejemplos y ejercicios que se basan en material anterior, pero he tratado de mantenerlos al mínimo y por lo general pueden omitirse o entenderse sin demasiado estudio adicional. Si eres instructor, siéntete libre de editar la fuente XML de LATEX o Mathbook para que se ajuste a tus necesidades.
Ediciones anteriores y futuras
Esta 2da edición actual trae algunas mejoras importantes, así como muchas correcciones menores. Los aspectos más destacados incluyen:
- Parte del material del capítulo 3 (sobre la lógica) forma ahora parte de una sección introductoria sobre declaraciones matemáticas.
- El contenido de la sección sobre funciones de conteo (anteriormente 1.7) ahora está integrado con el resto del capítulo 1.
- Para dar cabida a los instructores, se eliminaron algunas de las soluciones a los ejercicios, y los problemas de “tarea” más involucrados se integraron en los ejercicios principales. Se agregaron nuevos ejercicios y ejemplos. Actualmente hay alrededor de 360 ejercicios de los cuales aproximadamente 2/3 tienen soluciones o respuestas.
- Detrás de escena, la fuente del texto pasó de LATEX a Mathbook XML, lo que permite la conversión a LATEX así como la creación de una versión interactiva en línea.
La anterior edición de otoño de 2015 fue esencialmente la primera edición del libro. Anteriormente había compilado muchas de las secciones en formato de libro para facilitar su distribución, pero esas eran en su mayoría solo notas de conferencias y ejercicios (no había índice ni Investigar problemas; muy poco en la forma de un formato consistente).
Mi intención es compilar una nueva edición antes de cada semestre de otoño que incorpore adiciones y correcciones sugeridas por instructores y estudiantes que utilizan el texto los semestres anteriores. Así te animo a que envíes a lo largo de cualquier sugerencia y comentario tal y como las tengas.
Oscar Levin, Ph.D.
Universidad del Norte de Colorado, 2016