Полное описание
Яновская, С. А. ISBN 978-5-397-00758-0. - Текст : непосредственный.
Рубрики: Математика -- Философские вопросы
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-09/58978)
Шифр в сводном ЭК: 647224feb208089d3a5387763d1e4cd4
Яновская С.А. Лекции по алгебре логики / С. А. Яновская ; Сост.: Б. В. Бирюков, З. А. Кузичева, 2015. - 257 с. - Текст : непосредственный. Яновская С.А. Передовые идеи Н. И. Лобачевского - орудие борьбы против идеализма в математике / С. А. Яновская, 2018. - 83 с. - Текст : непосредственный. Яновская С.А. Логика и философия математики / С. А. Яновская; под ред. и с коммент. сост. Б. В. Бирюкова [и др.], 2016. - 200 с. - Текст : непосредственный. Яновская С.А. Передовые идеи Н.И. Лобачевского - орудие борьбы против идеализма в математике : монография / С. А. Яновская, 1950. - 83 с. - Текст : непосредственный. Яновская С.А. Методологические проблемы науки / С. А. Яновская, 2006. - 292 с. - Текст : непосредственный. Яновская С.А. Методологические проблемы науки / С. А. Яновская; под общ. ред. И. Г. Башмаковой и др.: заключит. ст. Б.В. Бирюковой, О. А. Борисовой, 2009. - 292 с. - Текст : непосредственный. Гудстейн, Рейбен Луис. Математическая логика / Р. Л. Гудстейн; перевод с английского В. С. Чернявского; под редакцией и с предисловием С. А. Яновской, 1961. - 161, [1] с. - Текст : непосредственный. Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Проблемы онто-гносеологического обоснования математики и естественных наук : сборник / Ред. Е. И. Арепьев, 2008. - 203 с. - Текст : непосредственный. Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный. Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Показать все результаты Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный. Канке В.А. Философия математики, физики, химии, биологии : учебное пособие / В. А. Канке, 2011. - 368 с. - Текст : непосредственный. Перминов В.Я. Философия и основания математики / В. Я. Перминов, 2001. - 319 с. - Текст : непосредственный. Канке В.А. Философия логики, математики, информатики и синергетики : учебное пособие / В. А. Канке, 2007. - 78 с. - Текст : непосредственный. Философия математики и технических наук / С. А. Лебедев, А. Д. Гетманова, А. А. Григорян [и др.], 2006. - 778 с. - Текст : непосредственный. Манин Ю.И. Математика как метафора / Ю. И. Манин, 2008. - 400 с. - Текст : непосредственный. Целищев В.В. Нормативность дедуктивного дискурса: феноменология логических констант : монография / В. В. Целищев, 2004. - 339 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
