Приложение
для AndroidПолное описание
Содержание:
| ГРНТИ | УДК | |
| 27.03.19 | 510 | |
| 27.03.17 | ||
| 27.03.45 |
Рубрики:
Математическая логика
Алгоритмы
Аннотация: Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики. Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».
Доп. точки доступа:
Шурова, Л.М.
Зайцева, Е.В.
Электронная библиотечная система ZNANIUM
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-06/28993)
Шифр в сводном ЭК: 59b61170c082f58f8fd226084c279d61
Зайцева Е.В. Разработка метода построения и проектирования информационных систем экологического мониторинга : специальность 05.13.06 "Автоматизация и управление технологическими процессами и производствами(по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн.наук / Е. В. Зайцева, 1995. - 20 с. - Текст : непосредственный.Гурова Л.М. Математическая логика и теория алгоритмов / Л. М. Гурова, Л. М. Шурова, Е. В. Зайцева, 2006. - 262 с. (Введено оглавление). - Текст : электронный.
Зайцева Е.В. Делопроизводство и документооборот в системе государственного и муниципального управления : рекомендовано методсоветом ВУЗа / Е. В. Зайцева, Н. В. Гончарова, 2017. - 176 с. - Текст : электронный.Зайцева Е.В. Цифровая обработка сигналов и изображений : учебное пособие / Е. В. Зайцева, А. Г. Костевич, М. И. Курячий, 2018. - 219 с. - Текст : непосредственный.Горный информационно-аналитический бюллетень : научно-технический журнал. № 5спец. вып. 12. Научно-методическое обеспечение выбора и обоснования стратегий развития технологических систем цементных производств / Е. В. Зайцева, В. В. Агафонов, 2019. - 40 с. - Текст : непосредственный.Организационно-кадровый потенциал университета: методология и методика измерения : монография / Е. В. Зайцева [и др.], 2016. - 212 с. - Текст : непосредственный.Зайцева Е.В. Спироциклические нитроксильные моно- и бирадикалы 3-имидазолина - предшественники парамагнитных функциональных материалов : автореф. дис. .. канд. хим. наук: 02.00.03 / Е. В. Зайцева, 2014. - 21 с. - Текст : непосредственный.Зайцева Е.В. Метод решения задач о взаимодействии трещин : автореф. дис. .. канд. физ.-мат. наук: 01.02.04 / Е. В. Зайцева, 2005. - 19 с. - Текст : непосредственный.Институциональные резервы инновационного развития экономики России / П. С. Толкачев [и др.], 2009. - 214 с. - Текст : непосредственный.Зайцева Е.В. Регулирование национальной платежной системы России: состояние и перспективы развития : автореф. дис. .. канд. экон. наук: 08.00.10 / Е. В. Зайцева, 2013. - 26 с. - Текст : непосредственный.Зайцева Е.В. Особенности расчета свайных фундаментов в двухслойном основании с нижним песчаным слоем : автореф. дис. .. канд. техн. наук: 05.23.02 / Е. В. Зайцева, 2006. - 19 с. - Текст : непосредственный.Зайцева Е.В. Совершенствование институциональных форм научно-образовательной сферы как фактор инновационного развития экономики России : автореф. дис. .. канд. экон. наук: 08.00.05 / Е. В. Зайцева, 2011. - 23 с. - Текст : непосредственный.Горный информационно-аналитический бюллетень : научно-технический журнал. № 7спец. вып. 22. Научно-методическая база обеспечения стратегии развития горноперерабатывающих производств / Е. В. Зайцева, В. В. Агафонов, А. С. Оганесян, В. В. Снигирев, 2019. - 44 с. - Текст : непосредственный.Некоторые экологические аспекты развития добычи нерудного строительного сырья в России / С. А. Вохмин [и др.]. - Текст : непосредственный // Недропользование - XXI век. - М. - 2012. - № 4. - с. 70-72Зайцева Е.В. Тяжёлые металлы в почве и растительности на приусадебных участках в микрорайоне Гайва г. Перми / Е. В. Зайцева, Е. В. Пименова. - Текст : непосредственный // Молодежная наука 2016: технологии, инновации : материалы Всерос. науч.-практ. конф. молодых ученых, аспирантов и студентов, Пермь, 14-18 марта 2015 г. : в 3 ч. / Перм. гос. с.-х. акад. им. Д. Н. Прянишникова. - Пермь : ПрокростЪ, 2016. - Ч. 1. - с. 174-176Воронина Л.И. Технологии публичного управления : учебное пособие / Л. И. Воронина, Е. В. Зайцева, С. Н. Костина; под общей редакцией Л. И. Ворониной, 2019. - 168, [1] с. - Текст : непосредственный.Справочник руководителя учреждения культуры. - Журнал, 2002г. № 5.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Пастоев И.Л. Гидропневмопривод / И. Л. Пастоев, Н. И. Берлизев, В. Ф. Еленкин, 1997. - 32 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Певзнер М.Е. Горный аудит / М. Е. Певзнер, 1999. - 215 с. - Текст : непосредственный.Даянц Д.Г. Управление персоналом на горных предприятиях / Д. Г. Даянц, Н. П. Романова, 2001. - 299 с. - Текст : непосредственный.Каркашадзе Г.Г. Механическое разрушение горных пород / Г. Г. Каркашадзе, 2004. - 222 с. - Текст : непосредственный.Куликова Е.Ю. Теоретические основы защиты окружающей среды в горном деле / Е. Ю. Куликова, 2005. - 611 с. - Текст : непосредственный.Лактионов Б.И. Метрология и взаимозаменяемость / Б. И. Лактионов, Я. М. Радкевич, 1995. - 215 c. - Текст : непосредственный.Кутузов Б.Н. Разрушение горных пород взрывом. Взрывные технологии в промышленности : Учеб. для вузов по направлению "Горное дело". Ч. 2, 1994. - 445 с. - Текст : непосредственный.Рациональное природопользование в горной промышленности / Ред. В. А. Харченко, 1995. - 443 c. - Текст : непосредственный.Ржевская С.В. Материаловедение / С. В. Ржевская, 2005. - 454 с. - Текст : непосредственный.Налоговая система России. Налогообложение горных предприятий / В. Т. Борисович, О. В. Лускатова, М. С. Власова, Л. Г. Хазанов ; Ред. М. А. Ревазов, 2006. - 284 с. - Текст : непосредственный.Зайков В.И. Эксплуатация горных машин и оборудования / В. И. Зайков, Г. П. Берлявский, 2006. - 257 с. - Текст : непосредственный.Хошмухамедов И.М. Монтаж, наладка и эксплуатация электрооборудования / И. М. Хошмухамедов, А. В. Пичуев, 2006. - 336 с. - Текст : непосредственный.Кутузов Б.Н. Технология и безопасность изготовления и применения взрывчатых веществ на горных предприятиях / Б. Н. Кутузов, Г. А. Нишпал, 2001. - 246 с. - Текст : непосредственный.Технология многофронтальной отработки запасов угля выемочных блоков / Ю. Н. Кузнецов, А. М. Рыжов, А. Е. Евтушенко, 1994. - 167 c. - Текст : непосредственный.Томаков П.И. Открытая разработка угольных и рудных месторождений / П. И. Томаков, В. В. Манкевич, 2000. - 611 с. - Текст : непосредственный.Горное дело и охрана окружающей среды / М. Е. Певзнер, А. А. Малышев, А. Д. Мельков, В. П. Ушань, 2000. - 298 с. - Текст : непосредственный.Лаевская А.С. Программирование в среде СУБД FOXPRO 2.5 / А. С. Лаевская, 1998. - 62 с. - Текст : непосредственный.Велесевич В.И. Планирование на горном предприятии / В. И. Велесевич, С. С. Лихтерман, М. А. Ревазов, 2005. - 405 с. (Введено оглавление). - Текст : электронный.Шаронов А.В. Методы функционального анализа в теории систем автоматического управления / А. В. Шаронов, 2005. - 246 с. (Введено оглавление). - Текст : электронный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 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. - Текст : непосредственный.HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный.Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный.Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный.Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов / А. А. Шалыто, 2000. - 780 с. - Текст : непосредственный.HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный.Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный.Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный.Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный.Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный.Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный.Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный.Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный.Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.
Показать все результатыМир математики : в 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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽
Просмотр издания