Полное описание
Тарасенко, А. В.
ГРНТИ УДК 27.03.19 510 03.91
Рубрики: Математическая логика
Доп. точки доступа: Егорова, И.П.
Самарский гос. архитектурно-строит. ун-т
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-14/23946)
Шифр в сводном ЭК: 247578e724cc6200d405e256b8068a5a
Егорова И.П. Нелокальные краевые задачи для уравнений смешанного типа второго рода / И. П. Егорова, 2010. - 18 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Егорова И.П. Проектирование и реализация системы профессионально-направленного обучения математике студентов технических вузов : автореф. дис. .. канд. пед. наук: 13.00.08 / И. П. Егорова, 2002. - 27 с. - Текст : непосредственный. Егорова И.П. Теория вероятностей : сб. задач / И. П. Егорова, Н. В. Кшнякина, О. В. Фадеева, 2012. - 113 с. - Текст : непосредственный. Рогачева И.А. Предпринимательство и природопользование / И. А. Рогачева, В. А. Романов, А. В. Тарасенко, 2003. - 848 с. - Текст : непосредственный. Тарасенко А.В. Развитие механизма управления конкурентоспособностью промышленного предприятия : автореф. дис. .. канд. экон. наук: 08.00.05 / А. В. Тарасенко, 2005. - 20 c. - Текст : непосредственный. Егорова И.П. Типоморфные особенности барита как индикаторы генетического типа баритового оруденения : автореф. дис. .. канд. геол.-минерал. наук: 25.00.05 / И. П. Егореова, 2011. - 28 с. - Текст : непосредственный. Тарасенко А.В. Краевые задачи для нагруженных уравнений в уравнений с дробным дифференцированием : автореф. дис. .. канд. физ.-мат. наук: 01.01.02 / А. В. Тарасенко, 2013. - 19 с. - Текст : непосредственный. Тарасенко А.В. Разработка и исследование методов и моделей автоматической проверки текстов на соответствие требованиям технической документации : автореф. дис. .. канд. техн. наук: 05.13.17 / А. В. Тарасенко, 2009. - 20 с. - Текст : непосредственный. Тарасенко А.В. Механизм управления потребительским обществом и пути его совершенствования : автореф. дис. .. канд. экон. наук: 08.00.05 / А. В. Тарасенко, 2002. - 24 с. - Текст : непосредственный. Тарасенко А.В. Элементы математической логики : учеб. пособие / А. В. Тарасенко, И. П. Егорова, 2014. - 110 с. - Текст : непосредственный. Тарасенко А.В. Повышение качества токосъема на электрическом монорельсовом транспорте : автореф. дис. .. канд. техн. наук: 05.22.07 / А. В. Тарасенко, 2007. - 16 с. - Текст : непосредственный. Вершинин В.В. Лазерное возбуждение акустических волн в образцах, покрытых магнитооптической пленкой / В. В. Вершинин, А. В. Тарасенко, Г. И. Фролов, 1990. - 29 c. - Текст : непосредственный. Деркач А.А. Диалоговая модель принятия управленческих решений руководителем / А. А. Деркач, Г. С. Михайлов, А. В. Тарасенко, 2004. - 102 с. - Текст : непосредственный. Володин С.В. Программные продукты для экологов / С.В. Володин, А.Ю. Котов, А.В. Тарасенко. - Текст : непосредственный // Экология производства. - М. - 2006. - № 11. - с. 47-50. Володин С.В. Инвентаризация источников выбросов с помощью ЭПК РОСА / С.В. Володин, А.Ю. Котов , А.В. Тарасенко. - Текст : непосредственный // Экология производства. - М. - 2007. - № 5. - с. 84-87. Тарасенко А.В. Оценка качества окружающей среды Большой Москвы (Московский столичный регион) : автореф. дис. .. канд. геогр. наук: 25.00.36 / А. В. Тарасенко, 2004. - 26 c. - Текст : непосредственный. Тарасенко А.В. Контролируемая радикальная гомо- и сополимеризация стирола и метилметакрилата по механизму обратимой передачи цепи : автореф. дис. .. канд. хим. наук: 02.00.06 / А. В. Тарасенко, 2008. - 24 с. - Текст : непосредственный. Володин С.В. ЭПК РОСА - первая компьютерная программа для проектирования СЗЗ / С.В. Володин, А.Ю. Котов, А.В. Тарасенко. - Текст : непосредственный // Экология производства. - М. - 2007. - № 1. - с. 46-49. Показать все результаты Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Шрайберг, Яков Леонидович. Справочное руководство по основам информатики и вычислительной техники / Я. Л. Шрайберг, М. В. Гончаров, 1990. - 33 c. (Введено оглавление). - Текст : непосредственный. Казанцев А.В. Элементы математической логики : выставочные материалы / А. В. Казанцев, 2013. - 147 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Игошин В.И. Элементы математической логики : учебник / В. И. Игошин, 2018. - 331, [1] с. - Текст : непосредственный. Агарева О.Ю. Элементы математической логики : Учеб. пособие / О. Ю. Агарева, Ю. В. Селиванов, 2008. - 51 с. - Текст : непосредственный. Комиссаров В.В. Элементы математической логики : учеб. пособие для студентов специальности 09.02.04 Информ. системы (по отраслям) / В. В. Комиссаров, 2015. - 143 с. - Текст : непосредственный. Нестеренко Ю.П. Элементы математической логики : Учеб. пособие / Ю.П.Нестеренко, 1996. - 41 с. - Текст : непосредственный. Шум А.А. Элементы математической логики : Учеб. пособие / А.А.Шум, 2003. - 91 с. - Текст : непосредственный. Игошин В.И. Элементы математической логики : учебник / В. И. Игошин, 2017. - 314 с. - Текст : непосредственный. Литвиненко Ю.В. Элементы математической логики : Учеб. пособие / Ю.В. Литвиненко, 2005. - 92 с. - Текст : непосредственный. Морозова Е.В. Элементы математической логики : учебно-методическое пособие / Е. В. Морозова, Е. Н. Ломкова, 2017. - 95 с. - Текст : непосредственный. Игошин В.И. Элементы математической логики : учебник / В. И. Игошин, 2019. - 313, [1] с. - Текст : непосредственный. Тарасенко А.В. Элементы математической логики : учеб. пособие / А. В. Тарасенко, И. П. Егорова, 2014. - 110 с. - Текст : непосредственный. Дурнев В.Г. Элементы математической логики : Учеб. пособие / В. Г. Дурнев, 2006. - 221 с. - Текст : непосредственный. Показать все результаты Крестин Е.А. Гидравлика : выставочные материалы / Е. А. Крестин, 2014. - 188 с. - Текст : электронный. Барбарская М.Н. Организация финансов на микроуровне : выставочные материалы / М. Н. Барбарская, 2014. - 187 с. - Текст : электронный. Рыбакова Г.С. Основы архитектуры : выставочные материалы / Г. С. Рыбакова, А. С. Першина, Э. Н. Бородачева, 2015. - 126 с. - Текст : непосредственный. Сборник задач по общей химии : выставочные материалы / В. П. Егунов, О. М. Клименков, Л. Л. Негода [и др.], 2016. - 127 с. - Текст : непосредственный. Павлов Г.В. Некоторые задачи неголономной механики : выставочные материалы / Г. В. Павлов, 2014. - 257 с. - Текст : непосредственный. Рязанова Г.Н. Основы технологии возведения зданий и сооружений : выставочные материалы / Г. Н. Рязанова, А. Ю. Давиденко, 2016. - 229 с. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Пиявский С.А. Новые методы принятия решений: теория и приложения : монография / С. А. Пиявский, 2014. - 116 с. - Текст : непосредственный. Кивран В.К. Программирование в среде Visual C++ 6 : учеб. пособие / В. К. Кивран, 2014. - 117 с. - Текст : непосредственный. Веретенников Д.Б. Метод изучения и преемственного преобразования планировочных структур крупнейших городов : монография / Д. Б. Веретенников, 2016. - 230 с. - Текст : непосредственный. Веретенников Д.Б. Метод структурно-планировочной реорганизации крупнейших городов : учеб. пособие / Д. Б. Веретенников, 2016. - 95 с. - Текст : непосредственный. Математические методы в архитектуре и дизайне : материалы межвуз. науч. конф. (15 мая 2012 г.) / Самарский гос. архитектурно-строит. ун-т, 2013. - 77 с. - Текст : электронный. Расчет и проектирование канализационных очистных сооружений : метод. указания / А. К. Стрелков [и др.] ; ред. А. А. Сыромятников ; Самарский гос. архитектурно-строит. ун-т. Ч. 2 : Биологическая очистка и обработка осадка, 2013. - 68 с. - Текст : непосредственный. Вопросы инженерной геодезии в строительстве : межвуз. сб. науч. тр. / Самарский гос. архитектурно-строит. ун-т, 2012. - 70 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 Иванова О.А. Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики : специальность 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 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
