Este livro fornece um tratamento moderno de matemática discreta, uma área fundamental da ciência da computação. Ele aborda tópicos como lógica proposicional e de predicados, métodos de prova, teoria dos conjuntos, teoria dos grafos e álgebra. O livro serve como uma introdução abrangente à matemática subjacente à ciência da computação.
Este livro fornece um tratamento moderno de matemática discreta, uma área fundamental da ciência da computação. Ele aborda tópicos como lógica proposicional e de predicados, métodos de prova, teoria dos conjuntos, teoria dos grafos e álgebra. O livro serve como uma introdução abrangente à matemática subjacente à ciência da computação.
Este livro fornece um tratamento moderno de matemática discreta, uma área fundamental da ciência da computação. Ele aborda tópicos como lógica proposicional e de predicados, métodos de prova, teoria dos conjuntos, teoria dos grafos e álgebra. O livro serve como uma introdução abrangente à matemática subjacente à ciência da computação.