Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие

Технология CSS3 позволяет создавать профессионально оформленные сайты, но тонкости этого языка могут оказаться довольно сложными даже для опытных веб-разработчиков. Полностью переработанное четвертое издание этой книги поможет вам поднять навыки работы с HTML и CSS на новый уровень; она содержит множество ценных советов, описаний приемов, а также инструкции, написанные в стиле справочного руководс...

Книга, которую вы держите в руках, принадлежит перу известного американского популяризатора Чарлза Петцольда. В ней автор исследует главную работу Алана Тьюринга, посвященную проблеме разрешимости. Именно в этой работе впервые появились знаменитые машины Тьюринга, ставшие на многие годы универсальной теоретической концепцией computer science. Автор тонко и деликатно проведет вас по самым потаенным...

Изложен процесс разработки основных видов алгоритмов и программ на базе оригинальной общей методики построения алгоритмов, не имеющей аналогов в России. Методика позволяет быстро осваивать различные языки программирования высокого уровня. Отражены принципы построения и развития компьютерных сетей. Главы книги соответствуют разделам учебной программы и содержат необходимые теоретические сведения, о...

На основе анализа синаптического управления локальными конформациями элементов сомато-дендритной мембраны разработана модель нейронной памяти. Исследованы гистерезисные свойства этих элементов и их селективность к паттернам афферентных сигналов. По критерию минимальных информационных потерь оптимизированы точность и емкость одно- и многоуровневых структур памяти, оценена устойчивость энграмм к пов...

Прикладной системный анализ. Учебное пособие

An Introduction to Statistical Learning provides an accessible overview of the field of statistical learning, an essential toolset for making sense of the vast and complex data sets that have emerged in fields ranging from biology to finance to marketing to astrophysics in the past twenty years. This book presents some of the most important modeling and prediction techniques, along with relevant a...

Систематизированы сведения в области архитектуры и внутренней организации компьютерных систем. Подробно рассмотрены базовые понятия и основные принципы структурной (логической) организации современного персонального компьютера (ПК). Рассмотрены принципы работы и устройство основных компонентов ПК: процессора, системной платы, памяти, дисковой системы, видеосистемы. Показаны особенности организации...

В книге представлен уникальный и современный подход к разработке цифровых устройств. Авторы начинают с цифровых логических элементов, переходят к разработке комбинационных и последовательных схем, а затем используют эти базовые блоки как основу для самого сложного: проектирования настоящего процессора М IPS. По всему тексту приводятся примеры на языках System Verilog и VHDL, иллюстрирующие методы ...

Книга, не требуя от читателей какой-либо специальной подготовки, ясно и популярно рассказывает об основных принципах действия вычислительных машин и программирования, знакомит с некоторыми экспериментальными машинами и программами. Этим, однако, не исчерпывается содержание книги. Вторая часть ее посвящена сопоставлению мозга и вычислительной машины, человеческого и искусственного разума. Автор тща...

В повести «Мимоза» рассказывается о судьбе китайского учителя в 60-е годы прошлого века — социализм, голод, любовь.