Приложение
для AndroidПолное описание
| УДК | |
| 510.6(075.32) |
| ББК | |
| 22.12я723 |
Кл.слова (ненормированные): Математика: общие работы -- Математика и статистика -- Теория алгоритмов -- Математическая логика -- Дискретная математика с элементами математической логики -- Основы математической логики -- Введение в математическую логику
Аннотация: В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
Доп. точки доступа:
Овчинникова, Елена Викторовна
Держатели документа:
Образовательная платформа «Юрайт» : 111123, г. Москва, ул. Плеханова, д.4А, комната 15 (Шифр в БД-источнике (URITE): RU/URAIT/587529)
Шифр в сводном ЭК: cbae4fd2f1cd1c3c547a36033bb477b4
Судоплатов, Сергей Владимирович. Классификация счётных моделей полных теорий: в 2 ч. Ч. 1 : Монография / С. В. Судоплатов, 2018. - 376 с. - Текст : электронный.Судоплатов, Сергей Владимирович. Классификация счетных моделей полных теорий: в 2 ч. Ч.2 : Монография / С. В. Судоплатов, 2018. - 452 с. - Текст : электронный.Бортовые антенные системы космических аппаратов : учебное пособие / Е. В. Овчинникова, П. А. Шмачилин, С. Г. Кондратьева, Э. В. Гаджиев, 2024. - 98 с. - Текст (визуальный) : непосредственный.Емельянов, Дмитрий Юрьевич. Алгебры бинарных формул : монография / Д. Ю. Емельянов, Б. Ш. Кулпешов, С. В. Судоплатов, 2023. - 329 с. - Текст (визуальный) : непосредственный.Основы проектирования бортовых антенных систем космических аппаратов : учебное пособие / Е. В. Овчинникова, П. А. Шмачилин, С. Г. Кондратьева, Э. В. Гаджиев, 2025. - 85 с. - Текст (визуальный) : непосредственный.Судоплатов, Сергей Владимирович. Математика: математическая логика и теория алгоритмов : учебник и практикум для спо / С. В. Судоплатов, Е. В. Овчинникова., 2026. - 255 с. - Текст : электронный.Судоплатов, Сергей Владимирович. Дискретная математика : учебник и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова., 2026. - 279 с. - Текст : электронный.Судоплатов, Сергей Владимирович. Математическая логика и теория алгоритмов : учебник и практикум для вузов / С. В. Судоплатов, Е. В. Овчинникова., 2026. - 207 с. - Текст : электронный.Судоплатов, Сергей Владимирович. Дискретная математика : учебник и практикум для спо / С. В. Судоплатов, Е. В. Овчинникова., 2026. - 279 с. - Текст : электронный.
Слагода В.Г. Основы экономики / В. Г. Слагода, 2003. - 215 с. - Текст : непосредственный.Худолеев В.В. Налоги и налогообложение / В. В. Худолеев, 2007. - 319 с. - Текст : непосредственный.Туревский И.С. Экономика отрасли (автомобильный транспорт) : учебное пособие / И. С. Туревский, 2008. - 287 с. - Текст : непосредственный.Этика деловых отношений / В. К. Борисов, Е. М. Панина, М. И. Панов [и др.], 2006. - 175 с. - Текст : непосредственный.Щербаков Е.Ф. Электроснабжение и электропотребление на предприятиях : выставочные материалы / Е. Ф. Щербаков, Д. С. Александров, А. Л. Дубов, 2012. - 494 с. - Текст : непосредственный.Маслов В.И. Сварочные работы / В. И. Маслов, 2003. - 234 с. - Текст : непосредственный.Кнышова Е.Н. Экономика организации / Е. Н. Кнышова, Е. Е. Панфилова, 2005. - 334 с. - Текст : непосредственный.Кошевая И.П. Метрология, стандартизация, сертификация : учебное пособие / И. П. Кошевая, А. А. Канке, 2009. - 414 с. - Текст : непосредственный.Овчинников В. В. Оборудование термических цехов : выставочные материалы / В. В. Овчинников, 2014. - 364 с. - Текст : непосредственный.Овчинников В.В. Технология изготовления сварных конструкций : выставочные материалы / В. В. Овчинников, 2015. - 208 с. - Текст : непосредственный.Овчинников В.В. Производство сварных конструкций : выставочные материалы / В. В. Овчинников, 2015. - 287 с. - Текст : непосредственный.Голицына О.Л. Программное обеспечение : учебное пособие / О. Л. Голицына, Т. Л. Партыка, И. И. Попова, 2008. - 447 с. - Текст : непосредственный.Дубовой Н.Д. Основы метрологии, стандартизации и сертификации : учебное пособие / Н. Д. Дубовой, Е. М. Портнов, 2008. - 255 с. - Текст : непосредственный.Герасимова Е.Б. Управление качеством : учебное пособие / Е. Б. Герасимова, Б. И. Герасимов, А. Ю. Сизикин, 2007. - 255 с. - Текст : непосредственный.Блинова Т.В. Основы бухгалтерского учета / Т. В. Блинова, 2005. - 204 с. - Текст : непосредственный.Чичерин И.И. Общестроительные работы / И. И. Чичерин, 2002. - 416 с. - Текст : непосредственный.Канке А.А. Анализ финансово-хозяйственной деятельности предприятия : учебное пособие / А. А. Канке, И. П. Кошевая, 2008. - 287 с. - Текст : непосредственный.Слагода В.Г. Экономическая теория : учебное пособие / В. Г. Слагода, 2008. - 367 с. - Текст : непосредственный.Кудина М.В. Основы экономики : учебное пособие / М. В. Кудина, 2008. - 351 с. - Текст : непосредственный.Кругликов Г.И. Настольная книга мастера профессионального обучения : учебное пособие / Г. И. Кругликов, 2008. - 272 с. - Текст : непосредственный.
Показать все результатыИгошин, Владимир Иванович. Математическая логика : Учебное пособие / Саратовский государственный университет им. Н.Г. Чернышевского, 2023. - 399 с. - Текст : электронный.Судоплатов, Сергей Владимирович. Математика: математическая логика и теория алгоритмов : учебник и практикум для спо / С. В. Судоплатов, Е. В. Овчинникова., 2026. - 255 с. - Текст : электронный.Скорубский, Владимир Иванович. Математическая логика : учебник и практикум для спо / В. И. Скорубский, В. И. Поляков, А. Г. Зыков., 2026. - 211 с. - Текст : электронный.
Просмотр издания Электронно-библиотечная система «Юрайт» , требуется авторизация