- Книги
- Аудиокниги
- Списки
- Жанры
- Cаморазвитие / личностный рост
- Зарубежная психология
- Попаданцы
- Боевая фантастика
- Современные детективы
- Любовное фэнтези
- Зарубежные детективы
- Современные любовные романы
- Боевое фэнтези
- Триллеры
- Современная русская литература
- Зарубежная деловая литература
- Космическая фантастика
- Современная зарубежная литература
- Все жанры
- Серии
- 41. Задачи по дискретной математике с алгоритмами на Python
- 42. Математические методы в приложениях. Дискретная математика
- 43. Изменчивая природа математического доказательства. Доказать нельзя поверить
- 44. Задачи по теории множеств, математической логике и теории алгоритмов
- 45. Лекции по математической логике и теории алгоритмов
- 46. Квантовая логика
- 47. Популярная логика и занимательные задачи
- 48. Рассказы о множествах
- 49. Четыре алгоритмических лица случайности
- 50. Математика – это просто 2.0. Думай математически
- 51. Номерной подход к определению принадлежности функций алгебры логики к классу монотонных функций
- 52. Теория игр. Искусство стратегического мышления в бизнесе и жизни
- 53. Прикладная логика
- 54. Введение в логику и научный метод
- 55. Classification of countable models of complete theories. Рart 2
- 56. Classification of countable models of complete theories. Рart 1
Математическая логика
31.05.2017
Задачи по дискретной математике с алгоритмами на Python
В учебное пособие включены задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со спецификой информационно-коммуникационных технологий. В каждой главе приводятся тео... Подробнее000
ОтложитьЧитал
31.07.2016
Математические методы в приложениях. Дискретная математика
В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюс... Подробнее000
ОтложитьЧитал
12.07.2016
Изменчивая природа математического доказательства. Доказать нельзя поверить
Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллюстративные и интересные математические результаты приведены с доказательствами и... Подробнее000
ОтложитьЧитал
31.03.2016
Задачи по теории множеств, математической логике и теории алгоритмов
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. ... Подробнее000
ОтложитьЧитал
26.02.2016
Лекции по математической логике и теории алгоритмов
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непрот... Подробнее000
ОтложитьЧитал
17.01.2016
Книга посвящена квантовой логике – интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с точки... Подробнее000
ОтложитьЧитал
17.12.2015
Популярная логика и занимательные задачи
Логика – это наука о формах и законах правильного мышления. Что такое правильное мышление, и какое мышление можно назвать правильным? Что такое формы мышления, и какими они бывают? Что такое законы мы... Подробнее000
ОтложитьЧитал
11.10.2015
Четыре алгоритмических лица случайности
Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализации такого интуитивно ясного термина, как «случайно... Подробнее000
ОтложитьЧитал
04.08.2015
Математика – это просто 2.0. Думай математически
«Думай математически» – идеальное пособие для тех, кто стремится развить свои математические способности или занимается обучением математическому мышлению других. Авторы предлагают читателю интересные... Подробнее000
ОтложитьЧитал
27.05.2015
Номерной подход к определению принадлежности функций алгебры логики к классу монотонных функций
В функционально полных наборах логических функций, используемых для синтеза вычислительных устройств, хотя бы одна из логических функций должна быть немонотонной. В связи с этим в работе предлагается ... Подробнее000
ОтложитьЧитал
09.12.2014
Теория игр. Искусство стратегического мышления в бизнесе и жизни
Теория игр – это строгое стратегическое мышление. Это искусство предугадывать следующий ход соперника вкупе со знанием того, что он занимается тем же самым. Основная часть теории противоречит обычной ... Подробнее8710
ОтложитьЧитал
05.07.2013
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и син... Подробнее000
ОтложитьЧитал
30.09.2012
Введение в логику и научный метод
На протяжении десятилетий эта книга служила основным учебником по логике и научному методу в большинстве американских вузов и до сих пор пользуется спросом (последнее переиздание на английском языке у... Подробнее310
ОтложитьЧитал
30.11.2018
Classification of countable models of complete theories. Рart 2
The book is the second part of the monograph “Classification of countable models of complete theories” consisting of two parts. In the book, generic Ehrenfeucht theories and realizations of Rudin–Keis... Подробнее000
ОтложитьЧитал
30.11.2018
Classification of countable models of complete theories. Рart 1
The book is the first part of the monograph “Classification of countable models of complete theories” consisting of two parts. In the monograph, a classification of countable models of complete theori... Подробнее000
ОтложитьЧитал