Приложение
для AndroidПолное описание
Бирюков, Б. В. Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики / Б.В.Бирюков,В.Н.Тростников. - 3-е изд., перераб. и доп. - М. : УРСС ; Едиториал УРСС : [б. и.], 2004. - 228 с. : ил. - 1000 экз. - ISBN 5-354-00310-5. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510(09) | |
| 20.01.09 | 007(09) | |
| 28.01.09 | 004(09) | |
| 03.91 |
Рубрики:
Кибернетика -- История
Математическая логика -- История
Информатика -- История
Кл.слова (ненормированные): ИНФОРМАТИКА -- ИСТОРИЯ -- КИБЕРНЕТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп. точки доступа:
Тростников, В.Н.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-04/93552)
Шифр в сводном ЭК: aa856335a4aabeefa8ed2e632affc1ec
Бирюков Б.В. Проблема логического обоснования дедуктивно-математического знания от античности до ХХ века. Логико-математический и философский аспекты / Б. В. Бирюков, Л. Г. Бирюкова, 2015. - 230 с. - Текст : непосредственный.Виктор Иванович Шестаков и открытие логического моделирования в технике / Б. В. Бирюков, И. С. Верстин, З. А. Кузичева [и др.], 2009. - 367 с. - Текст : непосредственный.Наука в СССР: через тернии к звездам. № 43 : Виктор Иванович Шестаков: Логика и техника. Алгебра логики. Контактные схемы. Первые успехи применения булевых алгебр в конструировании релейно-контактных схем / ред.-сост.: Б. В. Бирюков, И. С. Верстин, 2016. - 212 с. - Текст : непосредственный.Яновская С.А. Лекции по алгебре логики / С. А. Яновская ; Сост.: Б. В. Бирюков, З. А. Кузичева, 2015. - 257 с. - Текст : непосредственный.
Шапошников В.В. Совершенствование тепловых схем газотурбинных и контактных парогазовых установок / В. В. Шапошников, Б. В. Бирюков, 2018. - 123 с. - Текст : непосредственный.Яновская С.А. Логика и философия математики / С. А. Яновская; под ред. и с коммент. сост. Б. В. Бирюкова [и др.], 2016. - 200 с. - Текст : непосредственный.Бирюков Б.В. Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики / Б.В.Бирюков,В.Н.Тростников, 2004. - 228 с. - Текст : непосредственный.Бирюков Б.В. Кибернетика и методология науки / Б. В. Бирюков; [отв. ред. А. Г. Спиркин], 1974. - 414 с. - Текст : непосредственный.Шапошников В.В. Турбины тепловых и атомных электрических станций : учебное пособие / В. В. Шапошников, Б. В. Бирюков, 2019. - 191 с. - Текст : непосредственный.Тростников В.Н. Конструктивные процессы в математике. Философский аспект / В. Н. Тростников; отв. ред. Б. В. Бирюков, Б. А. Кушнер, 2014. - 255 с. - Текст : непосредственный.Бирюков Б.В. Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики / Б. В. Бирюков, В. Н. Тростников, 2009. - 228 с. - Текст : непосредственный.Тростников В.Н. Загадка Эйнштейна.(Математика и реальный мир) / В.Н.Тростников, 1971. - 48 c. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Бирюков Б.В. Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики / Б.В.Бирюков,В.Н.Тростников, 2004. - 228 с. - Текст : непосредственный.Бирюков Б.В. Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики / Б. В. Бирюков, В. Н. Тростников, 2009. - 228 с. - Текст : непосредственный.
Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Chen Y. Meshless methods in solid mechanics / Y. Chen, J. Lee, A. Eskandarian, 2006 r=on-lineRomano A. Continuum mechanics using mathematica ® / A. Romano, A. Marasco, R. Lancellotta, 2006 r=on-lineTeodorescu P.P. Mechanical systems, classical models / P. P. Teodorescu, 2007 r=on-lineИванова О.А. Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. А. Иванова, 2007. - 15 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Разностные схемы : сборник№ 5 / Ред. В. Г. Дулов, 1989. - 162 с. - Текст : непосредственный.Хованский А.Д. Геохимия аквальных ландшафтов / А. Д. Хованский, 1993. - 239 c. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Кузнецов П.Б. Основы нечеткой математики. Теория нечетких множеств / П. Б. Кузнецов, Ю. К. Оленикова, 2003. - 154 с. - Текст : непосредственный.Арсеньев Д.Г. Адаптивное управление в стохастических методах вычислительной математики и механики : учебное пособие / Д. Г. Арсеньев, В. М. Иванов, М. Л. Кореневский, 2008. - 423 с. - Текст : непосредственный.Цивинский С.В. Специальная теория относительности, понятие времени, новая возможность уточнения классической механики и зависимость физических свойств от скорости движения / С. В. Цивинский, 1989. - 33 л. - Текст : непосредственный.Численные методы механики сплошной среды : материалы временных коллективов / АН СССР, Сибирское отделение, 1991. - 171 с. - Текст : непосредственный.
Показать все результатыБаин А.М. История развития компьютерной техники : выставочные материалы / А. М. Баин, 2013. - 107 с. - Текст : непосредственный.Макарский Д.Д. История компьютерной эры / Д. Д. Макарский, А. В. Никоноров, 2017. - 254 с. - Текст : непосредственный.Смирнов Ю.П. История вычислительной техники. Становление и развитие / Ю. П. Смирнов, 1994. - 196 c. - Текст : непосредственный.
Гухман В.Б. Лекции по истории науки и техники (с приложениями в информатике) : учебное пособие / В. Б. Гухман, 2017. - 127 с. - Текст : непосредственный.Рид Т. Рождение машин. Неизвестная история кибернетики / Томас Рид; [перевод с английского Е. Васильченко, Е. Кузьминой], 2019. - 542 с. (Введено оглавление). - Текст : непосредственный.History of nordic computing 2 : second IFIP WG 9.7 conference, HiNC2, Turku, Finland, Aug. 21-23, 2007: rev. sel. papers / ed. J. Impagliazzo, 2009 r=on-line. - Текст : электронный.Езерова Г.Н. К вопросу об истории информатики в России / Г. Н. Езерова, Э. С. Луховицкая, 2012. - 12 с. - Текст : непосредственный.Wierzbicki A.P. Technen: Elements of Recent History of Information Technologies with Epistemological Conclusions / A. P. Wierzbicki, 2015 r=on-line. - Текст : электронный.Эйнгорин М.Я. Как создавалась первая цифровая последовательная ЭВМ в СССР - машина ГИФТИ / М. Я. Эйнгорин, 2007. - 143 с. - Текст : непосредственный.Шилов В.В. Удивительная история информатики и автоматики / В. В. Шилов, 2013. - 215 с. - Текст : непосредственный.Очерки истории информатики в России / Ред.-сост.Д.А.Поспелов.Я.И.Фет, 1998. - 662 с. - Текст : непосредственный.Бирюков Б.В. Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики / Б.В.Бирюков,В.Н.Тростников, 2004. - 228 с. - Текст : непосредственный.Bauer F.L. Historische Notizen zur Informatik / F. L. Bauer, 2009 r=on-line. - Текст : электронный.Хрестоматия по истории информатики / Ин-т вычисл. математики и мат. геофизики, 2014. - 559 с. - Текст : непосредственный.Суханов А.П. От гусиного пера к компьютеру / А.П.Суханов,В.Г.Филоненко, 1999. - 334 с. - Текст : непосредственный.Страницы истории отечественных ИТ : [в 5 томах] / Виртуальный компьютерный музей, Аплана группа компаний ; [сост. Э. М. Пройдаков]. Т. 5, 2019. - 221, [1] с. - Текст : непосредственный.Фельдман Б.Я. От калькулятора к суперкомпьютеру / Б. Я. Фельдман, 2006. - 332 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |