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

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συλλογικό Έργο:	Новосибирский государственный университет (НГУ), Прикладная логика
Άλλοι συγγραφείς:	Мальцев А. А. (редактор)
Γλώσσα:	Ρωσικά
Έκδοση:	Новосибирск, Изд-во ИМ, 1985
Θέματα:	Математическая логика конференции кибернетика прикладная логика
Μορφή:	Βιβλίο
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=275597

Παρόμοια τεκμήρια

II Всесоюзная конференция по прикладной логике (Новосибирск, 7-9 июня 1988 г.): тезисы докладов
Έκδοση: (Новосибирск, Изд-во Института математики, 1988)

Исследования по теории алгорифмов и математической логике: сборник
Έκδοση: (Москва, Наука, 1979)

Проблема логического следования в математической логике: лекция
από: Джиджян Р. З.
Έκδοση: (Ереван, Изд-во Ереванского ун-та, 1981)

VII Всесоюзная конференция по математической логике, посвященная 75-летию академика А. И. Мальцева, 5-7 сентября 1984 г., г. Новосибирск: тезисы докладов
Έκδοση: (Новосибирск, Изд-во АН СССР, 1984)

Задачник по математической логике: учебное пособие
από: Горбатов В .А.
Έκδοση: (Москва, Изд-во МЭИ, 1972)

Введение в математическую логику: монография; пер. с англ.; Т. 1
από: Чёрч А.
Έκδοση: (Москва, Изд-во иностранной литературы, 1960)

Элементы математической логики
από: Марков А. А. Андрей Андреевич
Έκδοση: (Москва, Изд-во МГУ, 1984)

Популярная логика: общедоступный очерк логики предложений; пер. с пол.
από: Гжегорчик А. Анджей
Έκδοση: (Москва, Наука, 1972)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
από: Игошин В. И. Владимир Иванович
Έκδοση: (Москва, Академия, 2005)

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

Математическая логика: пер. с англ.
από: Гудстейн Р. Л.
Έκδοση: (Москва, Изд-во иностранной литературы, 1961)

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

Математическая логика. Задачник-практикум и решения: курс лекций; учебное пособие
από: Лихтарников Л. М. Леонид Моисеевич
Έκδοση: (СПб., Лань, 2009)

Исследования по неклассическим логикам и формальным системам: сборник статей
Έκδοση: (Москва, Наука, 1983)

Что такое математическая логика?
από: Калужнин Л. А. Лев Аркадьевич
Έκδοση: (Москва, Наука, 1964)

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

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

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

Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
από: Верещагин Н. К
Έκδοση: (Москва, МЦНМО, 1999)

Применение ЭВМ для решения задач математической логики: учебное пособие
από: Мелихов А. Н. Аскольд Николаевич
Έκδοση: (Таганрог, Изд-воТРТИ, 1988)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
από: Игошин В. И. Владимир Иванович
Έκδοση: (Москва, Академия, 2006)

Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
από: Кипнис М. М. Михаил Маркович
Έκδοση: (Челябинск, Изд-во ЧПИ, 1985)

Стабильные теории: учебное пособие
από: Мустафин Т. Г. Туленды Гарифович
Έκδοση: (Караганда, Изд-во Карагандийского гос. ун-та, 1981)

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

Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
από: Лихтарников Л. М. Леонид Моисеевич
Έκδοση: (СПб., Лань, 2008)

Как математика ум в порядок приводит
από: Столяр А. А. Абрам Аронович
Έκδοση: (Минск, Вышэйшая школа, 1982)

Т. 2: [сборник]; Исследования по теории алгорифмов и математической логике
Έκδοση: (1976)

Теория дедуктивных систем и ее применения
από: Маслов С. Ю. Сергей Юрьевич
Έκδοση: (Москва, Радио и связь, 1986)

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

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

Построение формулировок теорем и способов доказательств. Логические приемы мышления в творческой деятельности
από: Калошина И. П. Инна Павловна
Έκδοση: (Саранск, Изд-во Саратовского ГТУ, 1988)

Теория формальных систем: пер. с англ.
από: Смальян Р. Раймонд
Έκδοση: (Москва, Наука, 1981)

Теория доказательств: пер. с англ.
από: Такеути Г. Гаиси
Έκδοση: (Москва, Мир, 1978)

Логические уравнения
από: Закревский А. Д. Аркадий Дмитриевич
Έκδοση: (Минск, Наука и техника, 1975)

Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.
από: Барендрегт Х. П. Хендрик Питер
Έκδοση: (Москва, Мир, 1985)

[Вып.] 152 : Теория вычислений и языки спецификаций; Вычислительные системы
Έκδοση: (1995)

Алгебра и логика: сборник научных трудов
Έκδοση: (Новосибирск, 1989)

Математическая логика: учебное пособие для вузов
από: Ершов Ю. Л. Юрий Леонидович
Έκδοση: (Москва, Физматлит, 2011)

Вып. 116 : Прикладная логика; Вычислительные системы
Έκδοση: (1986)

Метаматематика элементарной математики: пер. с нем.
από: Энгелер Э. Эрвин
Έκδοση: (Москва, Мир, 1987)