zzfomin@mail.ru     |     

Место для иконок

Книги, отзывы, статьи

Home / Книги, отзывы, статьи

М.И.Тельпиз:

[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).

 

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

[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]. Разборов А.А. 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.

 

Другие статьи:

[1]. Косовский Николай Кириллович. Серия новых логических связок для проектирования электронных схем. Компьютерные инструменты в образовании. № 2, 2003г.

 

 

Области применения принципа позиционности