Исследования по теории доказательств: сборник статей; пер. с англ.

Исследования по теории доказательств: сборник статей; пер. с англ.

Detaylı Bibliyografya
Yazar:	Крайзель Г.
Dil:	Rusça
Baskı/Yayın Bilgisi:	Москва, Мир, 1981
Seri Bilgileri:	Математика. Новое в зарубежной науке 23
Konular:	Математическая логика Основания математики доказательства теория математическая теория методы происхождение вычислительные программы синтез
Materyal Türü:	Kitap
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=365090

Benzer Materyaller

Степени неразрешимости: пер. с англ.; Три теоремы о степенях рекурсивно перечислимых множеств; Решетка рекурсивно перечислимых множеств; Иерархия булевых алгебр; Гипотеза сильной однородности
Yazar:: Шенфилд Дж. Джозеф
Baskı/Yayın Bilgisi: (Москва, Наука, 1977)

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

Опыт классификации математических исследований. Категории математического познания
Yazar:: Аржаных И. С. Иван Семенович
Baskı/Yayın Bilgisi: (Ташкент, Фан, 1982)

Теория доказательств: пер. с англ.
Yazar:: Такеути Г. Гаиси
Baskı/Yayın Bilgisi: (Москва, Мир, 1978)

Как математика ум в порядок приводит
Yazar:: Столяр А. А. Абрам Аронович
Baskı/Yayın Bilgisi: (Минск, Вышэйшая школа, 1982)

Основания математики. Теория доказательств: пер. с нем.
Yazar:: Гилберт Д. Давид
Baskı/Yayın Bilgisi: (Москва, Наука, 1982)

Диалектика развития математического знания. Закономерности эволюции способа систематизации
Yazar:: Барабашев А. Г. Алексей Георгиевич
Baskı/Yayın Bilgisi: (Москва, Изд-во Московского ун-та, 1983)

Что такое математическая логика?
Yazar:: Калужнин Л. А. Лев Аркадьевич
Baskı/Yayın Bilgisi: (Москва, Наука, 1964)

Математическая логика и теория алгоритмов
Baskı/Yayın Bilgisi: (Новосибирск, Наука, 1982)

Исследования по неклассическим логикам и формальным системам: сборник статей
Baskı/Yayın Bilgisi: (Москва, Наука, 1983)

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

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

Математическое познание: диалектика объективного и субъективного
Yazar:: Габриелян О. А. Олег Аршавирович
Baskı/Yayın Bilgisi: (Ереван, Изд-во АН АрмССР, 1987)

Математическая логика: учебное пособие для вузов
Yazar:: Ершов Ю. Л. Юрий Леонидович
Baskı/Yayın Bilgisi: (Москва, Физматлит, 2011)

Математическая логика: пер. с англ.
Yazar:: Гудстейн Р. Л.
Baskı/Yayın Bilgisi: (Москва, Изд-во иностранной литературы, 1961)

Популярная логика: общедоступный очерк логики предложений; пер. с пол.
Yazar:: Гжегорчик А. Анджей
Baskı/Yayın Bilgisi: (Москва, Наука, 1972)

Элементы математической логики
Yazar:: Марков А. А. Андрей Андреевич
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1984)

Вып. 116 : Прикладная логика; Вычислительные системы
Baskı/Yayın Bilgisi: (1986)

Стабильные теории: учебное пособие
Yazar:: Мустафин Т. Г. Туленды Гарифович
Baskı/Yayın Bilgisi: (Караганда, Изд-во Карагандийского гос. ун-та, 1981)

Исследования по теории алгорифмов и математической логике: сборник
Baskı/Yayın Bilgisi: (Москва, Наука, 1979)

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

Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
Yazar:: Верещагин Н. К
Baskı/Yayın Bilgisi: (Москва, МЦНМО, 1999)

II Всесоюзная конференция по прикладной логике (Новосибирск, 7-9 июня 1988 г.): тезисы докладов
Baskı/Yayın Bilgisi: (Новосибирск, Изд-во Института математики, 1988)

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

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

[Вып.] 152 : Теория вычислений и языки спецификаций; Вычислительные системы
Baskı/Yayın Bilgisi: (1995)

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

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

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
Yazar:: Игошин В. И. Владимир Иванович
Baskı/Yayın Bilgisi: (Москва, Академия, 2005)

Теория формальных систем: пер. с англ.
Yazar:: Смальян Р. Раймонд
Baskı/Yayın Bilgisi: (Москва, Наука, 1981)

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

Проблема логического следования в математической логике: лекция
Yazar:: Джиджян Р. З.
Baskı/Yayın Bilgisi: (Ереван, Изд-во Ереванского ун-та, 1981)

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

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

Задачник по математической логике: учебное пособие
Yazar:: Горбатов В .А.
Baskı/Yayın Bilgisi: (Москва, Изд-во МЭИ, 1972)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
Yazar:: Игошин В. И. Владимир Иванович
Baskı/Yayın Bilgisi: (Москва, Академия, 2006)

Математическая логика. Задачник-практикум и решения: курс лекций; учебное пособие
Yazar:: Лихтарников Л. М. Леонид Моисеевич
Baskı/Yayın Bilgisi: (СПб., Лань, 2009)

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

Т. 2: [сборник]; Исследования по теории алгорифмов и математической логике
Baskı/Yayın Bilgisi: (1976)

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