Первое знакомство с математической логикой

Автор(ы)

Депман И.Я

Год

1963

Язык

rus

Теги

Математика

Аннотация

Первое знакомство с математической логикой Год : 1963 Автор : Депман И.Я. Жанр : Научно-популярное издание Издательство : Ленинград Язык : Русский Формат : DjVu Качество : Отсканированные страницы Количество страниц : 58 Описание : Математическая логика — эти слова всё чаще можно услышать в разговорной речи, увидеть в газетных и журнальных статьях. Их употребляют не только ученые, инженеры и техники, но и машиностроители, и учителя. Человек издавна стремился к созданию приборов и машин, которые выполняли бы за него не только физическую, но и умственную работу. В настоящее время человечество имеет такие машины. Они в миллион раз быстрее их создателя и считают и вычисляют. Построены эти машины на основании данных математической логики. Математическая логика, и особенно ее 'составная часть — алгебра логики, — имеет глубокую принципиальную связь с теорией построения автоматов. Она послужила основанием для развития кибернетики — «этого высшего раздела автоматики, служащего созданию машин, продолжающих человеческий мозг».1Математическая логика — эти слова всё чаще можно услышать в разговорной речи, увидеть в газетных и журнальных статьях. Их употребляют 'не только ученые, инженеры и техники, но и машиностроители, и учителя. Человек издавна стремился к созданию приборов и машин, которые выполняли бы за него не только физическую, но и умственную работу. В настоящее время человечество имеет такие машины. Они в миллион раз быстрее их создателя и считают и вычисляют. Построены эти машины на основании данных математической логики. Математическая логика, и особенно ее составная часть — алгебра логики, — имеет глубокую принципиальную связь с теорией построения автоматов. Она послужила основанием для развития кибернетики — «этого высшего раздела автоматики, служащего созданию машин, продолжающих человеческий мозг». Примеры страниц Оглавление Какой программой открыть книгу? Программы для работы с электронными книгами (краткий справочник) Опубликовано группой