Информатика и вычислительная техника
  • формат pdf
  • размер 16,01 МБ
  • добавлен 13 сентября 2013 г.
Бирюков Б.В. (ред.) Кибернетика и логика
М.: Наука, 1978. 333 с. Авторы данной книги рассказывают о развитии кибернетических
идей в связи с логической формализацией с древнейших времен до начала XX в. Читатель познакомится с методологическими проблемами истории вычислительной техники и логических машин, математического аппарата кибернетики, с некоторыми философскими вопросами развития логических исчислений. Интерес представит также раздел о создании логических машин в России. Краткое содержание:
Предисловие.
Майстров Л.Е. Взаимосвязь характеристик вычислительных машин в их развитии:
Период абака (домеханических устройств);
Механический период;
Электромеханический период;
Электронный период.
Гутер Р.С., Полунов Ю.Л. К истории разностных машин.
Гутер Р.С., Полунов Ю.Л. Августа Ада Лавлейс и возникновение программирования.
Гутер Р.С., Полунов Ю.Л. Математические работы Чарльза Бэббеджа.
Поваров Г.Н., Петров А.Е. Русские логические машины.
Бирюков Б.В., Туровцева А.Ю. Логико-гносеологические взгляды Эрнста Шредера:
Эрнст Шредер и его труды;
Философские взгляды;
Вопрос о предмете логики;
Семиотические рассмотрения;
Задача реализации логической программы Лейбница;
Об алгебро-логических исчислениях Э. Шредера.
Ибрагимов С.Г. О логико-алгебраических работах Эрнста Шредера, предвосхитивших теорию квазигрупп.
Нуцубидзе П.Н. О динамике взаимосвязей различных аспектов идеи бесконечности.
Похожие разделы