8. Цитированная литература

[1]. Башмакова И.Г., Юшкевич А.П. Происхождение систем счисления / В кн. ``Энциклопедия элементарной математики'', кн. 1: Арифметика. М. - Л. 1951, с. 11 - 74.

[2]. Остроградский М.В. Педагогическое наследие: Документы о жизни и деятельности. М.: Физматгиз, 1961, 399 с.

[3]. Ван дер Варден Б.Л. Пробуждающаяся наука. Математика Древнего Египта, Вавилона и Греции. М.: ГИФМЛ, 1959.

[4]. Битюцков В.И. Цифры / В кн. Математический энциклопедический словарь. - М.: Советская энциклопедия, 1988, с. 626 - 627.

[5]. Нечаев В.И. Счисление, нумерация / В кн. Математическая энциклопедия. - М.: Советская энциклопедия, 1985, т. 5, с. 314 - 316.

[6]. Архимед. Сочинения. - М.: Физматгиз, 1962.

[7]. Пуанкаре А. О науке. - М.: Наука, 1983, 560 с.

[8]. ЭВМ пятого поколения: Концепции, проблемы, перспективы / Под ред. .Мото-ока; Пер. с англ.; Предисл. Е.П.Велихова. - М.: Финансы и статистика, 1984, 110 с.

[9]. Симонс Дж. ЭВМ пятого поколения: компьютеры 90-х годов: Пер. с англ. - М.: Финансы и статистика, 1985, 173 с.

[10]. Робинсон Дж. Логическое программирование - прошлое, настоящее и будущее. / В кн. Логическое программирование: Пер. с англ. и фр. - М.: Мир, 1988, с. 7 - 26.

[11]. Фути К. К вычислительным системам пятого поколения. / В кн. Язык Пролог в пятом поколении ЭВМ: Пер. с англ. - М.: Мир, 1988, с. 7 - 16.

[12]. Лекции лауреатов премии Тьюринга за первые двадцать лет: Пер. с англ. - М.: Мир, 1993,  560 с.

[13]. Кук С.А. Сложность процедур вывода теорем. - Киб. сб. нов. сер., вып. 12. - М.: Мир, 1975, с. 5 - 15.

[14] Карп Р.М. Сводимость комбинационных задач. - Киб. сб. нов. сер., вып. 12. - М.: Мир, 1975, с. 16 - 38.

[15]. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи: Пер. с англ. - М.: Мир, 1982, 416 с.

[16]. Тельпиз М.И. Позиционные принципы представления функций алгебры логики. Препринт. - АН СССР. Научный совет по комплексной проблеме ``Кибернетика'', М.: 1984, 76 с.
 pppfal_84.ps.zip

[17]. Тельпиз М.И. Представления функций алгебры логики. - Кибернетика. Киев: 1985, N 4, с. 37 - 40, 51.

[18]. Тельпиз М.И. Позиционные операторы и преобразования в алгебре логики. Препринт. - АН СССР. Научный совет по комплексной проблеме ``Кибернетика'', М.: 1985, 60 с.
popal_85.ps.zip

[19]. Тельпиз М.И. Алгебра позиционных операторов и эквивалентных  преобразований. Препринт. - АН СССР. Научный совет по комплексной проблеме ``Кибернетика'', М.: 1988, 64 с.

[20]. Тельпиз М.И., Демидчик С.М., Щербанский Л.М. Принцип позиционности в трехзначной алгебре логики. Пр. - 1436. ИКИ АН СССР, М.: 1988, 20 с.

[21]. Тельпиз М.И. Позиционные фундаментальные симметрические операторы и задачи логического распознавания. Пр. - 1601. ИКИ АН СССР, М.: 1989, 72 с.

[22]. Telpiz M.I. Representations of Boolean function. (Russian. English summary). Kibernetika (Kiev), 1985, no 4, ii, 37-40, 51, 134. 06E30 (03G04 94C10): rbf.zip.pdf

[23]. Разборов А.А. P vs. NP или проблема перебора: взгляд из 90-х,
http://www.mi.ras.ru/~razborov/phasis.ps

[24]. Разборов А.А. Theoretical Computer Science: взгляд математика,
 http://www.mi.ras.ru/~razborov/computerra.ps

[25]. Лебедев А. Современные методы цифровой подписи. Компьютерра № 13 [342], 200, стр. 20 - 23.

[26]. Киносита К., Асада К., Карацу О. Логическое проектирование СБИС: Пер. с япон. - М.: Мир, 1988. - 309 с.

[27]. Кун С. Матричные процессоры на СБИС: Пер. с англ. - М.: Мир, 1991. - 672 с.

[28]. Логическое программирование: Пер. с англ. и фр. - М.: Мир, 1988. - 368 с.

[29]. Лорьер Ж.-Л. Системы искусственного интеллекта: Пер. с фр. - М.: Мир, 1991. - 568 с.

[30]. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог: Пер. с англ. - М.: Мир, 1990. - 235 с.

[31]. Математические методы для анализа последовательностей ДНК. Пер. с англ. / Под ред. М.С.Уотермена - М.: Мир, 1999. - 349 с.

[32]. В.И.Нечаев. Элементы криптографии (Основы теории защиты информации). М.: Высш. шк. 1999. - 109 с.

[33]. А.Саломаа. Криптография с открытым ключом: Пер. с англ. - М.: Мир, 1996. - 318 с., ил.

[34]. Введение в криптографию / Под общ. ред. В.В.Ященко. - М.: МЦНМО: "RePo", 2000. - 288 с.

[35]. ГОСТ Р 34.10 - 20001.

[36]. Ю.И.Манин. О сравнениях третьей степени по простому модулю. ИАН, сер. матем., 20 (1956), 673 - 678.

[37]. Ю.И.Манин, А.А.Панчишкин. Введение в теорию чисел. - // Итоги науки и техники. Серия: Современные проблемы математики. Фундаментальные направления. Том 49. М.: ВИНИТИ. 1989. - 348.

 Первая страница