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

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

Detalles Bibliográficos
Autor Corporativo:	Академия наук СССР (АН СССР) Институт философии (ИФ)
Outros autores:	Таванец П. В. Петр Васильевич (редактор)
Idioma:	ruso
Publicado:	Москва, Наука, 1970
Subjects:	математическая логика логические системы исследование классификация язык
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=194043

Títulos similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Логические методы анализа и синтеза схем
por: Поспелов Д. А. Дмитрий Александрович
Publicado: (Москва, Энергия, 1974)