Приложение
для AndroidПолное описание
Петров, Ю. А. Логические проблемы абстракций бесконечности и осуществимости / Ю.А.Петров. - М. : Наука, 1967. - 164 с. - Текст : непосредственный.
В надзаг.:АН СССР.Науч.совет по комплекс. пробл. "Кибернетика", Секция философ. вопросов кибернетики. Библиогр.:с.160-162(82назв.)
| ГРНТИ | УДК | |
| 27.47 | 007:1 | |
| 27.03.19 | 510 |
Рубрики:
Кибернетика -- Философские вопросы
Математическая логика
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-67/10157)
Шифр в сводном ЭК: 37126d8a44e4e49f505e0e524bf77a5f
Егорова Е.Н. Налоговые системы России 20 зарубежных стран в 1991-1997 гг.: сравнительный анлиз полных налоговых ставок / Е. Н. Егорова, Ю. А. Петров, 1999. - 66 с. - Текст : непосредственный.Бовыкин В.И. Коммерческие банки Российской империи / В. И. Бовыкин, Ю. А. Петров, 1994. - 351 c. - Текст : непосредственный.
Захаров В.Н. История налогов в России. IX - начало ХХ века / В. Н. Захаров, Ю. А. Петров, М. К. Шацилло, 2006. - 295 с. - Текст : непосредственный.Петров Ю.А. Комплексная автоматизация управления предприятием. Информационные технологии - теория и практика / Ю. А. Петров, Е. Л. Шлимович, Ю. В. Ирюпин, 2001. - 159 с. - Текст : непосредственный.Дементьев Н.П. Построение и анализ свойств многомерных экономических индексов / Н.П.Дементьев,Ю.А.Петров, 1994. - 20 c. - Текст : непосредственный.Петров Ю.А. Конкурентный потенциал социально-трудовых отношений предприятий регионального АПК в условиях институциональных трансформаций / Ю. А. Петров, 2015. - 252 с. - Текст : непосредственный.Технологическая реконструкция и динамика общественного производства : Сб. науч. тр. / АН СССР, Сиб. отд-ние, Ин-т экономики и орг. пром. пр-ва, 1990. - 153 c. - Текст : непосредственный.Булатов Ю.И. АСУ железнодорожным транспортом металлургического завода / Ю. И. Булатов, Р. В. Лямбах, Ю. А. Петров, 1991. - 145 с. - Текст : непосредственный.Роль архивов в информационном обеспечении исторической науки : [сборник статей] / Сост. Е. А. Воронцова ; Ред.: В. Ю. Афиани, Ю. А. Петров, 2017. - 999 с. - Текст : непосредственный.Петров Ю.А. Инженерные расчеты в интегрированной среде MathCAD : Учеб.пособие / Ю.А.Петров,Н.А.Карапетова, 1999. - 166 с. - Текст : непосредственный.Богданов Г.И. Троицкий мост. Санкт-Петербург / Г. И. Богданов, Ю. А. Петров, В. И. Ярохно, 1999. - 127 с. - Текст : непосредственный.Петров Ю.А. Коммерческие банки Москвы : Конец Х1Х в.-1914 г. / Ю.А.Петров, 1998. - 367 с. - Текст : непосредственный.Петров Ю.А. Современные математические пакеты : Учеб. пособие / Ю.А.Петров, 2001. - 148 с. - Текст : непосредственный.Петров Ю.А. Логические проблемы абстракций бесконечности и осуществимости / Ю.А.Петров, 2004. - 164 с. - Текст : непосредственный.Петров Ю.А. Сберегательное дело в России : Вехи истории / Ю.А.Петров,С.В.Калмыков, 1995. - 365 c. - Текст : непосредственный.Егорова Е.Н. Сравнительный анализ налогообложения заработной платы в России и зарубежных странах в 1991-1995 годах / Е. Н. Егорова, Ю. А. Петров, С. В. Афонина, 1997. - 67 с. - Текст : непосредственный.Петров Ю.А. Логические проблемы абстракций бесконечности и осуществимости / Ю.А.Петров, 1967. - 164 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Басакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 1974. - 366 с. - Текст : непосредственный.Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Богомолова С.И. Словарь французско-русских соответствий терминологии математической кибернетики / С. И. Богомолова, 1994. - 81 c. - Текст : непосредственный.Neumann K. Operations research / K. Neumann, M. Morlock, 1993. - 779 p. - Текст : непосредственный.Ягофарова Д.И. Разработка и анализ алгоритмов для задачи выполнимости и ее обобщений на основе L-разбиения : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. физ.-мат. наук / Д. И. Ягофарова, 2006. - 18 с. - Текст : непосредственный.Зинченко А.С. Полиномиальные операторные представления конечнозначных функций : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Зинченко, 2006. - 18 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.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. - 47 с. - Текст : непосредственный.Супрун Д.Г. Методы оптимизации : Учеб. пособие. Ч. 1 : Задачи линейного программирования, 2008. - 82 с. - Текст : непосредственный.Тжаскалик Т. Введение в исследование операций с применением компьютера / Т. Тжаскалик, 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Карманов В.Г. Математическое программирование / В. Г. Карманов, 2004. - 263 с. - Текст : непосредственный.Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный.Дагаев Д.А. О сложности функций многозначной логики, принимающих два значения / Д. А. Дагаев, 2011. - 15 с. - Текст : непосредственный.Зароднюк Т.С. Вычислительные технологии поиска глобального экстремума в задаче оптимального управления с параллелепипедными ограничениями / Т. С. Зароднюк, 2011. - 19 с. - Текст : непосредственный.Поберий М.И. Вопросы комитетной полиэдральной отделимости конечных множеств / М. И. Поберий, 2011. - 18 с. - Текст : непосредственный.Васильев Ф.В. Методы оптимизации : учебник : в 2-х кн. Ч. 2 : Оптимизация в функциональных пространствах. Регуляризация. Аппроксимация, 2011. - С.627-1056. - Текст : непосредственный.Бабичева И.В. Исследование операций / И. В. Бабичева, В. Ф. Гавловская, Р. Г. Флаум, 2004. - 185 с. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Орехов Ю.В. Математическая логика / Ю. В. Орехов, Э. Ю. Орехов, 2006. - 161 с. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M. Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Лексаченко В.А. Дискретная математика. Математическая логика и теория множества / В. А. Лексаченко, 1998. - 49 с. - Текст : непосредственный.Тимофеева И.Л. Математическая логика / И. Л. Тимофеева, 2007. - 303 с. - Текст : непосредственный.Шрайнер П.А. О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями / П. А. Шрайнер, 1998. - 21 с. - Текст : непосредственный.Тишковский Д.Е. Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик / Д. Е. Тишковский, 1998. - 15 с. - Текст : непосредственный.Математическая логика и теория алгоритмов : выставочные материалы / Сост. Д. В. Ефимов, 2012. - 99 с. - Текст : непосредственный.Исследования по конструктивной математике и математической логике : Сб. 10, 1997. - 152 с. - Текст : непосредственный.Судоплатов С.В. Математическая логика и теория алгоритмов : учебное пособие / С. В. Судоплатов, Е. В. Овчинникова, 2008. - 224 с. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 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 с. - Текст : непосредственный.Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный.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 с. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽