Книга: «Математическая логика и теория алгоритмов. Учебник и практикум»
Серия: "Бакалавр. Академический курс" В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и... Издательство: "Юрайт" (2016)
ISBN: 978-5-9916-8277-0 |
Другие книги схожей тематики:
Автор | Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|---|
Судоплатов С.В. | Математическая логика и теория алгоритмов. Учебник и практикум для академического бакалавриата | В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний… — Юрайт, Бакалавр. Академический курс Подробнее... | 2016 | 949 | бумажная книга |
Судоплатов С., Овчинникова Е. | Математическая логика и теория алгоритмов Учебник и практикум для академического бакалавриата для СПО | В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний… — (формат: Твердая глянцевая, 255 стр.) Подробнее... | 2019 | 857 | бумажная книга |
Судоплатов С.В. | Математическая логика и теория алгоритмов. Учебник и практикум для академического бакалавриата | В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний… — ЮРАЙТ, Бакалавр. Академический курс Подробнее... | 2016 | 1228 | бумажная книга |
Судоплатов С.В. | Математика: математическая логика и теория алгоритмов. Учебник и практикум для СПО | В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний… — Юрайт, Профессиональное образование Подробнее... | 2019 | 949 | бумажная книга |
Судоплатов С.В. | Математика: математическая логика и теория алгоритмов. Учебник и практикум для СПО | В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний… — ЮРАЙТ, Профессиональное образование Подробнее... | 2019 | 1228 | бумажная книга |
Елена Викторовна Овчинникова | Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата | В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний… — ЮРАЙТ, Бакалавр. Академический курс электронная книга Подробнее... | 2016 | 579 | электронная книга |
Елена Викторовна Овчинникова | Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО | В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний… — ЮРАЙТ, Профессиональное образование электронная книга Подробнее... | 2019 | 579 | электронная книга |
См. также в других словарях:
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
Логика — Гр … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Теория вероятностей — График плотности вероятности нормального распределения одной из важнейших функций, изучаемых в рамках теории вероятностей … Википедия
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия