Название: Logic and Language Models for Computer Science, 4th Edition
Автор: Dana Richards, Henry Hamburger
Издательство: World Scientific Publishing
Год: 2023
Страниц: 497
Язык: английский
Формат: pdf (true)
Размер: 11.2 MB

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on Computer Science (CS) applications including loop invariants, program correctness, logic programming and algorithmic proof techniques. This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities. The models in this book are simplifications too, but not of material objects like airplanes. For computer scientists, the objects of study lie mainly in the world of symbols. In this book, it will be computer software and especially the programming languages in which that software is written from which we draw our models and to which we apply them. We have chosen to focus on language, the crucial link between hardware and software. Programming languages permit software to be written and language processors - compilers, interpreters and assemblers - permit hardware to run that software. Sometimes a model proves to be so interesting and widely applicable that it becomes an object of study in its own right. That is the case with the logic and language models in this book.

Название: 2D Computer Vision: Principles, Algorithms and Applications
Автор: Yu-Jin Zhang
Издательство: World Scientific Publishing
Год: 2022
Страниц: 556
Язык: английский
Формат: pdf (true)
Размер: 30.9 MB

This special compendium introduces the basic principles, typical methods and practical techniques of 2D computer vision. The volume comprehensively covers the introductory content of computer vision and the materials are selected based on courses conducted in the past 20 years.The useful textbook provides numerous examples and self-test questions (including hints and answers) through intuitive explanations to help readers understand abstract concepts.This unique reference text provides the first computer vision course service for undergraduates of related majors in university and colleges. It also allows teachers to carry out online courses and strengthen teacher-student interaction when teaching

Название: C, C++ & C# in easy steps, Special Edition
Автор: Mike McGrath
Издательство: In Easy Steps Limited
Год: 2023
Страниц: 373
Язык: английский
Формат: epub
Размер: 18.0 MB

C, C++ & C# in easy steps is a comprehensive guide to help you create your own programs in the C, C++ and C# programming languages, combining knowledge from the latest C, C++ and C# books in the In Easy Steps series. Color-coded example programs together with screenshots illustrate the output when the program has been executed, making it easy to grasp. Download the FREE sample code for checking against your own work. All examples demonstrate C and C++ features supported by current compilers on both Windows and Linux operating systems, and demonstrate C# features in the Microsoft Visual Studio development suite – all in easy steps! Ideal for programmers, students and novices seeking a career in computing who need a fundamental understanding of procedural programming.

Название: Многоядерное программирование
Автор: Эхтер Ш., Робертс Дж.
Издательство: СПб.: Питер
Год: 2010
Cтраниц: 320
Формат: djvu
Размер: 12 мб
Язык: русский

На сегодняшний день системы, построенные на основе многоядерной архитектуры, набирают все большую популярность. Эта книга поможет разработчикам программного обеспечения, используя многопоточность, создать высокопроизводительные приложения на основе многоядерной архитектуры Intel. Книга позволяет читателю на практике освоить основы параллельного программирования, программирование с использованием API, интерфейс OpenMP, решение наиболее распространенных задач параллельного программирования; отладку и тестирование многопоточных приложений; инструменты разработки приложений.
Книга содержит множество примеров исходного кода, позволяющих читателю быстро, на практике опробовать тот или иной описываемый метод. Издание рассчитано на разработчиков ПО и студентов, изучающих многоядерную архитектуру.

Название: Фундаментальный подход к программной архитектуре: паттерны, свойства, проверенные методы
Автор: Ричардc Марк, Форд Нил
Издательство: Питер
Год: 2023
Формат: pdf
Страниц: 448
Размер: 19,2 Мб
Язык: русский

Архитекторы ПО стабильно входят в десятку самых высокооплачиваемых профессий. Но до сих пор не было реального руководства, которое позволило бы разработчикам стать архитекторами. И вот наконец появилась книга, в которой дается всеобъемлющий обзор разнообразных аспектов архитектуры программного обеспечения. Начинающие и уже состоявшиеся архитекторы найдут в ней паттерны архитектур, определения компонентов, приемы построения эволюционных архитектур и множество других тем. Марк Ричардс и Нил Форд обладают бесценным практическим опытом, профессионально занимаются этой темой, уделяя особое внимание принципам построения архитектуры, применимым ко всем технологическим стекам. Они предлагают современный взгляд на архитектуру ПО с учетом всех нововведений последнего десятилетия.

Название: Основы алгоритмизации и программирования (среда PascalABC.Net)
Автор(ы): Фризен И.Г.
Издательство: Форум
Год: 2023
Страниц: 393
Формат: PDF
Размер: 82 Мб
Язык: русский

Учебное пособие направлено на изучение общепрофессиональной дисциплины "Основы алгоритмизации и программирования" и может служить для самостоятельного обучения основам программирования и начального изучения языка Pascal. В данном пособии дисциплина изучается с помощью языка Pascal на базе приложения PascalABC.NET. Пособие рассматривает основные положения языка Pascal, разнообразные приемы программирования, начиная с простейших программ. Книга составлена с позиции изложения учебного материала таким образом, чтобы обучающиеся могли поэтапно видеть возможности языка Pascal, его практического применения, а также рассмотрения тонких мест составления конструкций программ.

Автор: А. М. Кондратов
Название: Машинный перевод. Новое в жизни, науке, технике
Издательство: М:, Знание
Год: 1967
Страниц: 32
Формат: DJVU, PDF
Размер: 12 МБ

Брошюра, написанная одним из участников группы по дешифровке, излагает математическую модель изучения древних текстов с помощью электронных вычислительных машин и рассказывает о первых успехах и перспективах машинной дешифровки.

Название: Mathematical Analysis of Machine Learning Algorithms
Автор: Tong Zhang
Издательство: Cambridge University Press
Год: 2023
Страниц: 469
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

The mathematical theory of Machine Learning not only explains the current algorithms but can also motivate principled approaches for the future. This self-contained textbook introduces students and researchers of AI to the main mathematical techniques used to analyze Machine Learning algorithms, with motivations and applications. Topics covered include the analysis of supervised learning algorithms in the iid setting, the analysis of neural networks (e.g. neural tangent kernel and mean-field analysis), and the analysis of Machine Learning algorithms in the sequential decision setting (e.g. online learning, bandit problems, and reinforcement learning). Students will learn the basic mathematical tools used in the theoretical analysis of these Machine Learning problems and how to apply them to the analysis of various concrete algorithms. This textbook is perfect for readers who have some background knowledge of basic Machine Learning methods, but want to gain sufficient technical knowledge to understand research papers in theoretical Machine Learning.

Название: Python for Beginners - 15th Edition 2023
Автор: Papercut Limited
Издательство: Papercut Limited
Год выхода: 2023
Страниц: 92
Качество: хорошее
Формат: PDF
Размер: 68,2 MB
Язык: английский

The Python for Beginners, teaches the basics of Python so you will be able to start coding in no time!
This genius guide to Python Programming covers everything from basic syntax to algorithm implementation and data structures, while teaching you how to program basic functions and complete algorithmic tasks using the Python programming language.
The examples are kept simple yet complete so that you can build on them to gain a greater understanding of the language, whilst this book doesn't go into advanced techniques, it does discuss some interesting extensions to Python that extend its features, such as modules.
An elaborate introduction to the Python programming language is also provided where all the topics needed to get started including syntax, variables, functions, modules, loops, and much more, have been covered

Название: Techniques for Designing and Analyzing Algorithms
Автор: Douglas R. Stinson
Издательство: CRC Press
Год: 2022
Страниц: 445
Язык: английский
Формат: pdf (true)
Размер: 37.4 MB

Design and analysis of algorithms can be a difficult subject for students due to its sometimes-abstract nature and its use of a wide variety of mathematical tools. Here the author, an experienced and successful textbook writer, makes the subject as straightforward as possible in an up-to-date textbook incorporating various new developments appropriate for an introductory course. This text presents the main techniques of algorithm design, namely, divide-and-conquer algorithms, greedy algorithms, dynamic programming algorithms, and backtracking. Graph algorithms are studied in detail, and a careful treatment of the theory of NP-completeness is presented. In addition, the text includes useful introductory material on mathematical background including order notation, algorithm analysis and reductions, and basic data structures. This will serve as a useful review and reference for students who have covered this material in a previous course.