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

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

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

Similar Items

Языки и методы программирования в системе "Эльбрус"
by: Сафонов В. О. Владимир Олегович
Published: (Москва, Наука, 1989)

Просто и ясно о Borland C+: пер. с англ.
by: Бабэ Б. Бруно
Published: (Москва, Бином, 1995)

Вып. 120 : Логические методы в программировании; Вычислительные системы
Published: (1987)

Введение в систему программирования ОС РВ/В
by: Бирюков В. В. Виктор Васильевич
Published: (Москва, Финансы и статистика, 1986)

Интерактивная визуализация данных. Работа с библиотекой Plotly учебно-методическое пособие
by: Титов А. Н.
Published: (Казань, КНИТУ, 2023)

Решение задач линейной алгебры и прикладной математики в Python. Работа с библиотекой SciPy учебно-методическое пособие
by: Титов А. Н.
Published: (Казань, КНИТУ, 2023)

Символьные вычисления в Python. Основы работы с библиотекой SymPy учебно-методическое пособие
by: Титов А. Н.
Published: (Казань, КНИТУ, 2023)

Создание интерактивных диаграмм распределений с использованием библиотеки Plotly учебно-методическое пособие
by: Титов А. Н.
Published: (Казань, КНИТУ, 2023)

Визуализация данных в Python. Работа с библиотекой Seaborn учебно-методическое пособие
by: Титов А. Н.
Published: (Казань, КНИТУ, 2023)

Введение в Tkinter. Разработка графических интерфейсов в Python учебно-методическое пособие
by: Титов А. Н.
Published: (Казань, КНИТУ, 2023)

Форматирование таблиц в Pandas учебно-методическое пособие
by: Титов А. Н.
Published: (Казань, КНИТУ, 2024)

Основы работы с библиотекой NumPy учебно-методическое пособие
by: Титов А. Н.
Published: (Казань, КНИТУ, 2024)

Визуализация данных в Python. Основы работы с интерактивной библиотекой Altair учебно-методическое пособие
by: Титов А. Н.
Published: (Казань, КНИТУ, 2024)

Визуализация распределения данных и ядерная оценка плотности в Python учебно-методическое пособие
by: Титов А. Н.
Published: (Казань, КНИТУ, 2024)

Руководство по программированию на языке модула-2: пер. с англ.
by: Кристиан К. Кааре
Published: (Москва, Мир, 1989)

Предметно-ориентированные языки программирования: пер. с англ.
by: Фаулер М. Мартин
Published: (Москва, Вильямс, 2011)

Новая эра программирования для современных контроллеров; Научная инициатива иностранных студентов и аспирантов российских вузов
by: Шарифуззаман М.
Published: (2011)

Кн. 4 : Языки программирования (Фортран IV, Фортран 77, ПЛ/1); Электронные вычислительные машины
Published: (1993)

Языки и методы программирования ПЛК учебное пособие
by: Ставров С. Г.
Published: (Иваново, ИГЭУ, 2020)

Программирование и алгоритмические языки
by: Криницкий Н. А. Николай Андреевич
Published: (Москва, Наука, 1979)

Программирование на языке фортран
by: Салтыков А. И. Альберт Иванович
Published: (Москва, Наука, 1976)

Профессиональное программирование. Системный подход
by: Одинцов И. О. Игорь Олегович
Published: (СПб., БХВ-Петербург, 2004)

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

Основы вычислительной, микропроцессорной техники и программирования: [Учеб. для сред. спец. учеб. заведений]
by: Стрыгин В. В. Вадим Васильевич
Published: (Москва, Высш. шк., 1989)

Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ - 6
by: Вельбицкий И. В. Игорь Вячеславович
Published: (Москва, Статистика, 1980)

Программирование и алгоритмические языки
by: Криницкий Н. А. Николай Андреевич
Published: (Москва, Наука, 1975)

Сборник задач по программированию на алгоритмических языках: учебное пособие для втузов
by: Бухтияров А. М. Алексей Михайлович
Published: (Москва, Наука, 1978)

Сборник задач по программированию на алгоритмических языках: учебное пособие для втузов
by: Бухтияров А. М. Алексей Михайлович
Published: (Москва, Наука, 1974)

Языки программирования и методы трансляции: учебное пособие
by: Рыбалка С. А. Сергей Анатольевич
Published: (Томск, Изд-во ТПУ, 2000)

Формальные языки и компиляторы учебник для вузов
by: Малявко А. А. Александр Антонович
Published: (Москва, Юрайт, 2025)

Формальные языки и компиляторы учебное пособие для вузов
by: Малявко А. А. Александр Антонович
Published: (Москва, Юрайт, 2022)

Формальные языки и компиляторы учебное пособие для вузов
by: Малявко А. А. Александр Антонович
Published: (Москва, Юрайт, 2024)

Формальные языки и компиляторы учебное пособие для вузов
by: Малявко А. А. Александр Антонович
Published: (Москва, Юрайт, 2021)

Программирование на ПЛ/ОС ЕС
Published: (Москва, Статистика, 1979)

Языки программирования
Published: (Москва, Наука, 1985)

Азбука информатики: руководство для начинающих
by: Зуев А. Н. Алексей Николаевич
Published: (Ставрополь, Кн. изд-во, 1989)

Формальные языки и компиляторы Учебник
by: Малявко А.А. Александр Антонович
Published: (Новосибирск, Новосибирский государственный технический университет (НГТУ), 2014)

Программирование для малых электронных вычислительных машин: учебное пособие
by: Музычкин П. А. Павел Арсенович
Published: (Москва, [Б. и.], 1983)

Программирование промышленных контроллеров учебное пособие
by: Ахмерова А. Н.
Published: (Казань, КНИТУ, 2019)

Программные и вычислительные системы: Методы и языки анализа; Системная информатика
Published: (1993)