Электронный каталог


 

База данных: Электронный каталог ДВФУ

Страница 1, Результатов: 4

Отмеченные записи: 0

32.973 Л 694

    Логика и компьютер / [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков и др. ; ред. кол. : И. М. Макаров (пред.) и др.] ; Российская академия наук. - Москва : Наука, 2004 - . - (Информатика : неограниченные возможности и возможности ограничения.).
   [вып.] 5 : Пусть докажет компьютер / Российская академия наук. - 207 c. - Библиогр. : с. 193-204.. - ISBN 5020328596
Авт. указ. на обор. тит. л.

ББК 32.973 + 87.4

Кл.слова (ненормированные):
Логика -- математическая логика -- информатика -- логические машины -- исчисление предикатов -- логика предикатов -- интеллектуальные системы -- логика и компьютеры -- интуиционисская логика высказываний
Доп.точки доступа:
Макаров, И. М. \ед.\
Болотов, А. Е.
Бочаров, В. А.
Горчаков, А. Е.
Российская академия наук

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

Логика и компьютер [Текст] / [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков и др. ; ред. кол. : И. М. Макаров (пред.) и др.] ; Российская академия наук. - (Информатика : неограниченные возможности и возможности ограничения.). [вып.] 5 : Пусть докажет компьютер, 2004. - 207 c. с.

1.

Логика и компьютер [Текст] / [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков и др. ; ред. кол. : И. М. Макаров (пред.) и др.] ; Российская академия наук. - (Информатика : неограниченные возможности и возможности ограничения.). [вып.] 5 : Пусть докажет компьютер, 2004. - 207 c. с.


32.973 Л 694

    Логика и компьютер / [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков и др. ; ред. кол. : И. М. Макаров (пред.) и др.] ; Российская академия наук. - Москва : Наука, 2004 - . - (Информатика : неограниченные возможности и возможности ограничения.).
   [вып.] 5 : Пусть докажет компьютер / Российская академия наук. - 207 c. - Библиогр. : с. 193-204.. - ISBN 5020328596
Авт. указ. на обор. тит. л.

ББК 32.973 + 87.4

Кл.слова (ненормированные):
Логика -- математическая логика -- информатика -- логические машины -- исчисление предикатов -- логика предикатов -- интеллектуальные системы -- логика и компьютеры -- интуиционисская логика высказываний
Доп.точки доступа:
Макаров, И. М. \ед.\
Болотов, А. Е.
Бочаров, В. А.
Горчаков, А. Е.
Российская академия наук

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

519 Т 343
Теплов, Лев Павлович.
    Очерки о кибернетике / Л. Теплов. - Изд. 2-е, перераб. - [Москва] : Московский рабочий, 1963. - 415 с. : ил.

УДК

Кл.слова (ненормированные):
кибернетика -- логические машины -- преобразователи сигналов -- автоматика -- машины-автоматы
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)

Теплов, Лев Павлович. Очерки о кибернетике [Текст] / Л. Теплов., 1963. - 415 с. с.

2.

Теплов, Лев Павлович. Очерки о кибернетике [Текст] / Л. Теплов., 1963. - 415 с. с.


519 Т 343
Теплов, Лев Павлович.
    Очерки о кибернетике / Л. Теплов. - Изд. 2-е, перераб. - [Москва] : Московский рабочий, 1963. - 415 с. : ил.

УДК

Кл.слова (ненормированные):
кибернетика -- логические машины -- преобразователи сигналов -- автоматика -- машины-автоматы
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)

007(09) К 381

    Кибернетика и логика. Математико-логические аспекты становления идей кибернетики и развития вычислительной техники / Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика", Институт истории естествознания и техники (Москва) ; Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика", Институт истории естествознания и техники ; [отв. ред. : Б. В. Бирюков, А. Г. Спиркин]. - Москва : Наука, 1978. - 333 c. : ил., табл. - Библиогр. в конце ст.

УДК

Рубрики: вычислительная техника (история)--сборники

   кибернетика--математические основы--сборники


   математическая логика--история--сборники


Кл.слова (ненормированные):
математическая логика (история) -- логические машины (история) -- математика (история) -- кибернетика (история) -- функциональное исчисление -- разностные машины -- программирование (история) -- вычислительная математика (история) -- аналитическая машина Бэббиджа -- математики английские -- математики немецкие -- биографии ученых -- алгебра логики (история) -- семиотика (история) -- аксиоматика вычислений -- формальная логика -- квазигруппы -- алгоритмы
Доп.точки доступа:
Бирюков, Б. В. \ред.\
Спиркин, А. Г. \ред.\
Бэббидж, Чарльз. (математик ; 1791-1871)
Лавлейс, Августа Ада. (математик ; 1815-1852)
Шредер, Эрнст. (математик ; 1841-1902)
Лейбниц, Готфрид Вильгельм (философ ; 1646-1716)
Академия наук СССР. Научный совет по комплексной проблеме "Кибернетика"
Институт истории естествознания и техники (Москва)

Экземпляры всего: 5
Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)

Кибернетика и логика. Математико-логические аспекты становления идей кибернетики и развития вычислительной техники [Текст] / Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика", Институт истории естествознания и техники (Москва), 1978. - 333 c. с.

3.

Кибернетика и логика. Математико-логические аспекты становления идей кибернетики и развития вычислительной техники [Текст] / Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика", Институт истории естествознания и техники (Москва), 1978. - 333 c. с.


007(09) К 381

    Кибернетика и логика. Математико-логические аспекты становления идей кибернетики и развития вычислительной техники / Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика", Институт истории естествознания и техники (Москва) ; Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика", Институт истории естествознания и техники ; [отв. ред. : Б. В. Бирюков, А. Г. Спиркин]. - Москва : Наука, 1978. - 333 c. : ил., табл. - Библиогр. в конце ст.

УДК

Рубрики: вычислительная техника (история)--сборники

   кибернетика--математические основы--сборники


   математическая логика--история--сборники


Кл.слова (ненормированные):
математическая логика (история) -- логические машины (история) -- математика (история) -- кибернетика (история) -- функциональное исчисление -- разностные машины -- программирование (история) -- вычислительная математика (история) -- аналитическая машина Бэббиджа -- математики английские -- математики немецкие -- биографии ученых -- алгебра логики (история) -- семиотика (история) -- аксиоматика вычислений -- формальная логика -- квазигруппы -- алгоритмы
Доп.точки доступа:
Бирюков, Б. В. \ред.\
Спиркин, А. Г. \ред.\
Бэббидж, Чарльз. (математик ; 1791-1871)
Лавлейс, Августа Ада. (математик ; 1815-1852)
Шредер, Эрнст. (математик ; 1841-1902)
Лейбниц, Готфрид Вильгельм (философ ; 1646-1716)
Академия наук СССР. Научный совет по комплексной проблеме "Кибернетика"
Институт истории естествознания и техники (Москва)

Экземпляры всего: 5
Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)


Шилов, В. В. (канд. техн. наук, проф.; "МАТИ"-РГТУ им. К. Э. Циолковского).
    Чарльз Стенхоуп [Текст] / В. В. Шилов // Информационные технологии. - N 6 (2004), С. 40-52. - Библиогр.: с. 52 (16 назв. )

УДК

Кл.слова (ненормированные):
политики -- изобретатели -- арифмометры -- биографии -- изобретения -- суммирующие машины -- логические машины
Аннотация: Первая на русском языке статья о выдющемся политике и одном из крупнейших изобретателей Чарльзе Стенхоупе.
Доп.точки доступа:
Стенхоуп, Чарльз (1753-1816)

Шилов, В. В. Чарльз Стенхоуп [Текст] / В. В. Шилов // Информационные технологии. - N 6 (2004), С. 40-52

4.

Шилов, В. В. Чарльз Стенхоуп [Текст] / В. В. Шилов // Информационные технологии. - N 6 (2004), С. 40-52



Шилов, В. В. (канд. техн. наук, проф.; "МАТИ"-РГТУ им. К. Э. Циолковского).
    Чарльз Стенхоуп [Текст] / В. В. Шилов // Информационные технологии. - N 6 (2004), С. 40-52. - Библиогр.: с. 52 (16 назв. )

УДК

Кл.слова (ненормированные):
политики -- изобретатели -- арифмометры -- биографии -- изобретения -- суммирующие машины -- логические машины
Аннотация: Первая на русском языке статья о выдющемся политике и одном из крупнейших изобретателей Чарльзе Стенхоупе.
Доп.точки доступа:
Стенхоуп, Чарльз (1753-1816)

Страница 1, Результатов: 4

 

Все поступления за 
Или выберите интересующий месяц