Полное описание
Кравченко, А. В. ISBN 978-5-4437-0314-5. - Текст : непосредственный.
ГРНТИ УДК 27.03.19 510(076.1) 03.91
Рубрики: Математическая логика -- Учебники и пособия
Доп. точки доступа: Кудинов, О.В.
Новосибирский гос. ун-т. Мех.-мат. факультет. Кафедра дискретной математики и информатики
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-14/17559)
Шифр в сводном ЭК: b30a8dbe530c7e91d5df02c6dd0a1d25
Высокоавтоматизированный самолет: теория и практика летной эксплуатации / В. Н. Рисухин, С. Г. Тульский, В. В. Козлов [и др.], 2011. - 279 с. - Текст : непосредственный. Кравченко А.В. Основы менеджмента / А. В. Кравченко, 2002. - 33 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Кравченко А.В. Бизнес-планирование : Учеб.пособие для IY-Y курсов фак.бизнеса,ин-та дистанц.образования и слушателей УЦБ "Альтернатива" / А. В. Кравченко, Н. Ю. Логвинкова, В. Р. Мавлюкеев, 1999. - 51 с. - Текст : непосредственный. Кудинов О.В. Проблема описания автоустойчивых моделей / О.В.Кудинов, 1995. - 16 c. - Текст : непосредственный. Кравченко А.В. Фазовые соотношения в системе Pr-Ba-Cu-O и структурные особенности сложных купратов Pr Ba Cu O : Автореферат диссертации на соискание ученой степени канд. хим. наук :02.00.01 / А. В. Кравченко, 2002. - 22 с. - Текст : непосредственный. Кравченко А.В. Сборник задач по математической логике (исчисления предикатов, теория моделей, теория вычислимости) : учеб. пособие / А. В. Кравченко, О. В. Кудинов, 2014. - 75 с. - Текст : непосредственный. Кравченко А.В. Повышение эффективности летной эксплуатации воздушных судов нового поколения средствами автоматической коррекции посадочной траектории полета : автореф. дис. .. канд. техн. наук: 05.22.14 / А. В. Кравченко, 2003. - 20 с. - Текст : непосредственный. Кудинов О.В. Автоустойчивость конструктивных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный. Драгунова, Е. В. Экономика и организация предприятия : учеб. пособие. Ч. 1, 2009. - 195 с. - Текст : непосредственный. Перистый М.М. Пути снижения техногенной нагрузки сталеплавильного производства на окружающую среду / М.М. Перистый, А.В. Кравченко . - Текст : непосредственный // Электрометаллургия. - М. - 2008. - № 9. - с. 41-44 Горохова К.С. Влияние экологических факторов среды на здоровье населения города Новороссийска / К. С. Горохова, И. Н. Воблая, А. В. Кравченко. - Текст : непосредственный // Экологическое благополучие и здоровый образ жизни человека в 21 веке: политико-правовые, социально-экономические и психолого-гуманитарные аспекты : материалы международной научно-практической конференции, 23-24 ноября 2017 года, г. Новороссийск / Московский гуманитарно-экономический университет, Новороссийский институт (филиал) ; под общ. ред. В. В. Пономарева, Т. А. Куткович. - Новороссийск ; Ставрополь : Логос, 2017. - Ч. 1. - с. 44-47 Значимые находки растений, лишайников и грибов на территории Мурманской области / А. В. Кравченко [и др.]. - Текст : непосредственный // Труды Карельского научного центра Российской академии наук. - Петрозаводск : Карел. науч. центр РАН, 2017. - № 7(2017). - с. 34-50 Кравченко А.В. Универсальные хорновы классы графов и формальных языков : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / А. В. Кравченко, 1999. - 14 с. - Текст : непосредственный. Кравченко А.В. Исследование кинетики возбуждения импульсных газоразрядных лазеров на парах металлов в продольном и поперечном разрядах с применением автомодельных решений : автореф. дис. .. канд. физ.-мат. наук: 01.04.03 / А. В. Кравченко, 2009. - 19 с. - Текст : непосредственный. Кравченко А.В. Таможенные платежи и таможенная стоимость в различных таможенных процедурах : учебное пособие / А. В. Кравченко, 2017. - 175 с. - Текст : непосредственный. Кравченко А.В. Влияние природы межфазной поверхности на кислотно-основные и адсорбционные свойства катализаторов жидкофазной гидрогенизации : автореф. дис. .. канд. хим. наук: 02.00.04 / А. В. Кравченко, 2013. - 16 с. - Текст : непосредственный. Кравченко А.В. Теоретические основы международной торговли : учебное пособие / Кравченко А. В., Гужва Е. Г., 2021. - 122 с. - Текст (визуальный) : непосредственный. Самуэльсон, Пол Э. Экономика / Пол Э. Самуэльсон, Вильям Д. Нордхаус; перевод с английского О. Л. Пелявского; под ред. А. В. Кравченко и А. А. Старостиной, 2020. - 1325 с. - Текст (визуальный) : непосредственный. Показать все результаты Романов В.Г. Обратные задачи для дифференциальных уравнений, 1973. - 252 с. - Текст : непосредственный. Вестник Новосибирского государственного университета. Серия: Информационные технологии : науч. журн. Т. 14№ 1, 2016. - 117 с. - Текст : непосредственный. Яковлев Б.А. Промышленная собственность : выставочные материалы / Б. А. Яковлев, 2016. - 290 с. - Текст : непосредственный. Вестник Новосибирского государственного университета. Серия: Информационные технологии : науч. журн. Т. 12вып. 4, 2014. - 124 с. - Текст : непосредственный. Вестник Новосибирского государственного университета. Серия: Информационные технологии : науч. журн. Т. 13вып. 3, 2015. - 89 с. - Текст : непосредственный. Количественный элементный анализ органических веществ и материалов : выставочные материалы / Новосибирский гос. ун-т, 2014. - 89 с. - Текст : непосредственный. Вестник Новосибирского государственного университета. Серия: Социально-экономические науки : науч. журн. Т. 15Вып. 2, 2015. - 149 с. - Текст : непосредственный. Войтишек В.В. Курс лекций по математике для слушателей подготовительного отделения, 1973. - 165 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Математика в современном мире : материалы временных коллективов / Институт математики им. С. Л. Соболева (Новосибирск), Новосибирский гос. ун-т, 2017. - 591 с. - Текст : непосредственный. Науки о земле. Современное состояние / Новосибирский гос. ун-т, 2017. - 210 с. - Текст : непосредственный. Омелехина Н.В. Денежные обязательства в системе финансовых правоотношений / Н. В. Омелехина, 2015. - 2015 с. - Текст : непосредственный. Материалы 51-й Международной научной студенческой конференции "Студент и научно-технический прогресс". Информационные технологии : 12-18 апреля 2013 г. / Новосибирский гос. ун-т, 2013. - 271 с. - Текст : непосредственный. Воронин В.В. Задачи по математике для практических занятий в физико-математической школе / В. В. Воронин, Т. А. Воронина, 2016. - 423 с. - Текст : непосредственный. Менеджмент : материалы секции: материалы 53-й Mеждунар. науч. студен. конф. МНСК-2015, 11-17 апр. 2015 г., Новосибирск, 2015. - 95 с. - Текст : непосредственный. Вестник Новосибирского государственного университета. Серия: Информационные технологии : науч. журн. Т. 13вып. 1, 2015. - 139 с. - Текст : непосредственный. Сибирский журнал чистой и прикладной математики : научный журнал / Новосиб. гос. ун-т. - Журнал выходит с 2016г. - Текст : непосредственный. Геология. МНСК-2016 : материалы 54-й междунар. науч. студен. конф., 16-20 апр. 2016 г., 2016. - 129 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Показать все результаты Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный. Кусраев А.Г. Нерешенные нестандартные задачи / А. Г. Кусраев, С. С. Кутателадзе, 2000. - 19 с. - Текст : непосредственный. Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для студентов высш. учеб. заведений / В.И. Игошин, 2005. - 303 с. - Текст : непосредственный. Задачи по математической логике и теории алгоритмов : учебное пособие / Ю. В. Елисеева [и др.], 2017. - 80 с. - Текст : непосредственный. Глухов М. М. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие / М. М. Глухов [и др.], 2008. - 111 с. - Текст : непосредственный. Кузьмин О.В. Комбинаторные методы решения логических задач : Учеб. пособие / О. В. Кузьмин, 2006. - 189 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 2002. - 255 с. - Текст : непосредственный. Галушкина Ю.И. Математическая логика и теория алгоритмов в примерах и задачах : Учеб. пособие для студентов специальностей 210100(220201), 072000 (200503), 210200 / Ю. И. Галушкина, 2009. - 112 с. - Текст : непосредственный. Кузьмин О.В. Логические задачи : Учеб. пособие / О.В.Кузьмин, 1999. - 204 с. - Текст : непосредственный. Кравченко А.В. Сборник задач по математической логике (исчисления предикатов, теория моделей, теория вычислимости) : учеб. пособие / А. В. Кравченко, О. В. Кудинов, 2014. - 75 с. - Текст : непосредственный. Ашаев И.В. Дискретная математика и математическая логика в задачах государственных экзаменов по математике в ОмГУ : учеб. пособие / И. В. Ашаев, Ю. М. Ашаева, 2016. - 121 с. - Текст : непосредственный. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие / В. И. Игошин, 2008. - 303 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
