<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Discrete Mathematics for Computer Science, Some Notes

Name: Discrete Mathematics for Computer Science, Some Notes
Creator: Gallier, Jean
Keywords: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Discrete Mathematics (cs.DM), F.2.2; F.1.1, 0102 computer and information sciences, F.2.2, 0101 mathematics, F.1.1, 01 natural sciences, Computer Science - Discrete Mathematics

descriptionPublicationkeyboard_double_arrow_right Article , Preprint 01 Jan 2008Embargo end date: 01 Jan 2008Publisher:arXiv

Authors: Gallier, Jean;

doi: 10.48550/arxiv.0805.0585

arXiv: http://arxiv.org/abs/0805.0585

Discrete Mathematics for Computer Science, Some Notes

- Summary
- Subjects
- Metrics

Abstract

These are notes on discrete mathematics for computer scientists. The presentation is somewhat unconventional. Indeed I begin with a discussion of the basic rules of mathematical reasoning and of the notion of proof formalized in a natural deduction system ``a la Prawitz''. The rest of the material is more or less traditional but I emphasize partial functions more than usual (after all, programs may not terminate for all input) and I provide a fairly complete account of the basic concepts of graph theory.

255 pages

Keywords

FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Discrete Mathematics (cs.DM), F.2.2; F.1.1, F.2.2, F.1.1, Computer Science - Discrete Mathematics, Logic in Computer Science (cs.LO)

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Green

Fields of Science (3) View all

Fields of Science