Логика и компьютер: курс логики и компьютерный практикум; Вып. 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Персональный компьютер: Учебный курс
by: Глушаков С. В. Сергей Владимирович
Published: (Харьков, Фолио, 2000)

Apple Macintosh: персональный компьютер
by: Леонтьев Б. К. Борис Константинович
Published: (Москва, Новый издательский дом, 2005)

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

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

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

BIOS. Настроим компьютер своими силами
by: Рязанов В. А. Владимир Александрович
Published: (Спб., Питер, 2006)

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

Построение систем машинного обучения на языке Python
by: Коэльо Л. П.
Published: (Москва, ДМК Пресс, 2016)

Персональный компьютер "Ириша"
Published: (Москва, Патриот, 1990)

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

Квик Бейсик
by: Маковский В. А. Виталий Анатольевич
Published: (Москва, Изд-во стандартов, 1993)

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

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

Компьютер для студента
by: Рычков В. Н. Владимир Николаевич
Published: (СПб., Питер, 2004)

Компьютер в домашней лаборатории
by: Магда Ю. С.
Published: (Москва, ДМК Пресс, 2009)

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

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

Очерки истории информатики: введение в специальность учебное пособие
by: Тынкевич М. А.
Published: (Кемерово, КузГТУ имени Т.Ф. Горбачева, 2019)

Поиск оптимальных решений средствами Excel 7.0 : в примерах
by: Курицкий Б. Я. Борис Яковлевич
Published: (Санкт-Петербург, BHV-Санкт-Петербург, 1997)

Кн. 5 : Norton Unilities 7.0. Ч. 1 : Общие сведения и Одиннадцать Самых Необходимых Полезняшек; Компьютер для носорога
Published: (1994)