М.И.Тельпиз:
[1].Тельпиз М.И. Позиционные принципы представления функций алгебры логики. Препринт. — АН СССР. Научный совет по комплексной проблеме »Кибернетика», М.: 1984, 76 с.
[2]. Тельпиз М.И. Представления функций алгебры логики. — Кибернетика. Киев: 1985, N 4, с. 37 — 40, 51.
[3]. Тельпиз М.И. Позиционные операторы и преобразования в алгебре логики. Препринт. — АН СССР. Научный совет по комплексной проблеме «Кибернетика», М.: 1985, 60 с.
[4]. Тельпиз М.И. Алгебра позиционных операторов и эквивалентных преобразований. Препринт. — АН СССР. Научный совет по комплексной проблеме »Кибернетика», М.: 1988, 64 с.
[5]. Тельпиз М.И., Демидчик С.М., Щербанский Л.М. Принцип позиционности в трехзначной алгебре логики. Пр. — 1436. ИКИ АН СССР, М.: 1988, 20 с.
[6]. Тельпиз М.И. Позиционные фундаментальные симметрические операторы и задачи логического распознавания. Пр. — 1601. ИКИ АН СССР, М.: 1989, 72 с.
[7]. Telpiz M.I. Representations of Boolean function. (Russian. English summary). Kibernetika (Kiev), 1985, no 4, ii, 37-40, 51, 134. 06E30 (03G04 94C10).
[8]. Разработка на базе позиционной алгебры логики алгоритмов задачи о выполнимости и их статистическое исследование [Текст] : препринт / О.М.Москаленко, И.В.Петров, М.И.Тельпиз, В.И.Шевченко. — М., 1990. — 35 с. : ил. — (Препринт / Институт космических исследований (Москва) ; Пр-1612).
Цитированная литература
[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]. Разборов А.А. P vs. NP или проблема перебора: взгляд из 90-х,
http://www.mi.ras.ru/~razborov/phasis.ps
[17]. Разборов А.А. Theoretical Computer Science: взгляд математика,
http://www.mi.ras.ru/~razborov/computerra.ps
[18]. Лебедев А. Современные методы цифровой подписи. Компьютерра № 13 [342], 200, стр. 20 — 23.
[19]. Киносита К., Асада К., Карацу О. Логическое проектирование СБИС: Пер. с япон. — М.: Мир, 1988. — 309 с.
[20]. Кун С. Матричные процессоры на СБИС: Пер. с англ. — М.: Мир, 1991. — 672 с.
[21]. Логическое программирование: Пер. с англ. и фр. — М.: Мир, 1988. — 368 с.
[22]. Лорьер Ж.-Л. Системы искусственного интеллекта: Пер. с фр. — М.: Мир, 1991. — 568 с.
[23]. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог: Пер. с англ. — М.: Мир, 1990. — 235 с.
[24]. Математические методы для анализа последовательностей ДНК. Пер. с англ. / Под ред. М.С.Уотермена — М.: Мир, 1999. — 349 с.
[25]. В.И.Нечаев. Элементы криптографии (Основы теории защиты информации). М.: Высш. шк. 1999. — 109 с.
[26]. А.Саломаа. Криптография с открытым ключом: Пер. с англ. — М.: Мир, 1996. — 318 с., ил.
[27]. Введение в криптографию / Под общ. ред. В.В.Ященко. — М.: МЦНМО: «RePo», 2000. — 288 с.
[28]. ГОСТ Р 34.10 — 20001.
[29]. Ю.И.Манин. О сравнениях третьей степени по простому модулю. ИАН, сер. матем., 20 (1956), 673 — 678.
[30]. Ю.И.Манин, А.А.Панчишкин. Введение в теорию чисел. — // Итоги науки и техники. Серия: Современные проблемы математики. Фундаментальные направления. Том 49. М.: ВИНИТИ. 1989. — 348.
Другие статьи:
