Жанр Математическая логика - скачать книги бесплатно или читать онлайн на ЛитПортал
bannerbanner

Математическая логика

Отображать сначала: популярныеновыеТОП лучших книг
Модели и методы искусственного интеллекта
аудиокнига
5
Год написания книги 2021
Рассмотрены основные этапы и направления развития искусственного интеллекта, особенности построения систем, основанных на знаниях, принципы функционирования и технология разработки экспертных сис…
Математическая логика и теория алгоритмов
аудиокнига
4
Год написания книги 2021
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории…
Математическая логика и теория алгоритмов
аудиокнига
5
Год написания книги 2021
Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены задачи различной сложности для решения на пр…
Теория игр. Для тех, кто хочет все успеть
аудиокнига
3
Год написания книги 2021
Если вы хотите управлять домочадцами, как Кутузов управлял огромным войском, или спорить с коллегами, подобно древнегреческому оратору Демосфену, вам точно нужна эта книга! Теория игр – это матем…
электронная книга
5
Год написания книги 2022
Я рассказываю о неожиданных фактах, которые могут быть причиной раскола американского общества.
Элементарная и высшая математика. Учебное пособие для вузов
электронная книга
4
Год написания книги 2022
В пособии рассмотрены основные разделы математики: алгебра, векторы, начала анализа, логические операции, теория множеств, дифференциальное и интегральное исчисления, дифференциальные уравнения, …
Математические головоломки
электронная книга
3
Год написания книги 2023
Книга опытного педагога и психолога Т. Трясоруковой поможет подружить с математикой ребёнка 5-7 лет. Он поймёт, что математика – это совсем не сложно и даже очень интересно! Калейдоскоп увлекател…
Элементы логики в математике. Сборник самостоятельных работ для учащихся 6 класса Инженерного лицея НГТУ
электронная книга
5
Год написания книги 2022
Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназначено для организации самостоятельной работы …
Логические задания. 4 класс
электронная книга
3
Год написания книги 2023
Тренажёр «Логические задания. 4 класс» разработан известными педагогами-практиками О.В. Узоровой и Е.А. Нефёдовой. Книга содержит разнообразные задания: простые и сложные, линейные и разветвлённы…
Логические задания. 3 класс
электронная книга
5
Год написания книги 2023
Тренажёр «Логические задания. 3 класс» разработан известными педагогами-практиками О.В. Узоровой и Е.А. Нефёдовой. Книга содержит разнообразные задания: простые и сложные, линейные и разветвлённы…
Задачи по дискретной математике с алгоритмами на Python
электронная книга
5
Год написания книги 2022
В учебное пособие включены задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со спецификой информационно-коммуникационных технологий. В каждой главе приводятс…
Универсальная алгебра и теория квазимногообразий
электронная книга
5
Год написания книги 2020
В пособии изложены основы универсальной алгебры и теории квазимногообразий, разделов математики, находящихся на стыке алгебры и математической логики. От читателя требуется владение основами алге…
Универсальная алгебра и теория решеток
электронная книга
3
Год написания книги 2019
В пособии изложены основы универсальной алгебры и теории решеток, разделов математики, находящихся на стыке алгебры и математической логики. От читателя требуется владение основами алгебры в рамк…
Теория игр. Для тех, кто хочет все успеть
аудиокнига
5
Год написания книги 2021
Если вы хотите управлять домочадцами, как Кутузов управлял огромным войском, или спорить с коллегами, подобно древнегреческому оратору Демосфену, вам точно нужна эта книга! Теория игр – это матем…
История с узелками, или Все не так, как кажется (сборник)
аудиокнига
4
Год написания книги 2017
Математика интересовала Чарльза Доджсона (Льюиса Кэрролла) еще со школьной скамьи. Там, где другие дети видели одни сухие цифры, он замечал увлекательную игру. Так, в «Истории с узелками» в кажды…
Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО
электронная книга
4
Год написания книги 2019
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклас…
Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата
электронная книга
4
Год написания книги 2022
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклас…
Рассказы о множествах
аудиокнига
3
Год написания книги 2015
В 70-х годах XIX века немецкий математик Г. Кантор создал новую область математики – теорию бесконечных множеств. Через несколько десятилетий почти вся математика была перестроена на теоретико-мн…
Лекции по математической логике и теории алгоритмов
аудиокнига
5
Год написания книги 2016
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, н…
Прикладная логика
аудиокнига
4
Год написания книги 2013
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – …