Автор неизвестен. Теоретические основы автоматики и телемеханики

Год издания: 1961 Количество страниц: 260 Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор переходит к современным цифровым автоматическим счетным машинам, описывает их. ст...

М.: Мир, 1983. - 152 с. В книге известного чехословацкого математика предложен новый вариант нестандартного анализа - интенсивно развивающегося направления математики. Автор стремится непосредственно использовать специфику нестандартного универсума для формулировки новых математических понятий. В русское издание включен новый материал, полученный от автора. Для специалистов по математической логике, анализу, топологии, теории дифференциальных ура...

М.: «Наука», 1968. - 253 с. Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надёжных алгоритмов из не вполне надёжных элементов. В книге разбирается ряд задач, сформулированных Булем, Джевонсом, Порецким и другими логиками, и показывается развитие метода диагр...

Название: Математическая логика. Курс лекций. Автор: Тимофеева И. Л. Издательство: КДУ. Год: 2007. Страниц: 304. Формат: pdf. Размер: 1,3 mb. ISBN 978-5-98227-307-9. Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает...

М.: Мир, 1968. - 128 с. Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выразил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими описаниями.

1974. -135 с. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. В первой части рассматриваются язык высказываний, язык предикатов, проблема континуума. Качество файла - среднее. Скан-то неплохой, просто сам оригинал представляет собой набранный на печатной машинке текст с рукописными формулами. Почему ни одно хорошее издание тех лет не взя...

1974. -71 с. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. Основной объект изучения второй части курса - детерминированный процесс вычисления, или переработки нечисловой информации - алгоритм.

Обложка и рисунки работы Ю. Д. Скалдина. - Л.: Время, 1925 Эта книга написана не столько для друзей математики, сколько для ее недругов. Она имеет в виду, главным образом, не тех, у кого есть уже склонность к математике, и не тех также, кто вовсе еще не приступал к ее изучению. Автор предназначает книгу всего более для той обширной категории читателей, которые знакомились в школе (или сейчас еще знакомятся) с этой наукой без особого интереса и о...

Издательство LAP LAMBERT Academic Publishing (Saarbrucken, Germany), 2011. ISBN: 978-3-8433-0904-2. 180 с. Теоретические результаты исследования Работа относится к такой области дискретной математики, как булевы функции и их приложения в комбинаторике, теории кодирования и криптографии. Исследуется класс булевых функций, обладающих сильными свойствами нелинейности: бент-функции и их обобщения. Впервые бент-функции начали изучаться в 60-х годах X...

М.: Наука, 1969. - 136 с. В 1961 г. в Хаарлеме (Нидерланды) вышла небольшая книжка «Exacte logica» («Точная логика»). Автор ее профессор X. Фрейденталь - известный голландский математик с весьма широкими интересами. Развивая традиции отечественной школы интуиционистов, он еще в 30-е годы внес существенный вклад в построение интуиционистской топологии. В последние годы большую популярность завоевала книга Фрейденталя «Lincos» («Lingua cosmica»), о...