Применение методов математической логики. Секция : Логика взаимодействующих процессов. Секция : Алгоритмика трудных задач: тезисы докладов IV Всесоюзной конференции

Применение методов математической логики. Секция : Логика взаимодействующих процессов. Секция : Алгоритмика трудных задач: тезисы докладов IV Всесоюзной конференции

Opis bibliograficzny
organizacja autorów:	Академия наук Эстонской ССР (АН ЭССР) Институт кибернетики, Применение методов математической логики. Секция : Логика взаимодействующих процессов. Секция : Алгоритмика трудных задач
Kolejni autorzy:	Минц Г. Е. (редактор), Лорентс П. П.
Język:	rosyjski
Wydane:	Таллин, Институт кибернетики АН ЭССР, 1986
Seria:	Логика взаимодействующих процессов. Алгоритмика трудных задач
Hasła przedmiotowe:	Математическая логика взаимодействующие процессы описание анализ логические средства логическое программирование асинхронные параллельные машины имитационное моделирование спецификация дискретные процессы шахматы алгоритмы ранговые распределения ресурсы случайность экспертные системы теория графов логические задачи сложность оценка конференции
Format:	Książka
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=279189

Podobne zapisy

Применение методов математической логики. Секция : Представление знаний и синтез программ: тезисы докладов IV Всесоюзной конференции
Wydane: (Таллин, Изд-во ин-та кибернетики, 1986)

Стабильные теории: учебное пособие
od: Мустафин Т. Г. Туленды Гарифович
Wydane: (Караганда, Изд-во Карагандийского гос. ун-та, 1981)

Логические уравнения
od: Закревский А. Д. Аркадий Дмитриевич
Wydane: (Минск, Наука и техника, 1975)

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

Сложностные проблемы математической логики: сборник научных трудов
Wydane: (Калинин, [Б. и.], 1985)

Курс математической логики и теории вычислимости: учебное пособие для вузов
od: Герасимов А. С. Александр Сергеевич
Wydane: (Санкт-Петербург, Лань, 2014)

Математическая логика: учебное пособие
od: Игошин В. И. Владимир Иванович
Wydane: (Москва, Инфра-М, 2019)

Математическая логика: учебное пособие
od: Игошин В. И. Владимир Иванович
Wydane: (Москва, Инфра-М, 2012)

Математическая логика и теория алгоритмов для программистов: учебное пособие
od: Гринченков Д. В. Дмитрий Валерьевич
Wydane: (Москва, КноРус, 2013)

Построение формулировок теорем и способов доказательств. Логические приемы мышления в творческой деятельности
od: Калошина И. П. Инна Павловна
Wydane: (Саранск, Изд-во Саратовского ГТУ, 1988)

Математическая логика и теория алгоритмов для программистов: учебное пособие
od: Гринченков Д. В. Дмитрий Валерьевич
Wydane: (Москва, КноРус, 2010)

Проблема логического следования в математической логике: лекция
od: Джиджян Р. З.
Wydane: (Ереван, Изд-во Ереванского ун-та, 1981)

Задачник по математической логике: учебное пособие
od: Горбатов В .А.
Wydane: (Москва, Изд-во МЭИ, 1972)

Что такое математическая логика?
od: Калужнин Л. А. Лев Аркадьевич
Wydane: (Москва, Наука, 1964)

Элементы математической логики
od: Марков А. А. Андрей Андреевич
Wydane: (Москва, Изд-во МГУ, 1984)

Применение математической логики и теории графов в обработке экономической информации: учебное пособие
od: Полгородник Н. П. Нинель Петровна
Wydane: (Киев, [Б. и.], 1972)

Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
Wydane: (Новосибирск, Изд-во ИМ СО РАН, 1986)

Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие для вузов
od: Косовский Н. К. Николай Кириллович
Wydane: (Ленинград, Изд-во Ленинградского ун-та, 1981)

Основы многополярности
od: Ленский В. В. Васислий Васильевич
Wydane: (Иркутск, Изд-во Иркутского ун-та, 1986)

Вопросы теории взаимодействующих марковских систем: монография
od: Шматок С. А. Станислав Александрович
Wydane: (Минск, Вышэйшая школа, 1979)

Применение ЭВМ для решения задач математической логики: учебное пособие
od: Мелихов А. Н. Аскольд Николаевич
Wydane: (Таганрог, Изд-воТРТИ, 1988)

Формы логики
Wydane: (Пекин, Народное изд-во, 2005)

Популярная логика: общедоступный очерк логики предложений; пер. с пол.
od: Гжегорчик А. Анджей
Wydane: (Москва, Наука, 1972)

Логические и математические исчисления: учебное пособие
od: Шиханович Ю. А. Юрий Александрович
Wydane: (Москва, Научный мир, 2011)

Всесоюзная конференция по прикладной логике, Новосибирск, 22-24 октября 1985 г.: тезисы докладов
Wydane: (Новосибирск, Изд-во ИМ, 1985)

Логические исследования: сборник статей; Значение символической логики; Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике; Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний; О философской сущности "семантической концепции истины"; О числе отношений множеств (понятий); Об основах квантово-релятивистской логики; Логическое строение знаний о связях; К вопросу о каузальной импликации; Логический анализ понятия фонемы; Пустые классы и аристотелева логика; О соотношении логики и математики в системах типа Principia Mathematica; Анализ потенциальной осуществимости; Об одном классе нормальных алгорифмов Маркова; Логика и автоматизация; Математико-логическое исследование синтеза контактных схем с одним входом и k выходами; О логическом синтезе электронных вычислительных и управляющих схем; Моделирование операций исчисления высказываний посредством релейно-контактных схем; О построении общей теории логических сетей; О коммутационных схемах и их логической сущности; Логический синтез схем релейного действия, содержащих сопротивления и контакты; Аналитический синтез многотактных схем по формулам включения; Применение в телефонии алгебры логики при анализе и синтезе релейно-контактных схем
Wydane: (Москва, Издательство Академии наук СССР, 1959)

Математическая логика и теория алгоритмов: учебное пособие
od: Игошин В. И. Владимир Иванович
Wydane: (Москва, Academia, 2004)

Дискретная математика и математическая логика: учебник
od: Аляев Ю. А. Юрий Александрович
Wydane: (Москва, Финансы и статистика, 2006)

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

Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
Wydane: (Калинин, Изд-во Калининского гос. ун-та, 1983)

Введение в математическую логику: монография; пер. с англ.; Т. 1
od: Чёрч А.
Wydane: (Москва, Изд-во иностранной литературы, 1960)

Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
od: Кипнис М. М. Михаил Маркович
Wydane: (Челябинск, Изд-во ЧПИ, 1985)

Причинность и телеономизм в современной естественно-научной парадигме
Wydane: (Москва, Наука, 2002)

Математическая логика: пер. с англ.
od: Гудстейн Р. Л.
Wydane: (Москва, Изд-во иностранной литературы, 1961)

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

Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
od: Лихтарников Л. М. Леонид Моисеевич
Wydane: (СПб., Лань, 2008)

Вычислимое и невычислимое
od: Манин Ю. И. Юрий Иванович
Wydane: (Москва, Сов. радио, 1980)

Логика и цепи переключения: сокр. пер. с англ.
od: Хилтон А. М. Алиса Мери
Wydane: (Москва, Госэнергоиздат, 1962)

Теория дедуктивных систем и ее применения
od: Маслов С. Ю. Сергей Юрьевич
Wydane: (Москва, Радио и связь, 1986)

Теория моделей и ее применения: сборник научных трудов
Wydane: (Новосибирск, Наука, 1988)