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

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

Отображать сначала: популярныеновыеТОП лучших книг
История с узелками, или Все не так, как кажется (сборник)
аудиокнига
4
Год написания книги 2017
Математика интересовала Чарльза Доджсона (Льюиса Кэрролла) еще со школьной скамьи. Там, где другие дети видели одни сухие цифры, он замечал увлекательную игру. Так, в «Истории с узелками» в кажды…
Математическая логика и теория алгоритмов
аудиокнига
5
Год написания книги 2021
Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены задачи различной сложности для решения на пр…
Четыре алгоритмических лица случайности
аудиокнига
3
Год написания книги 2015
Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализации такого интуитивно ясного термина, как «слу…
Теория игр. Для тех, кто хочет все успеть
аудиокнига
3
Год написания книги 2021
Если вы хотите управлять домочадцами, как Кутузов управлял огромным войском, или спорить с коллегами, подобно древнегреческому оратору Демосфену, вам точно нужна эта книга! Теория игр – это матем…
Математическая логика
аудиокнига
4
Год написания книги 2020
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные р…
Логические задания. 3 класс
электронная книга
5
Год написания книги 2023
Тренажёр «Логические задания. 3 класс» разработан известными педагогами-практиками О.В. Узоровой и Е.А. Нефёдовой. Книга содержит разнообразные задания: простые и сложные, линейные и разветвлённы…
Универсальная алгебра и теория квазимногообразий
электронная книга
5
Год написания книги 2020
В пособии изложены основы универсальной алгебры и теории квазимногообразий, разделов математики, находящихся на стыке алгебры и математической логики. От читателя требуется владение основами алге…
Задачи по теории множеств, математической логике и теории алгоритмов
аудиокнига
3
Год написания книги 2016
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней н…
Введение в логику и научный метод
электронная книга
4
Год написания книги 2012
На протяжении десятилетий эта книга служила основным учебником по логике и научному методу в большинстве американских вузов и до сих пор пользуется спросом (последнее переиздание на английском яз…
Модели и методы искусственного интеллекта
аудиокнига
5
Год написания книги 2021
Рассмотрены основные этапы и направления развития искусственного интеллекта, особенности построения систем, основанных на знаниях, принципы функционирования и технология разработки экспертных сис…
Элементы математической логики. 5 класс
электронная книга
4
Год написания книги 2020
Учебное пособие для проведения занятий по курсу «Элементы математической логики» в Инженерном лицее НГТУ содержит теоретические сведения по основам логики, примеры и задания для самостоятельного …
История с узелками
электронная книга
5
Год написания книги 1885
В этой книге собраны интересные истории, занимательные математические головоломки, увлекательные задачи и изящные парадоксы, которые помогут вам с пользой провести свой досуг, развить логику, вни…
Динамически переопределяемые системы в моделировании двух популяционных процессов с пороговыми эффектами
электронная книга
3
Год написания книги 2021
Предложен метод построения динамически переопределяемых структур для моделирования резких изменений в биологических процессах. Метод предусматривает анализ сценариев с управляющим воздействием, н…
Математическая логика и теория алгоритмов
аудиокнига
4
Год написания книги 2021
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории…
Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата
электронная книга
4
Год написания книги 2022
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклас…
Лекции по математической логике и теории алгоритмов
аудиокнига
5
Год написания книги 2016
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, н…
Рассказы о множествах
аудиокнига
3
Год написания книги 2015
В 70-х годах XIX века немецкий математик Г. Кантор создал новую область математики – теорию бесконечных множеств. Через несколько десятилетий почти вся математика была перестроена на теоретико-мн…
электронная книга
5
Год написания книги 2021
Что означает ускоренное или замедленное расширение Вселенной? Приведено определение понятия космологического ускорения и уравнение для его вычисления. What does the accelerated or slowed down exp…
Аристотель vs Будда
электронная книга
5
Год написания книги 2021
Нечёткая логика – обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная «истинная или ложная» (…
Элементарная и высшая математика. Учебное пособие для вузов
электронная книга
4
Год написания книги 2022
В пособии рассмотрены основные разделы математики: алгебра, векторы, начала анализа, логические операции, теория множеств, дифференциальное и интегральное исчисления, дифференциальные уравнения, …