Приложение
для AndroidПолное описание
Герасимов, А. С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов. - СПб., 2007. - 15 с. - Библиогр.: с. 13-15. - 100 экз. - Текст : непосредственный.
В надзаг.: С.-Петерб. гос. ун-т
| ГРНТИ | УДК | |
| 27.03.19 | 510.644(043) | |
| 03.91 |
Кл.слова (ненормированные): Методические материалы - Методология
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар07-7296)
Шифр в сводном ЭК: 1bad5d4bd54502a38c88933f6f573756
Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Герасимов А.С. Алгебра процессов превращения нуклидов / А. С. Герасимов, Т. С. Зарицкая, А. П. Рудик, 1992. - 6 с. - Текст : непосредственный.Стационарная трансмутация продуктов деления / А. С. Герасимов, Т. С. Зарицкая, Г. В. Киселев, А. П. Рудик, 1992. - 18 с. - Текст : непосредственный.
Земблинов С.В. Восстановление станций и узлов / С. В. Земблинов, А. С. Герасимов, Н. И. Тышкевич, 1944. - 232 с. - Текст : непосредственный.Герасимов А.С. Разработка методики, алгоритмов и программного комплекса для экспресс-анализа устойчивости безитерационного расчета области существования режима сложного энергообъединения в пространстве активных мощностей генераторов : автореф. дис. .. канд. техн. наук: 05.14.02 / А. С. Герасимов, 2002. - 21 с. - Текст : непосредственный.Использование плутония в электроядерных и реакторных энергетических установках / А.С.Герасимов,Т.С.Зарицкая,Г.В.Киселев,А.П.Рудик, 1992. - 23 с. - Текст : непосредственный.Влияние протактиния-233 на образование урана-233 в тории-232 в бланкетах электроядерных установок / А.С.Герасимов,Т.С.Зарицкая,Г.В.Киселев,А.П.Рудик, 1992. - 10 с. - Текст : непосредственный.Герасимов А.С. Курс математической логики и теории вычислимости : учеб. пособие / А. С. Герасимов, 2011. - 284 с. - Текст : непосредственный.Герасимов А.С. Восстановление станций местными средствами / А. С. Герасимов, Н. И. Тышкевич, 1942. - 82, [2] с. - Текст : непосредственный.Ветеринарно-санитарные требования по обеспечению безопасности производства мяса и мясопродуктов / М. П. Бутко [и др.]; под общ. ред. М. П. Бутко, 2017. - 332 с. - Текст : непосредственный.Сравнение радиологической опасности быстрых реакторов и электроядерных реакторов при трансмутации плутония и ДРАО / А.С.Герасимов,Т.С.Зарицкая,Г.В.Киселев,А.П.Рудик, 1994. - 18 c. - Текст : непосредственный.Герасимов А.С. Курс математической логики и теории вычислимости : Учебное пособие / А. С. Герасимов, 2010. - 250 с. - Текст : непосредственный.Герасимов А.С. Стратегия радиохимической переработки отработавшего ядерного топлива АЭС / А. С. Герасимов, Т. С. Зарицкая, Г. В. Киселев, 1995. - 25 c. - Текст : непосредственный.Герасимов С.В. Гравитация. Альтернативная наука / С. В. Герасимов, А. С. Герасимов, 2013. - 179 с. - Текст : непосредственный.Герасимов А.С. Физические характеристики "связанных" бланкетов / А. С. Герасимов, Т. С. Зарицкая, А. П. Рудик, 1994. - 12 c. - Текст : непосредственный.Влияние спектра нейтронов на выжигание станционного плутония / А.С.Герасимов,Т.С.Зарицкая,Г.В.Киселев,А.П.Рудик, 1990. - 20 с. - Текст : непосредственный.Герасимов А.С. Связь сопряженных функций и плотностей нейтронов в многогрупповом приближении теории возмущений / А. С. Герасимов, Т. С. Зарицкая, А. П. Рудик, 1992. - 12 с. - Текст : непосредственный.Герасимов А.С. Оценка надежности оснований, сложенных вечномерзлыми грунтами, с учетом их реологических свойств : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.23.02 / А. С. Герасимов, 1993. - 32 с. - Текст : непосредственный.Герасимов А.С. Курс математической логики и теории вычислимости : учеб. пособие / А. С. Герасимов, 2014. - 409 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
| |
Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 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. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Chen Y. Meshless methods in solid mechanics / Y. Chen, J. Lee, A. Eskandarian, 2006 r=on-lineRomano A. Continuum mechanics using mathematica ® / A. Romano, A. Marasco, R. Lancellotta, 2006 r=on-lineTeodorescu P.P. Mechanical systems, classical models / P. P. Teodorescu, 2007 r=on-lineИванова О.А. Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. А. Иванова, 2007. - 15 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Разностные схемы : сборник№ 5 / Ред. В. Г. Дулов, 1989. - 162 с. - Текст : непосредственный.Хованский А.Д. Геохимия аквальных ландшафтов / А. Д. Хованский, 1993. - 239 c. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Кузнецов П.Б. Основы нечеткой математики. Теория нечетких множеств / П. Б. Кузнецов, Ю. К. Оленикова, 2003. - 154 с. - Текст : непосредственный.Арсеньев Д.Г. Адаптивное управление в стохастических методах вычислительной математики и механики : учебное пособие / Д. Г. Арсеньев, В. М. Иванов, М. Л. Кореневский, 2008. - 423 с. - Текст : непосредственный.Цивинский С.В. Специальная теория относительности, понятие времени, новая возможность уточнения классической механики и зависимость физических свойств от скорости движения / С. В. Цивинский, 1989. - 33 л. - Текст : непосредственный.Численные методы механики сплошной среды : материалы временных коллективов / АН СССР, Сибирское отделение, 1991. - 171 с. - Текст : непосредственный.
Показать все результатыГерасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.
Кочергин А.В. О глубине функций многозначной логики : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / А. В. Кочергин, 2013. - 11 с. - Текст : непосредственный.Панин Д.Ю. О порождении монотонных функций из некоторых классов многозначной логики : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Д. Ю. Панин, 2014. - 11 с. - Текст : непосредственный.Золотых Н.Ю. Расшифровка пороговых и близких к ним функций многозначной логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / Н. Ю. Золотых, 1998. - 12 с. - Текст : непосредственный.Дудакова О.С. О конечной порожденности предполных классов монотонных функций многозначной логики : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / О. С. Дудакова, 2007. - 8 с. - Текст : непосредственный.Подолько Д.К. О классах функций многозначной логики, замкнутых относительно усиленной операции суперпозиции : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Д. К. Подолько, 2014. - 14 с. - Текст : непосредственный.Андреев А.А. О сложности функций многозначной логики в некоторых неполных базисах : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / А. А. Андреев, 2016. - 16 с. - Текст : непосредственный.Бухман А.В. Об алгоритмической сложности распознавания свойств дискретных функций, заданных полиномами : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / А. В. Бухман, 2013. - 16 с. - Текст : непосредственный.Селезнева С.Н. О свойствах полиномов над конечными полями и об алгоритмической сложности распознавания свойств функций многозначных логик, представленных полиномами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / С. Н. Селезнева, 2000. - 14 с. - Текст : непосредственный.Старостин, Михаил Васильевич. Критериальная система неявно предполных классов в трехзначной логике : специальность 01.01.09 - "Дискретная математика и математическая кибернетика": автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Старостин Михаил Васильевич, 2021. - 11 с. - Текст : непосредственный.Мещанинов, Дмитрий Германович. Аддитивные представления и замкнутые классы функций многозначной логики : специальность 01.01.09 - дискретная математика и математическая кибернетика: автореферат диссертации на соискание ученой степени доктора физико-математических наук / Мещанинов Дмитрий Германович, 2022. - 30 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
| |
Заказ фрагмента документа ₽