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

В настоящей электронной книге излагается технология алгоритмизации и программирования задач логического управления, названная переключательной технологией (SWITCH-технология).

- формальные языки
- логическое управление
- алгоритмизация
- автоматное проектирование
- конечные автоматы
- сети Петри
- графы операций
- язык SDL
- графы переходов
- функциональные автоматы

В пособии приведены более 1600 задач по программированию, которые могут использоваться в школе при изучении курса "Информатика и ИКТ" на профильном уровне. Задачи имеют разный уровень сложности и охватывают все темы курса программирования. В начале каждого раздела приведены вопросы, ответы на которые необходимо знать для решения задач данного раздела. Значительное число задач дано в двух однотипных вариантах, что дает возможность сформировать два варианта самостоятельных и контрольных работ. Задачи не привязаны к конкретному языку программирования и могут быть использованы при изучении любого языка, в том числе в вузах, педагогических колледжах и других учебных заведениях.

Графы — сети линий, соединяющих заданные точки, — широко используются в разных разделах математики и в приложениях.
Автором книги «Графы и их применение» является видный норвежский алгебраист Ойстин Оре. Для понимания книги вполне достаточны минимальные предварительные знания, практически не превышающие курса математики 7—8 классов средней школы. Как при изучении любой книги по математике, овладение новыми понятиями, конечно, потребует от читателя некоторых усилий и известной настойчивости. Однако это лишь доставит удовольствие истинному любителю математики.

Книга предназначена для учащихся техникумов по специальности 1750 «Прикладная математика» и содержит теоретический материал, соответствующий программе курса «Математическая логика», а также упражнения для активного усвоения курса н приобретения необходимых навыков. Изложение базируется на знаниях по математике, полученных учащимися в восьмилетней школе, и на усвоенных ими языковых нормах. Предназначается для учащихся средних специальных учебных заведений.

Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (1982г), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала акиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.

Редкая книга 1964 года.
Предисловие: Эта книга популярно излагает основы математической логики. Необходимость такой книги вызвана тем, что в настоящее время все большее значение приобретает автоматизация производственных процессов. Программа КПСС прямо указывает на важность автоматизации для создания материально-технической базы коммунизма. Математическая логика является теоретической основой кибернетики, а эта последняя в свою очередь применяется для решения проблема автоматизации. Несмотря на важность математической логики, в нашей стране почти нет книг, излагающих основы этой науки. Имеющиеся у нас книги по математической логике рассчитаны на читателя, достаточно математически подготовленного. Между тем необходимо создать такую книгу, которая давала бы представление о математической логике и в то же время не требовала бы для своего понимания большего, чем школьный курс математики. Данна книга, по-моему, решает эту задачу.