Теория графов. Математическая логика и теория типов
Реферат, 17 Октября 2011, автор: пользователь скрыл имя
Краткое описание
В широком смысле информа́тика (ср. со сходными по звучанию и происхождению нем. Informatik и фр. Informatique, в противоположность традиционному англоязычному термину англ. computer science — наука о компьютерах - в США или англ. computing science — вычислительная наука -в Британии есть наука о вычислениях, хранении и обработке информации. Она включает дисциплины, так или иначе относящиеся к вычислительным машинам: как абстрактные, вроде анализа алгоритмов, так и довольно конкретные, например, разработка языков программирования
Оглавление
Введение 3
1 Теория графов 5
1.1 Понятие и терминология теории графов 5
1.2 Некоторые задачи теории графов 6
2 Математическая логика и теория типов 25
Заключение 27
Список использованной литературы 30