Программирование | книги. Страница 24

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.

Проектируем на VHDL

Автор: Перельройзен Е.З.

Книга посвящена проектированию цифровых систем с помощью языка описания аппаратуры VHDL (VHSIC Hardware Description Language). Первая часть книги описывает процесс проектирования на языках описания аппаратуры. Во второй части книги рассматривается работа с VHDL в различных средах проектирования: ModelSim (Mentor Graphics), Active HDL (Aldec), OrCAD (Cadence), Warp (Cypress Semiconductor), Foundation Series (Xilinx) и Symphony (Symphony EDA). Третья часть книги содержит VHDL-модели ряда комбинационных и последовательностных цифровых схем. Предполагается знакомство читателя с основами программирования и проектирования цифровых устройств.
Книга написана на основе преподавания курса языка VHDL и его приложений к моделированию цифровых систем в Еврейском университете (Иерусалим), Хайфском университете и филиале английского университета Ковентри в Израиле.

PyTorch. Освещая глубокое обучение

Авторы: Стивенс Эли, Антига Лука, Виман Томас

Многие средства глубокого обучения используют Python, но именно библиотека PyTorch по-настоящему «питоническая». Легкая в освоении для тех, кто знаком с NumPy и scikit-learn, PyTorch упрощает работу с глубоким обучением, обладая в то же время богатым набором функций. PyTorch прекрасно подходит для быстрого создания моделей и без проблем масштабируется до корпоративного проекта. PyTorch используют такие компании как Apple и JPMorgan Chase. Навыки работы с этой библиотекой пригодятся вам для карьерного роста. Вы научитесь создавать нейронные сети и системы глубокого обучения с помощью PyTorch. Книга поможет быстро приступить к созданию реального проекта с нуля. В ней описаны лучшие практики всего конвейера работы с данными, включая PyTorch Tensor API, загрузку данных на Python, мониторинг обучения и визуализацию полученных результатов.