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

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

Dades bibliogràfiques
Autor corporatiu:	Академия наук Эстонской ССР (АН ЭССР) Институт кибернетики, Применение методов математической логики. Секция : Логика взаимодействующих процессов. Секция : Алгоритмика трудных задач
Altres autors:	Минц Г. Е. (340), Лорентс П. П.
Idioma:	rus
Publicat:	Таллин, Институт кибернетики АН ЭССР, 1986
Col·lecció:	Логика взаимодействующих процессов. Алгоритмика трудных задач
Matèries:	взаимодействующие процессы описание анализ логические средства логическое программирование асинхронные параллельные машины имитационное моделирование спецификация дискретные процессы шахматы алгоритмы ранговые распределения ресурсы случайность экспертные системы теория графов логические задачи сложность оценка конференции
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=279189

Ítems similars

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Алгебра и логика сборник научных трудов
Publicat: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Алгебра и логика сборник научных трудов
Publicat: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Математическая логика и теория алгоритмов учебное пособие
per: Крупский В. Н. Владимир Николаевич
Publicat: (Москва, Академия, 2013)

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

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

Алгебра и логика сборник научных трудов
Publicat: (Новосибирск, 1989)

Математическая логика учебное пособие для вузов
per: Ершов Ю. Л. Юрий Леонидович
Publicat: (Москва, Физматлит, 2011)

Алгебра и математическая логика межведомственный сборник
Publicat: (Киев, Изд-во Киевского ун-та, 1966)

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