Вып. 78 : Кибернетика и логическая формализация. Аспекты истории и методологии; Вопросы кибернетики

Bibliographic Details
Parent link:Вопросы кибернетики: сборник статей/ Академия наук СССР (АН СССР), Научный совет по комплексной проблеме "Кибернетика". Вып. 78 : Кибернетика и логическая формализация. Аспекты истории и методологии.— , 1975-1992
Other Authors: Бирюков Б. В. (редактор), Спиркин А. Г.
Language:Russian
Published: 1982
Subjects:
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=312933

MARC

LEADER 00000n m2a2200000 4500
001 312933
005 20231102002531.0
035 |a (RuTPU)RU\TPU\book\338303 
090 |a 312933 
100 |a 20151231d1982 k y0rusy50 ca 
101 0 |a rus 
102 |a RU 
105 |a a z 001zd 
200 0 |a Вып. 78 : Кибернетика и логическая формализация. Аспекты истории и методологии  |f под ред. Б. В. Бирюкова , А. Г. Спиркина 
210 |d 1982 
215 |a 191 с.  |c ил. 
320 |a Библиография в конце статей 
461 1 |0 (RuTPU)RU\TPU\book\161768  |t Вопросы кибернетики  |o сборник статей  |f Академия наук СССР (АН СССР), Научный совет по комплексной проблеме "Кибернетика"  |v Вып. 78 : Кибернетика и логическая формализация. Аспекты истории и методологии  |d 1975-1992 
600 1 |a Фреге  |b Ф. Л. Г.  |c немецкий логик, математик и философ  |c представитель школы аналитической философии  |f 1848-1925  |g Фридрих Людвиг Готлоб  |2 stltpush  |3 (RuTPU)RU\TPU\pers\22928  |9 9860 
600 1 |a Цетлин  |b М. Л.  |c российский математик  |f 1877-1962  |g Михаил Львович  |2 stltpush  |3 (RuTPU)RU\TPU\pers\37450 
606 1 |a Кибернетика  |2 stltpush  |3 (RuTPU)RU\TPU\subj\39446  |9 59539 
610 1 |a логика 
610 1 |a логическая программа Лейбница 
610 1 |a математика 
610 1 |a конструктивные направления 
610 1 |a счетные устройства 
610 1 |a развитие 
610 1 |a 17 век 
610 1 |a 18 век 
610 1 |a физика 
610 1 |a фундаментальные законы 
610 1 |a формализация 
675 |a 681.5  |v 3 
702 1 |a Бирюков  |b Б. В.  |4 340 
702 1 |a Спиркин  |b А. Г.  |4 340 
801 1 |a RU  |b 63413507  |c 20151231 
801 2 |a RU  |b 63413507  |c 20161021  |g RCR 
942 |c BK