18.11.2007
Эдгар Дейкстра: Дисциплина программирования (PDF, 1-8 главы)

Скачиваний: 3468

В этой бесплатной книге “Дисциплина программирования” великий Дейкстра описывает методику формализованного построения алгоритмов. В принципе, защитное...


31.10.2007
Д.М. Златопольский - Сборник задач по программированию

Скачиваний: 14207

В пособии приведены более 1600 задач по программированию, которые могут использоваться в школе при изучении курса "Информатика и ИКТ" на профильном уровне. Задачи...


20.10.2007
А. Н. Колмогоров, А. Г. Драгалин - Математическая логика

Скачиваний: 5243

Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (1982г), но может изучаться и самостоятельно. Излагаются...


17.10.2007
Ю. Е. Пензов - Элементы математической логики и теории множеств

Скачиваний: 3383

Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В...


06.10.2007
Л.А. Калужнин - Что такое математическая логика?

Скачиваний: 3901

Редкая книга 1964 года. Предисловие: Эта книга популярно излагает основы математической логики. Необходимость такой книги вызвана тем, что в настоящее время все...


28.09.2007
И.Л. Никольская - Математическая логика

Скачиваний: 3262

Книга предназначена для учащихся техникумов по специальности 1750 «Прикладная математика» и содержит теоретический материал, соответствующий программе курса...


14.09.2007
Е.В. Панкратьев - Элементы компьютерной алгебры

Скачиваний: 3644

Учебник 2007 года посвящён описанию основных структур данных и алгоритмов, применяемых в символьных вычислениях на ЭВМ. В книге затрагивается широкий круг...


Страница: 1 2 3 4 5 6 7 8 9 10 11 [12] 13 14 15 16 17 18