Исследование логических систем

Исследование логических систем

Bibliografiska uppgifter
Institutionell upphovsman:	Академия наук СССР (АН СССР) Институт философии (ИФ)
Övriga upphovsmän:	Таванец П. В. Петр Васильевич (редактор)
Språk:	ryska
Publicerad:	Москва, Наука, 1970
Ämnen:	математическая логика логические системы исследование классификация язык
Materialtyp:	Bok
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=194043

Liknande verk

Динамика логических устройств и систем
av: Левин В. И. Виталий Ильич
Publicerad: (Москва, Энергия, 1980)

Две интерпретации логических систем
av: Целищев В. В. Виталий Валентинович
Publicerad: (Новосибирск, Наука, 1979)

Логическое программирование и моделирование систем: учебное пособие
av: Новосельцев В. Б. Виталий Борисович
Publicerad: (Томск, Изд-во ТПУ, 2008)

Как математика ум в порядок приводит
av: Столяр А. А. Абрам Аронович
Publicerad: (Минск, Высшая школа, 1991)

Теория тестирования логических устройств
Publicerad: (Москва, Физматлит, 2006)

Первое знакомство с математической логикой
av: Депман И. Я. Иван Яковлевич
Publicerad: (Ленинград, Знание, 1965)

Очерк развития логических идей в культурно-историческом контексте
av: Попович М. В. Мирослав Владимирович
Publicerad: (Киев, Наукова думка, 1979)

Логика в информатике: Методическое пособие
av: Лыскова В. Ю. Вероника Юрьевна
Publicerad: (Москва, Лаборатория Базовых Знаний, 2004)

Логическое программирование и моделирование систем: учебное пособие
av: Новосельцев В. Б. Виталий Борисович
Publicerad: (Томск, Изд-во ТПУ, 2008)

Эмпирический принцип синтеза нечётких логических регуляторов; Приборы и системы. Управление, контроль, диагностика; № 1
av: Усков А. А.
Publicerad: (2004)

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
av: Бабичева И. В.
Publicerad: (Санкт-Петербург, Лань, 2024)

Симметрическая конструктивная логика
av: Заславский И. Д. Игорь Дмитриевич
Publicerad: (Ереван, Изд-во АН Армянской ССР, 1978)

Математическая теория логического вывода: сборник переводов
Publicerad: (Москва, Наука, 1967)

Сравнительный анализ основных структур программируемых логических матриц; Молодежь и современные информационные технологии
av: Миненко О. В.
Publicerad: (2004)

Логика: теория аргументации и критического мышления
av: Воробьева С. В.
Publicerad: (Минск, БГУ, 2018)

Многоцветная логика.175 логических задач: пер. с венг.
av: Бизам Д. Дьердь
Publicerad: (Москва, Мир, 1978)

Теория поиска вывода. Происхождение и философские приложения монография
av: Брюшинкин В. Н.
Publicerad: (Калининград, БФУ им. И.Канта, 2012)

Решение логических и игровых задач: Логико-психологические этюды
av: Шапиро Самуил Иосифович
Publicerad: (Москва, Радио и связь, 1984)

Логика: учебное пособие для вузов
av: Ивин А. А. Александр Архипович
Publicerad: (Москва, Высшая школа, 2004)

Logical Systems for Industrial Applications
av: Jaczewski J. Jerzy
Publicerad: (Warszawa, PWN Polish Scientific Publishers, 1978)

Математическая логика и теория алгоритмов: учебное пособие
av: Шелупанов А. А. Александр Александрович
Publicerad: (Томск, STT, 2001)

Математическая логика: учебное пособие
av: Лавров И. А. Игорь Андреевич
Publicerad: (Москва, Академия, 2006)

Дискретная математика учебное пособие
av: Бекарева Н. Д.
Publicerad: (Новосибирск, НГТУ, 2019)

Основания математики. Логические исчисления и формализация арифметики.
av: Гильберт Д. Давид
Publicerad: (Москва, Наука, 1982)

Основания математики. Логические исчисления и формализация арифметики.
av: Гильберт Д. Давид
Publicerad: (Москва, Наука, 1979)

Математическая логика: учебник
av: Никольская И. Л. Инна Львовна
Publicerad: (Москва, Высшая школа, 1981)

Вып. 5; Логические исследования
Publicerad: (1998)

Математическая логика: учебное пособие
av: Колмогоров А.Н. Андрей Николаевич
Publicerad: (Москва, УРСС, 2005)

Как же называется эта книга?: пер. с англ.
av: Смаллиан Р. М. Рэймонд М.
Publicerad: (Москва, Мир, 1981)

Программирование логических интегральных схем учебное методическое пособие
av: Покаместов Д. А.
Publicerad: (Москва, ТУСУР, 2021)

Элементы систем автоматики: учебное пособие
av: Водовозов А. М. Александр Михайлович
Publicerad: (Москва, Академия, 2008)

Вып. 122 : Прикладные аспекты математической логики; Вычислительные системы
Publicerad: (1987)

Настраиваемые модули для управляющих логических устройств
av: Артюхов В. Л. Валерий Леонидович
Publicerad: (Ленинград, Энергоиздат, 1981)

Как математика ум в порядок приводит
av: Столяр А. А. Абрам Аронович
Publicerad: (Минск, Вышэйшая школа, 1982)

Логический вывод
Publicerad: (Москва, Наука, 1979)

[Вып.] 82 : Архитектура вычислительных систем с программируемой структурой; Вычислительные системы
Publicerad: (1980)

Программирование логических интегральных схем. Часть 2
av: Унгер А. Ю.
Publicerad: (Москва, РТУ МИРЭА, 2023)

Синтез систем управления на логических элементах
av: Смирнов И. Н. Игорь Николаевич
Publicerad: (Ленинград, Изд-во Ленинградского ун-та, 1975)

Решение задач математической логики с использованием элементарной алгебры
av: Коваленко С. И. Сергей Иванович
Publicerad: (Москва, Физматлит, 2004)

Исследование и проектирование комбинационных логических устройств в программной среде Multisim
av: Васильев И. А.
Publicerad: (Москва, МГТУ им. Н.Э. Баумана, 2018)