Значок книги

Символическая логика и разумные машины Э. Беркли

Сохранить в:

Библиографические подробности
Автор:	Беркли Э.
Тип документа:	Книга
Язык:	Russian English
Год издания:	Москва Издательство иностранной литературы 1961
Ключевые слова:	Математическая логика Счетные машины и приборы вычислительные электронные

Схожие документы

Символическая логика
Автор: Войшвилло Е. К.
Год издания: (1989)

Электронные вычислительные машины
Автор: Голышев Л. К.
Год издания: (1963)

Электронные цифровые машины и программирование
Автор: Китов А. И.
Год издания: (1961)

Автоматические цифровые машины
Автор: Архангельский Н. А.
Год издания: (1958)

Счетно-цифровые машины
Автор: Евдокимов И. С.
Год издания: (1953)

Счетные машины и их эксплуатация
Автор: Иванченко С. Т.
Год издания: (1968)

Однородные универсальные вычислительные системы высокой производительности
Автор: Евреинов Э. В.
Год издания: (1966)

Число и мысль
Автор: Кондратов А. М.
Год издания: (1963)

Вычислительная математика и техника
Год издания: (1962)

Вычислительная техника и вопросы программирования
Год издания: (1963)

Вычислительная техника и вопросы программирования
Год издания: (1964)

Вопросы вычислительной техники
Год издания: (1961)

Новые элементы электронных цифровых машин
Автор: Крайзмер Л. П.
Год издания: (1961)

Основы вычислительной техники
Автор: Дроздов Е. А.
Год издания: (1961)

Быстродействующая вычислительная машина М-2
Год издания: (1957)

Многомашинные комплексы вычислительных средств
Автор: Голубев-Новожилов Ю. С.
Год издания: (1967)

Вычислительная техника
Год издания: (1959)

Вычислительная техника
Год издания: (1964)

Вычислительная техника
Год издания: (1966)

Основы вычислительной техники
Автор: Белаш П. М.
Год издания: (1964)

Комбинированные вычислительные машины
Год издания: (1962)

Система устройств ввода и вывода на перфокартах вычислительной машины БЭСМ-2
Автор: Зак Л. А.
Год издания: (1961)

Подпрограммы переводов чисел и углов
Автор: Гавриленко Е. Т.
Год издания: (1963)

Подпрограммы вычисления тригонометрических и обратных тригонометрических функций
Автор: Гавриленко Е. Т.
Год издания: (1962)

Надежность электронных вычислительных машин
Автор: Вайрадян А. С.
Год издания: (1966)

Контроль работы электронных вычислительных машин
Год издания: (1965)

Программирование
Автор: Криницкий Н. А.
Год издания: (1966)

Подпрограммы вычисления функций InX, ex, √х, √х
Автор: Гавриленко Е. Т.
Год издания: (1962)

Программирование для двухадресных цифровых вычислительных машин
Автор: Илзиня И. Г.
Год издания: (1962)

Электронный мозг
Автор: Карпиловский Е. Б.
Год издания: (1962)

Электронные вычислительные устройства
Автор: Калабеков
Год издания: (1966)

Прикладная логика
Автор: Непейвода Н. Н.
Год издания: (1997)

Основы теории и проектирования цифровых вычислительных машин
Автор: Анисимов Б. В.
Год издания: (1962)

Конспект лекций по курсу "Счетно-решающая автоматика"
Автор: Жданов
Год издания: (1961)

Вычислительная техника
Год издания: (1962)

Магнитные элементы в цифровых вычислительных устройствах
Автор: Заволокина З. И.
Год издания: (1958)

Математическая логика
Автор: Гудстейн Р. Л.
Год издания: (1961)

Математическая логика
Автор: Клини С. К.
Год издания: (1973)

Математическая логика
Автор: Игошин В. И.
Год издания: (2012)

Многоцветная логика
Автор: Бизам Д.
Год издания: (1978)