(ЕСЛИ ЧТО-НИБУДЬ НЕ ЧИТАЕТСЯ)
Для чтения статей расположенных на сайте необходимо чтобы на вашем компьютере были установлены следующие программы:
если вы работаете под MS Windows, то для чтения pdf файлов вам понадобится
Acrobat Reader если его у вас нет, то можете скачать отсюда, просто щелкнув по его названию мышкой,
для чтения PostScript фалов необходимо скачать две следующих программы GhostScript
и GSview , а затем установить их на своём компьютере.
Если вы хотите пользоваться версией для MS Word, то необходимо скачать и установить MathType.
Тельпиз М.И. Позиционные принципы представления функций алгебры логики. Препринт. — АН СССР. Научный совет по комплексной проблеме "Кибернетика", М.: 1984, 76 с.
Тельпиз М.И. Представления функций алгебры логики. — Кибернетика. Киев: 1985, N 4, с. 37 — 40, 51.
Тельпиз М.И. Позиционные операторы и преобразования в алгебре логики. Препринт. — АН СССР. Научный совет по комплексной проблеме "Кибернетика", М.: 1985, 60 с.
Тельпиз М.И. Алгебра позиционных операторов и эквивалентных преобразований. Препринт. — АН СССР. Научный совет по комплексной проблеме "Кибернетика", М.: 1988, 64 с.
Тельпиз М.И. Позиционные фундаментальные симметрические операторы и задачи логического распознавания. Пр. — 1601. ИКИ АН
СССР, М.: 1989, 72 с.
Москаленко О.М., Петров И.В., Тельпиз М.И., Шевченко В.И. Разработка на базе позиционной алгебры логики алгоритмов задачи о выполнимости и их статистическое исследование. Препринт ИКИ: СССР, М.: 1990
И.В. Петров, В.А. Тарасов, М.И. Тельпиз, В.И. Шевченко Авторское свидетельство № 1665382. Устройство для вычисления математических функций. Институт Космических Исследований. 22 марта 1991 г.
Кук С.А. Сложность процедур вывода теорем. — Киб. сб. нов. сер., вып. 12.
— М.: Мир, 1975, с. 5 — 15.
Карп Р.М. Сводимость комбинационных задач. — Киб. сб. нов. сер., вып. 12.
— М.: Мир, 1975, с. 16 — 38.
Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи: Пер.
с англ. — М.: Мир, 1982, 416 с.
Michael L. Littman. Complexity.
December 9th, 1997
Clay Mathematics Institute. Dedicated
to increasing and disseminating mathematical knowledge.
P versus NP.
Announced 16:00, on Wednesday,
May 24, 2000, Collиge de France
Робинсон Дж. Логическое программирование прошлое, настоящее и будущее. / В кн. Логическое программирование: Пер. с англ. и фр. — М.: Мир, 1988, с. 7 — 26.
Материалы по новым поколениям компьютеров
Фути К. К вычислительным системам пятого поколения. / В кн. Язык Пролог в пятом поколении ЭВМ: Пер. с англ. — М.: Мир, 1988, с. 7 — 16.
Лекции лауреатов премии Тьюринга за первые двадцать лет: Пер.- с англ. — М.: Мир, 1993, 560 с.
Материалы по системам счисления
Башмакова И.Г., Юшкевич А.П. Происхождение систем счисления /В кн. Энциклопедия элементарной математики", кн. 1: Арифметика. М. — Л. 1951, с. 11 — 74.
Остроградский М.В. Педагогическое наследие: Документы о жизни и деятельности. М.: Физматгиз, 1961, 399 с.
Ван дер Варден В.Л. Пробуждающаяся наука. Математика Древнего Египта, Вавилона и Греции. М.: ГИФМЛ, 1959.
Битюцков В.И. Цифры / В кн. Математический энциклопедический словарь. — М.: Советская энциклопедия, 1988, с. 626 — 627.
Нечаев В.И. Счисление, нумерация / В кн. Математическая энциклопедия.— М.: Советская энциклопедия, 1985, т. 5, с. 314 — 316.