Задачник по математической логике: учебное пособие

Задачник по математической логике: учебное пособие

Detaylı Bibliyografya
Yazar:	Горбатов В .А.
Müşterek Yazar:	Московский энергетический институт
Diğer Yazarlar:	Поспелов Д. А.
Dil:	Rusça
Baskı/Yayın Bilgisi:	Москва, Изд-во МЭИ, 1972
Konular:	Математическая логика алгоритмы теория формальные системы графы отношения понятия логические графы синтез задачи задачники учебные пособия
Materyal Türü:	Kitap
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=355301

Benzer Materyaller

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

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

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

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

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

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

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

Применение математической логики и теории графов в обработке экономической информации: учебное пособие
Yazar:: Полгородник Н. П. Нинель Петровна
Baskı/Yayın Bilgisi: (Киев, [Б. и.], 1972)

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

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

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

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

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

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

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

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

Дискретная математика и математическая логика: учебник
Yazar:: Аляев Ю. А. Юрий Александрович
Baskı/Yayın Bilgisi: (Москва, Финансы и статистика, 2006)

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

Дискретная математика: учебное пособие
Yazar:: Корниенко А. В. Анатолий Васильевич
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 2000)

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

Математическая логика и теория алгоритмов для программистов: учебное пособие
Yazar:: Гринченков Д. В. Дмитрий Валерьевич
Baskı/Yayın Bilgisi: (Москва, КноРус, 2010)

Математическая логика и теория алгоритмов для программистов: учебное пособие
Yazar:: Гринченков Д. В. Дмитрий Валерьевич
Baskı/Yayın Bilgisi: (Москва, КноРус, 2013)

Логические уравнения
Yazar:: Закревский А. Д. Аркадий Дмитриевич
Baskı/Yayın Bilgisi: (Минск, Наука и техника, 1975)

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

Дискретная математика: учебник
Yazar:: Спирина М. С. Марина Савельевна
Baskı/Yayın Bilgisi: (Москва, Академия, 2007)

Дискретная математика: учебник
Yazar:: Спирина М. С. Марина Савельевна
Baskı/Yayın Bilgisi: (Москва, Академия, 2006)

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

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

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

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

Задачи по теории множеств, математической логике и теории алгоритмов
Yazar:: Лавров И. А. Игорь Андреевич
Baskı/Yayın Bilgisi: (Москва, Наука, 1984)

Дискретная математика: учебное пособие
Yazar:: Корниенко А. В. Анатолий Васильевич
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 1996)

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

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

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

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

Математическая логика: учебное пособие
Yazar:: Игошин В. И. Владимир Иванович
Baskı/Yayın Bilgisi: (Москва, Инфра-М, 2012)

Математическая логика: учебное пособие
Yazar:: Игошин В. И. Владимир Иванович
Baskı/Yayın Bilgisi: (Москва, Инфра-М, 2019)

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

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