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

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

Detalles Bibliográficos
Corporate Authors:	Академия наук Эстонской ССР (АН ЭССР) Институт кибернетики, Применение методов математической логики. Секция : Логика взаимодействующих процессов. Секция : Алгоритмика трудных задач
Outros autores:	Минц Г. Е. (редактор), Лорентс П. П.
Idioma:	ruso
Publicado:	Таллин, Институт кибернетики АН ЭССР, 1986
Series:	Логика взаимодействующих процессов. Алгоритмика трудных задач
Subjects:	Математическая логика взаимодействующие процессы описание анализ логические средства логическое программирование асинхронные параллельные машины имитационное моделирование спецификация дискретные процессы шахматы алгоритмы ранговые распределения ресурсы случайность экспертные системы теория графов логические задачи сложность оценка конференции
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=279189

Títulos similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Прикладная логика
por: Попов С. В. Сергей Викторович
Publicado: (Москва, Физматлит, 2011)

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

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

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

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

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

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

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

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

Дискретная математика + математическая логика
por: Тюрин С. Ф.
Publicado: (Пермь, ПНИПУ, 2020)