Математическая логика
аудиокнига
Год написания книги 2016
Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллюстративные и интересные математические результаты приведены с доказательств…
электронная книга
Год написания книги 2020
Учебное пособие для проведения занятий по курсу «Элементы математической логики» в Инженерном лицее НГТУ содержит теоретические сведения по основам логики, примеры и задания для самостоятельного …
электронная книга
Год написания книги 2023
Этот текст – сокращенная версия книги «Теория игр. Искусство стратегического мышления в бизнесе и жизни». Только самое главное: идеи, техники, ключевые цитаты.
В игры играют не только дети. Рабо…
электронная книга
Год написания книги 2012
На протяжении десятилетий эта книга служила основным учебником по логике и научному методу в большинстве американских вузов и до сих пор пользуется спросом (последнее переиздание на английском яз…
электронная книга
Год написания книги 2015
В функционально полных наборах логических функций, используемых для синтеза вычислительных устройств, хотя бы одна из логических функций должна быть немонотонной. В связи с этим в работе предлага…
аудиокнига
Год написания книги 2015
«Думай математически» – идеальное пособие для тех, кто стремится развить свои математические способности или занимается обучением математическому мышлению других. Авторы предлагают читателю интер…
аудиокнига
Год написания книги 2015
Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализации такого интуитивно ясного термина, как «слу…
электронная книга
Год написания книги 2005
Книга посвящена квантовой логике – интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с …
аудиокнига
Год написания книги 2016
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней н…
аудиокнига
Год написания книги 2016
В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но …
аудиокнига
Год написания книги 2017
Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализов…