Полное описание
> Воротников, С. М. Практикум по введению в математическую логику / С. М. Воротников, В. А. Егоров, Л. Н. Матюшенко. - Комсомольск-на-Амуре : КнАГТУ, 1998. - 74 с. : ил. - 200 экз. - ISBN 5-7765-0081-8. - Текст : непосредственный. В надзаг.: Комс.-на-Амуре гос. техн. ун-т. Библиогр.: с.73 (13 назв.)
ГРНТИ УДК 27.03.19 510(076.5) 03.91
Рубрики: Математическая логика -- Учебники и пособия
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ПОСОБИЕ -- УЧЕБНИК
Доп. точки доступа: Егоров, В.А.
Матюшенко, Л.Н.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-98/39605)>
Шифр в сводном ЭК: 3c1245fca56a2cccaa0801da5c4699c7
Костенко А.В. Элементы теории аналитических функций и операционного исчисления в задачах и примерах / А. В. Костенко, С. М. Воротников, 2003. - 256 с. - Текст : непосредственный. Тычина П.А. Квазиоптимальный перелет космического аппарата с солнечным парусом между гелиоцентрическими круговыми орбитами / П. А. Тычина, В. А. Егоров, В. В. Сазонов, 1995. - 19 c. - Текст : непосредственный. Егоров В.А. Природа квантовых явлений. Кинетические модели взаимодействий элементарных частиц и ядер / В. А. Егоров, 2015. - 215 с. - Текст : непосредственный. Комплексно-автоматизированные производства и их компоненты : материалы временных коллективов / Ленинградский Дом науч.-технической пропаганды, 1991. - 72 c. - Текст : непосредственный. Егоров В.А. Мониторинг повреждений растительного покрова Северной Евразии пожарами по данным спутниковых наблюдений / В. А. Егоров, 2006. - 24 с. - Текст : непосредственный. Очерки экономической теории / Ю. Ф. Воробьев, К. А. Гореликов, А. Ю. Егоров [и др.], 2016. - 606 с. - Текст : непосредственный. Воротников С.М. Практикум по введению в математическую логику / С. М. Воротников, В. А. Егоров, Л. Н. Матюшенко, 1998. - 74 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Егоров В.А. Основы микропроцессорной техники : учебное пособие / В. А. Егоров, 2018. - 124 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Показать все результаты Воротников С.М. Практикум по введению в математическую логику / С. М. Воротников, В. А. Егоров, Л. Н. Матюшенко, 1998. - 74 с. - Текст : непосредственный. Тюрин С.Ф. Дискретная математика: практическая дискретная математика и математическая логика : учеб. пособие / С. Ф. Тюрин, Ю. А. Аляев, 2010. - 382 с. - Текст : непосредственный. Остапович, М. В. Математическая логика и теория алгоритмов. Практикум : учебное пособие. Ч. 1, 2017. - 115 с. - Текст : непосредственный. Авдеюк, Оксана Алексеевна. Практическое руководство к выполнению контрольных работ для студентов безотрывных форм обучения по курсам "Математическая логика и теория алгоритмов" и "Дискретная математика" : учебно-методическое пособие / О. А. Авдеюк, П. О. Медакин, 2021. - 66, [1] с. - Текст (визуальный) : непосредственный. Авдеюк, Оксана Алексеевна. Лекции и практикум по основам дискретной математики и математической логике : учебно-методическое пособие / О. А. Авдеюк, Л. В. Дружинина, И. В. Приходькова, 2021. - 315, [1] с. - Текст (визуальный) : непосредственный. Иванова, Надежда Николаевна. Математическая логика : практикум / Н. Н. Иванова, Н. А. Галанина, 2022. - 87, [1] с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽