Основы многополярности
| מחבר ראשי: | Ленский В. В. Васислий Васильевич |
|---|---|
| מחברים אחרים: | Кочнев А. Г. Александр Георгиевич |
| שפה: | רוסית |
| יצא לאור: |
Иркутск, Изд-во Иркутского ун-та, 1986
|
| נושאים: | |
| פורמט: | ספר |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=279654 |
פריטים דומים
Исследования по неклассическим логикам и формальным системам сборник статей
יצא לאור: (Москва, Наука, 1983)
יצא לאור: (Москва, Наука, 1983)
Введение в математическую логику монография пер. с англ.
מאת: Чёрч А.
יצא לאור: (Москва, Изд-во иностранной литературы, 1960)
מאת: Чёрч А.
יצא לאור: (Москва, Изд-во иностранной литературы, 1960)
Теория моделей и ее применения сборник научных трудов
יצא לאור: (Новосибирск, Наука, 1988)
יצא לאור: (Новосибирск, Наука, 1988)
Как математика ум в порядок приводит
מאת: Столяр А. А. Абрам Аронович
יצא לאור: (Минск, Вышэйшая школа, 1982)
מאת: Столяр А. А. Абрам Аронович
יצא לאור: (Минск, Вышэйшая школа, 1982)
Математическая логика и теория алгоритмов для программистов учебное пособие
מאת: Гринченков Д. В. Дмитрий Валерьевич
יצא לאור: (Москва, КноРус, 2010)
מאת: Гринченков Д. В. Дмитрий Валерьевич
יצא לאור: (Москва, КноРус, 2010)
Математическая логика и теория алгоритмов для программистов учебное пособие
מאת: Гринченков Д. В. Дмитрий Валерьевич
יצא לאור: (Москва, КноРус, 2013)
מאת: Гринченков Д. В. Дмитрий Валерьевич
יצא לאור: (Москва, КноРус, 2013)
Логические уравнения
מאת: Закревский А. Д. Аркадий Дмитриевич
יצא לאור: (Минск, Наука и техника, 1975)
מאת: Закревский А. Д. Аркадий Дмитриевич
יצא לאור: (Минск, Наука и техника, 1975)
Всесоюзная конференция по прикладной логике, Новосибирск, 22-24 октября 1985 г. тезисы докладов
יצא לאור: (Новосибирск, Изд-во ИМ, 1985)
יצא לאור: (Новосибирск, Изд-во ИМ, 1985)
Что такое математическая логика?
מאת: Калужнин Л. А. Лев Аркадьевич
יצא לאור: (Москва, Наука, 1964)
מאת: Калужнин Л. А. Лев Аркадьевич
יצא לאור: (Москва, Наука, 1964)
Вып. 116 : Прикладная логика
יצא לאור: (1986)
יצא לאור: (1986)
Метаматематика элементарной математики пер. с нем.
מאת: Энгелер Э. Эрвин
יצא לאור: (Москва, Мир, 1987)
מאת: Энгелер Э. Эрвин
יצא לאור: (Москва, Мир, 1987)
Построение формулировок теорем и способов доказательств. Логические приемы мышления в творческой деятельности
מאת: Калошина И. П. Инна Павловна
יצא לאור: (Саранск, Изд-во Саратовского ГТУ, 1988)
מאת: Калошина И. П. Инна Павловна
יצא לאור: (Саранск, Изд-во Саратовского ГТУ, 1988)
Международные отношения второй половины XX – начала XXI вв. и их изучение в системе исторического образования учебно-методическое пособие для студентов магистратуры, обучающихся по направлению подготовки 44.04.01 педагогическое образование, направленность (профиль) «историческое образование»
מאת: Печенкин С. В.
יצא לאור: (Воронеж, ВГПУ, 2023)
מאת: Печенкин С. В.
יצא לאור: (Воронеж, ВГПУ, 2023)
Алгебра и логика сборник научных работ
יצא לאור: (Новосибирск, Изд-во Ин-та математики СО АН СССР, 1988)
יצא לאור: (Новосибирск, Изд-во Ин-та математики СО АН СССР, 1988)
Задачник по математической логике учебное пособие
מאת: Горбатов В .А.
יצא לאור: (Москва, Изд-во МЭИ, 1972)
מאת: Горбатов В .А.
יצא לאור: (Москва, Изд-во МЭИ, 1972)
Дискретная математика и математическая логика учебник
מאת: Аляев Ю. А. Юрий Александрович
יצא לאור: (Москва, Финансы и статистика, 2006)
מאת: Аляев Ю. А. Юрий Александрович
יצא לאור: (Москва, Финансы и статистика, 2006)
Элементы математической логики
מאת: Марков А. А. Андрей Андреевич
יצא לאור: (Москва, Изд-во МГУ, 1984)
מאת: Марков А. А. Андрей Андреевич
יצא לאור: (Москва, Изд-во МГУ, 1984)
Международные отношения второй половины XX – начала XXI вв. и их изучение в системе исторического образования хрестоматия для студентов магистратуры, обучающихся по направлению подготовки 44.04.01 педагогическое образование, направленность (профиль) «историческое образование»
מאת: Печенкин С. В.
יצא לאור: (Воронеж, ВГПУ, 2023)
מאת: Печенкин С. В.
יצא לאור: (Воронеж, ВГПУ, 2023)
Популярная логика общедоступный очерк логики предложений пер. с пол.
מאת: Гжегорчик А. Анджей
יצא לאור: (Москва, Наука, 1972)
מאת: Гжегорчик А. Анджей
יצא לאור: (Москва, Наука, 1972)
Алгебра и математическая логика межведомственный сборник
יצא לאור: (Киев, Изд-во Киевского ун-та, 1966)
יצא לאור: (Киев, Изд-во Киевского ун-та, 1966)
Логическая тетрадь нерешенные вопросы математической логики (оперативный информационный материал)
יצא לאור: (Новосибирск, Изд-во ИМ СО РАН, 1986)
יצא לאור: (Новосибирск, Изд-во ИМ СО РАН, 1986)
Исследования по теории алгорифмов и математической логике сборник
יצא לאור: (Москва, Наука, 1979)
יצא לאור: (Москва, Наука, 1979)
Теория дедуктивных систем и ее применения
מאת: Маслов С. Ю. Сергей Юрьевич
יצא לאור: (Москва, Радио и связь, 1986)
מאת: Маслов С. Ю. Сергей Юрьевич
יצא לאור: (Москва, Радио и связь, 1986)
Математическая логика пер. с англ.
מאת: Гудстейн Р. Л.
יצא לאור: (Москва, Изд-во иностранной литературы, 1961)
מאת: Гудстейн Р. Л.
יצא לאור: (Москва, Изд-во иностранной литературы, 1961)
Логико-алгебраические конструкции межвузовский тематический сборник научных трудов
יצא לאור: (Калинин, Изд-во КГУ, 1987)
יצא לאור: (Калинин, Изд-во КГУ, 1987)
Применение ЭВМ для решения задач математической логики учебное пособие
מאת: Мелихов А. Н. Аскольд Николаевич
יצא לאור: (Таганрог, Изд-воТРТИ, 1988)
מאת: Мелихов А. Н. Аскольд Николаевич
יצא לאור: (Таганрог, Изд-воТРТИ, 1988)
Проблема логического следования в математической логике лекция
מאת: Джиджян Р. З.
יצא לאור: (Ереван, Изд-во Ереванского ун-та, 1981)
מאת: Джиджян Р. З.
יצא לאור: (Ереван, Изд-во Ереванского ун-та, 1981)
Стабильные теории учебное пособие
מאת: Мустафин Т. Г. Туленды Гарифович
יצא לאור: (Караганда, Изд-во Карагандийского гос. ун-та, 1981)
מאת: Мустафин Т. Г. Туленды Гарифович
יצא לאור: (Караганда, Изд-во Карагандийского гос. ун-та, 1981)
Генценовские системы для исчисления высказываний и аксиоматической арифметики учебное пособие
מאת: Кипнис М. М. Михаил Маркович
יצא לאור: (Челябинск, Изд-во ЧПИ, 1985)
מאת: Кипнис М. М. Михаил Маркович
יצא לאור: (Челябинск, Изд-во ЧПИ, 1985)
Логические исследования сборник статей
יצא לאור: (Москва, Издательство Академии наук СССР, 1959)
יצא לאור: (Москва, Издательство Академии наук СССР, 1959)
Математическая логика. Задачник-практикум и решения курс лекций учебное пособие
מאת: Лихтарников Л. М. Леонид Моисеевич
יצא לאור: (СПб., Лань, 2009)
מאת: Лихтарников Л. М. Леонид Моисеевич
יצא לאור: (СПб., Лань, 2009)
[Вып.] 152 : Теория вычислений и языки спецификаций
יצא לאור: (1995)
יצא לאור: (1995)
Алгебра и логика сборник научных трудов
יצא לאור: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)
יצא לאור: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)
Алгебра и логика сборник научных трудов
יצא לאור: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)
יצא לאור: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)
Рекурсивно перечислимые множества и степени неразрешимости
מאת: Арсланов М. М. Марат Мирзаевич
יצא לאור: (Казань, Изд-во Казанского ун-та, 1986)
מאת: Арсланов М. М. Марат Мирзаевич
יצא לאור: (Казань, Изд-во Казанского ун-та, 1986)
Математическая логика. Курс лекций. Задачник-практикум и решения учебное пособие
מאת: Лихтарников Л. М. Леонид Моисеевич
יצא לאור: (СПб., Лань, 2008)
מאת: Лихтарников Л. М. Леонид Моисеевич
יצא לאור: (СПб., Лань, 2008)
II Всесоюзная конференция по прикладной логике (Новосибирск, 7-9 июня 1988 г.) тезисы докладов
יצא לאור: (Новосибирск, Изд-во Института математики, 1988)
יצא לאור: (Новосибирск, Изд-во Института математики, 1988)
Задачи и упражнения по математической логике и теории алгоритмов учебное пособие для вузов
מאת: Игошин В. И. Владимир Иванович
יצא לאור: (Москва, Академия, 2005)
מאת: Игошин В. И. Владимир Иванович
יצא לאור: (Москва, Академия, 2005)
Конкурентоспособность национального хозяйства в условиях многополярности. Россия, Индия, Китай монография
מאת: Перская В. В. Виктория Вадимовна
יצא לאור: (Москва, Экономика, 2015)
מאת: Перская В. В. Виктория Вадимовна
יצא לאור: (Москва, Экономика, 2015)
Теория формальных систем пер. с англ.
מאת: Смальян Р. Раймонд
יצא לאור: (Москва, Наука, 1981)
מאת: Смальян Р. Раймонд
יצא לאור: (Москва, Наука, 1981)
פריטים דומים
-
Исследования по неклассическим логикам и формальным системам сборник статей
יצא לאור: (Москва, Наука, 1983) -
Введение в математическую логику монография пер. с англ.
מאת: Чёрч А.
יצא לאור: (Москва, Изд-во иностранной литературы, 1960) -
Теория моделей и ее применения сборник научных трудов
יצא לאור: (Новосибирск, Наука, 1988) -
Как математика ум в порядок приводит
מאת: Столяр А. А. Абрам Аронович
יצא לאור: (Минск, Вышэйшая школа, 1982) -
Математическая логика и теория алгоритмов для программистов учебное пособие
מאת: Гринченков Д. В. Дмитрий Валерьевич
יצא לאור: (Москва, КноРус, 2010)