Полное описание
Импликативная алгебра выбора и непрерывная логика в прикладных задачах науки и техники. - Ульяновск : [б. и.], 2002. - 97 с. : ил. - (Труды ; т.2). - 150 экз. - Текст : непосредственный.
ГРНТИ УДК 27.17.21 512.56(062) 27.03.19 510(062) 03.91
Рубрики: Алгебра логики -- Съезды и конференции
Математическая логика -- Съезды и конференции
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- КОНФЕРЕНЦИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- СЪЕЗД
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/58979/2)
Шифр в сводном ЭК: 6d168050673747483a7ddee5aeee3d69
Труды Кольского научного центра РАН. 6/2015(32) : Гелиогеофизикавып. 1 / гл. ред. Ю. Л. Войтеховский, 2015. - 169 с. - Текст : непосредственный. Актуальные вопросы механики, электроники, физики Земли и нейтронных методов исследований : материалы временных коллективов / Стерлитамакский гос. пед. ин-т, 1997. - 127 с. - Текст : непосредственный. Труды Кольского научного центра РАН. 7/2015(33) : Гуманитарные исследованиявып. 8, 2015. - 202 с. - Текст : непосредственный. Исследования по теории дифференцируемых функций многих переменных и ее приложениям. Ч. 16 / Под ред. С. М. НикольскогоРос. АН, 1993. - 305 с. - Текст : непосредственный. Исследования по теории дифференцируемых функций многих переменных и ее приложениям. Ч. 15 / Редкол.: Л. Д. Кудрявцев (гл. ред.) и др.Рос. АН.., 1992. - 343 с. - Текст : непосредственный. Физика жидкостей, твердых тел и электролитов. Оптика и прикладные вопросы : материалы временных коллективов, 1997. - 217 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Импликативная алгебра выбора и непрерывная логика в прикладных задачах науки и техники, 2002. - 97 с. - Текст : непосредственный. Нейронные сети и модели : Сб.ст. / Под ред.Л.И.Волгина, 1998. - 108 с. - Текст : непосредственный. Реляторные и непрерывнологические сети и модели : Сб.ст. / Под ред.Л.И.Волгина, 1998. - 107 с. - Текст : непосредственный. Математические и физические модели технических объектов : Сб.ст. / Ред. Л. И. Волгин, 1998. - 95 с. - Текст : непосредственный. Кружков С.Н. Труды / С.Н.Кружков;Сост.Н.С.Бахвалов и др., 2000. - 334 с. - Текст : непосредственный. Логико-алгебраические методы в науке, технике и экономике, 2000. - 141 с. - Текст : непосредственный. Нейронные сети и искусственный интеллект в задачах науки, техники и экономики, 2000. - 135 с. - Текст : непосредственный. Боровков А.А. Большие уклонения и проверка статистических гипотез / А.А.Боровков,А.А.Могульский;Отв.ред.М.М.Лаврентьев, 1992. - 221 с. - Текст : непосредственный. Буслов М.М. Тектонические покровы Горного Алтая / М.М.Буслов;Отв.ред.Н.А.Берзин, 1992. - 96 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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-line Romano A. Continuum mechanics using mathematica ® / A. Romano, A. Marasco, R. Lancellotta, 2006 r=on-line Teodorescu P.P. Mechanical systems, classical models / P. P. Teodorescu, 2007 r=on-line Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный. Иванова О.А. Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики : специальность 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 с. - Текст : непосредственный. Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный. Показать все результаты Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
22nd international symposium on multiple-valued logic,May 27-29,1992,Sendai : Proc. / International symposium on multiple-valued logic (22; 1992; Sendai), 1992. - XV,482 p. p. - Текст : непосредственный. Proceedings of the 18th International symposium on multiplevalued logic,May 24-26,1988,Palma de Mallorca / International symposium on multiplevalued logic (18; 1988; Palma de Mallorca), 1988. - XIII,422 p. p. - Текст : непосредственный. Десятая Всесоюзная конференция по математической логике, Алма-Ата, 1-3 нояб. 1990 г. : Тез. докл. / Всесоюзная конф. по мат. логике (10; 1990; Алма-Ата), 1990. - 176 c. - Текст : непосредственный. Higher order logic theorem proving and its applications : 6th intern.workshop,HUG'93,Vancouver,B.C.,Canada,Aug.11-13 1993:Proc. / Ed.: J. J. Joyce, C.-J.H. Seger, 1994. - IX,517 p. p. - Текст : непосредственный. Orders,algorithms and applications : Intern.workshop ORDAL'94,Lyon,July 4-8 1994:Proc. / ORDAL'94, 1994. - 204 p. - Текст : непосредственный. XI Межреспубликанская конференция по математической логике, Казань, 6-8 окт. : Тез.сообщ. / Межреспубликанская конф. по мат. логике (11; 1992; Казань), 1992. - 164 с. - Текст : непосредственный. Импликативная алгебра выбора и непрерывная логика в прикладных задачах науки и техники, 2002. - 97 с. - Текст : непосредственный. 1 Всероссийская научная конференция "Непрерывная логика и ее применение в технике, экономике и социологии" : Тезисы докл.22-23 сент.1994 г. / "Непрерывная логика и ее применение в технике, экономике и социологии",всерос. науч. конф. (1; 1994; Пенза), 1994. - 142 c. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
