?
Введение в математическую логику
М. :
ФГУП ГНЦ РФ ВНИИгеосистем, 2011.
Назаренко М. А., Духнина Л. С., Напеденина А. Ю.
Язык:
русский
Ключевые слова: математическая логика
Артёмов С. Н., Беклемишев Л. Д., Гончаров С. С. и др., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Добавлено: 27 декабря 2025 г.
Учебное пособие предназначено для изучения информатики на базовом уровне в 8 классе общеобразовательных организаций. Учебное пособие содержит теоретический материал курса, вопросы и задания для закрепления знаний. В конце каждой главы в схематическом виде представлена система основных понятий этой главы.
Учебное пособие соответствует требованиям Федерального государственного образовательного стандарта основного общего образования. ...
Добавлено: 25 июня 2024 г.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Добавлено: 12 ноября 2023 г.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Добавлено: 12 ноября 2023 г.
Семакин И. Г., Залогова Л. А., Русаков С. В. и др., М.: Просвещение, 2022.
Учебник предназначен для изучения в 8 классе общеобразовательной школы. Учебник содержит теоретический материал курса, материалы для закрепления знаний. В конце каждой главы в схематическом виде представлена схема основных понятий. Некоторые главы содержат дополнительный раздел, предназначенный для изучения темы на углубленном уровне.
Учебник допущен к использованию в соответствии с Приказом Министерства просвещения Российской Федерации №254 от 20.05.20 ...
Добавлено: 31 октября 2022 г.
Передерин Д. А., Карпов Ю. Г., СПб.: Санкт-Петербургский государственный политехнический университет, 2016.
Данное пособие предназначено для студентов второго и третьего курсов как методические рекомендации при разработке структур логического управления дискретными системами. ...
Добавлено: 29 октября 2018 г.
Пахомов Ф. Н., Известия РАН. Серия математическая 2016 Т. 80 № 6 С. 173–216
Полимодальная логика доказуемости
GLP была введена Г. К. Джапаридзе в 1986 г. Она является логикой доказуемости для ряда цепочек предикатов доказуемости возрастающей силы. Всякой полимодальной логике соответствует многообразие полимодальных алгебр. Л. Д. Беклемишевым и А. Виссером был поставлен вопрос о разрешимости элементарной теории свободной GLP-алгебры, порожденной константами 0, 1 [1]. В этой статье для любого натурального n решается аналогичный вопрос для логик GLPn, являющихся ...
Добавлено: 4 декабря 2017 г.
Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2018.
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания ...
Добавлено: 2 декабря 2017 г.
Улан-Удэ: Издательство Бурятского госуниверситета, 2017.
Сборник содержит материалы 5-й школы-семинара «Синтаксис и семантика логических систем», проходившей в Улан-Удэ с 8 по 12 августа 2017 г. Тематика конференции включает следующие направления: теория моделей и универсальная алгебра; теория булевых и конечнозначных функций; формальные языки и логические исчисления; математическая логика в образовании; ...
Добавлено: 22 сентября 2017 г.
Набебин А. А., М.: Издательство МЭИ, 1996.
Излагаются основные понятия математической логики и формального вывода, теории графов, комбинаторики, теории конечных автоматов в ее связи с монадической логикой. Рассматривается резолютивный вывод и на его основе вводится универсальный язык программирования Пролог. Программируются некоторые алгоритмы на графах, в комбинаторике, в теории конечных автоматов при переходе от формул монадической логики к автоматам, которые эти формулы описывают. ...
Добавлено: 21 июня 2016 г.
Эта книга является учебным пособием по математической логике и теории алгоритмов. Она написана на основе материалов курса "Дискретный анализ", читаемого многие годы для студентов факультета управления и прикладной математики Московского физико-технического института.
Для студентов, специализирующихся на прикладной математике. ...
Добавлено: 17 октября 2014 г.
Карпенко И. А., , in: Logical InvestigationsVol. 19: Special Issue.: M., St. Petersburg: humanitarian initiatives center, 2013. P. 308–325.
Статья посвящена проблеме перевода и погружения одних логических языков и/или теорий в другие. ...
Добавлено: 13 марта 2014 г.
Kazan: -, 2013.
Труды 7-ого весеннего/летнего коллоквиума молодых исследователей в области программной инженерии (SYRCoSE 2013), 30-31 мая 2013 г. - Казань, Россия.
Сборник содержит статьи, представленные на 7-ом весеннем/летнем коллоквиуме молодых исследователей в области программной инжeнерии (SYRCoSE 2013), проводимом в Казани З0 и 31 мая 2013 г. Отбор статей производился на основе рецензирования материалов программным комитетом. На коллоквиум допускались ...
Добавлено: 8 июня 2013 г.
Гришкина М. П., Боголюбов Д. П., Приборы и системы. Управление, контроль, диагностика 2013 № 3 С. 17–24
В статье рассматриваются различные формы логических рассуждений: дедукция, индукция и абдукция. Приведены алгоритм абдуктивного вывода и примеры формирования объяснений в задачах принятия решений при неполной информации о проблемной области. ...
Добавлено: 3 апреля 2013 г.
Ахметсафина Р. З., Авдошин С. М., Информатика 2012 № 11 С. 24–43
Предложен подход к определению количества решений систем однородных логических уравнений, основанный на поиске количества путей между вершинами многодольных графов. ...
Добавлено: 14 марта 2013 г.
Николенко С. И., , in: Logic in Central and Eastern Europe: History, Science, and Discourse.: Lanham: University Press of America, 2012. P. 388–427.
The Markov School is the school of mathematics (mostly mathematical logic) arisen in St.Petersburg in the 20th century. Historically, the Markov School has been largely connected with the Steklov Mathematical Institute in St. Petersburg. Today, many Markov School mathematicians have taken up positions in different countries; of course, we do not attempt to restrict this ...
Добавлено: 13 февраля 2013 г.
Камкин А., Петренко А., Терехов А., Perm: -, 2012.
Сборник содержит статьи, представленные на 6-ом весеннем/летнем коллоквиуме молодых исследователей в области программной инженерии (SYRCoSE 2012), проводимом в Перми 30 и 31 мая 2012 г. Отбор статей производился на основе рецензирования материалов программным комитетом. На коллоквиум допускались как полные статьи, так и краткие сообщения, описывающие текущие исследования.
Программа коллоквиума охватывает следующие темы: технологии разработки программ; языки ...
Добавлено: 20 сентября 2012 г.
Набебин А. А., М.: Научный мир, 2009.
Пособие содержит набор индивидуальных заданий с примерами решений для студентов по курсу дискретной математики и предназначено для обеспечения самостоятельной работы студентов по освоению курса. Пособие предназначено для студентов высших учебных заведений, специализирующихся в областях прикладной математики, вычислительной техники, программирования, информатики. ...
Добавлено: 28 мая 2012 г.