Логика и компьютер: курс логики и компьютерный практикум; Вып. 3; Доказательство и его поиск

Логика и компьютер: курс логики и компьютерный практикум; Вып. 3; Доказательство и его поиск

Bibliographic Details
Main Author:	Смирнов В. А.
Corporate Author:	Российская академия наук
Other Authors:	Маркин В. И., Новодворский А. Е., Смирнов А. В.
Language:	Russian
Published:	Москва, Наука, 1996
Series:	Кибернетика: неограниченные возможности и возможные ограничения
Subjects:	логика персональные компьютеры языки программирования
Format:	Mixed Materials
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=3003

Similar Items

Логика и компьютер; Вып. 4; Многоязычные логики
by: Карпенко А. С. Александр Степанович
Published: (Москва, Наука, 1997)

Персональный компьютер в играх и задачах
Published: (Москва, Наука, 1988)

Основы программирования на языке Паскаль
by: Емелина Е. И. Елена Ивановна
Published: (Москва, Финансы и статистика, 1997)

Персональный компьютер: диалог и программные средства: учебное пособие
Published: (Москва, Изд-во Университета дружбы народов, 1991)

Программирование в среде Си для ПЭВМ ЕС
by: Романовская Л. М. Лорина Михайловна
Published: (Москва, Финансы и статистика, 1992)

Crafting a Compiler with C
by: Fischer C. N. Charles N.
Published: (New York, The Benjamin/Cummings Publishing Company, 1991)

Программирование на языке паскаль
by: Семашко Г. Л. Галина Львовна
Published: (Москва, Наука, 1988)

Программирование на языке Си для персонального компьютера IBM PC
by: Трой Д. А. Дуглас А.
Published: (Москва, Радио и связь, 1991)

Логика и компьютер; Моделирование рассуждений и проверка правильности программ
Published: (Москва, Наука, 1990)

Бейсик для персонального компьютера фирмы IBM: пер. с англ.
by: Радер Дж. Джесси
Published: (Москва, Радио и связь, 1991)

Портативный компьютер: Справочное пособие
Published: (Москва, Радио и связь, 1993)

Язык ассемблера для персонального компьютера фирмы IBM: пер. с англ.
by: Шнайдер А.
Published: (Москва, Мир, 1988)

Как программировать на C++: пер. с англ.
by: Дейтел Х. М. Харви М.
Published: (Москва, Бином, 2008)

Компьютерный анализ данных: лабораторный практикум
by: Иванченков В. П. Виктор Павлович
Published: (Томск, Изд-во ТПУ, 2000)

Музыкально-компьютерный словарь
by: Королев А. А. Анатолий Александрович
Published: (СПб., Композитор, 2000)

Домашний компьютер
by: Зеленко Г. В. Геннадий Вадимович
Published: (Москва, Радио и связь, 1989)

Интеллектуальное программирование: Турбо-пролог и рефал-5 на персональных компьютерах
Published: (СПб., Изд-во СПбГУ, 1992)

Знание. Компьютер. Общество
by: Героименко В. А. Владимир Александрович
Published: (Минск, Наука и техника, 1992)

Компьютерный практикум; Двигатели внутреннего сгорания
Published: (1995)

Как работает компьютер: пер. с англ.
by: Уайт Р. Рон
Published: (Москва, Мир, 1997)

Программирование на языке ассемблера IBM PC
by: Пильщиков В. Н. Владимир Николаевич
Published: (Москва, Диалог-МИФИ, 1998)

ТопСпид: пер. с пол.
by: Белецкий Я. Ян
Published: (Москва, Машиностроение, 1993)

Computer science: an overview
by: Brookshear G. J. Glenn J.
Published: (New York, Addison-Wesley Publishing Company, 2000)

Обработка изображений на языке СИ для IBM PC: алгоритмы и программы
by: Яншин В. В. Валерий Владимирович
Published: (Москва, Мир, 1994)

Логика и пролог в дискретной математике
by: Набебин А. А. Алексей Александрович
Published: (Москва, Изд-во МЭИ, 1996)

Персональный компьютер - настройка, эксплуатация, безопасность; Схемотехника; № 6
by: Бутов А.
Published: (2004)

Hardware-компьютер и периферия: Популярно о персональном компьютере и периферийном оборудовании
by: Петроченков А. В. Александр Васильевич
Published: (Москва, Манускрипт, 1995)

Изучи сам Java сегодня: пер. с англ.
by: Джамса К. Крис
Published: (Минск, Попурри, 1996)

Программное и лингвистическое обеспечение персональных ЭВМ. Новые системы: справочное пособие
by: Скляров В. А. Валерий Анатольевич
Published: (Минск, Высшая школа, 1992)

Программирование на языке Паскаль
by: Семашко Г. Л. Галина Львовна
Published: (Москва, Наука, 1993)

Логика и компьютер; Вып. 2; Логические языки, содержательные рассуждения и методы поиска доказательств
Published: (Москва, Наука, 1995)

В мире персональных компьютеров; Вып. 2
Published: (Москва, Радио и связь, 1988)

Кн. 1 : Как нам купить и обустроить компьютер; Компьютер для носорога
Published: (1994)

Дизайн и компьютер; Руководство по Pagemaker 6 для всех и каждого: пер. с англ.
by: Шушан Р. Ронни
Published: (Москва, Русская Редакция, 1997)

Как программировать на С: пер. с англ.
by: Дейтел Х. М. Харви М.
Published: (Москва, БИНОМ, 2006)

Кн. 1: Хранение и обработка информации; Персональный компьютер для всех
by: Савельев А. Я. Александр Яковлевич
Published: (1991)

Язык Форт и его реализации
by: Баранов С. Н. Сергей Николаевич
Published: (Ленинград, Машиностроение, 1988)

Персональный компьютер на вашем рабочем месте
by: Крайзмер Л. П. Леонид Павлович
Published: (Ленинград, Лениздат, 1991)

Кн. 8 : МикроЭВМ в учебных заведениях; МикроЭВМ
Published: (1988)

Кн. 3: Создание и использование баз данных; Персональный компьютер для всех
by: Савельев А. Я. Александр Яковлевич
Published: (1991)