Новые поступления (книга в стадии обработки) Ракитов, А. И. Принципы научного мышления [Текст] : научное издание / А. И. Ракитов. - М. : Политиздат, 1975. - 143 с. : ил. ; 17 см. - (Философская б-ка для юношества). - 0.20 р.
Рубрики: Философия--Общефилософские проблемы Кл.слова (ненормированные): НАУЧНОЕ МЫШЛЕНИЕ -- ЭМПИРИЧЕСКИЕ НАБЛЮДЕНИЯ -- ЭКСПЕРИМЕНТАЛЬНАЯ ДЕЯТЕЛЬНОСТЬ -- СОВРЕМЕННАЯ НАУКА -- АБСТРАКЦИИ -- ВЕРОЯТНОСТЬ -- ДОСТОВЕРНОСТЬ -- ОРГАНИЗАЦИЯ ЗНАНИЯ Аннотация: Книга знакомит читателя с тем, как образуются научные абстракции, каким требованиям должны удовлетворять законы науки, дает представление о таких важных понятиях современной науки, как вероятность, неопределенность, достоверность. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Петров, Ю. А. Логические проблемы абстракций бесконечности и осуществимости [Текст] : научное издание / Ю. А. Петров ; отв. ред. С. А. Яновская ; Акад. наук СССР, Науч. совет по комплексной проблеме "Кибернетика" (Москва). - М. : Изд-во "Наука", 1967. - 162 с. : ил. ; 21 см. - Библиогр.: с. 160-162. - 0.50 р.
Кл.слова (ненормированные): АБСТРАКЦИИ -- КОНЕЧНЫЕ МНОЖЕСТВА -- БЕСКОНЕЧНЫЕ МНОЖЕСТВА -- КОНСТРУКТИВНЫЕ МНОЖЕСТВА -- АБСТРАКЦИИ БЕСКОНЕЧНОСТИ -- АБСТРАКЦИИ ОСУЩЕСТВИМОСТИ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Яновская, С. А. |
Новые поступления (книга в стадии обработки) Кибернетический сборник [Текст] : сб. переводов : [пер. с англ.] / под ред. О. Б. Лупанова. - Москва : Мир, 1965 - . - (Новая серия). Вып. 21. - 1984. - 263, [1] с. - Библиогр. в конце ст. - (в пер.) : 2.50 р. Содержание: Храпченко, В. М. Нижние оценки сложности схем из функциональных элементов : обзор / В. М. Храпченко. - С .3-54 Препарата, Ф. Нахождение пересечения n полупространств за время 0 (n log n) / Ф. Препарата, Д. Маллер. - С .55-68 Вегенер, И. Булевы функции, чья монотонная сложность имеет величину порядка n2/log n / И. Вегенер. - С .69-84 Дельсарт, Ф. Нумераторы спектра для некоторых кодов над целочисленными алфавитами, исправляющих аддитивные ошибки / Ф. Дельсарт, Ф. Пире. - С .85-104 Франкл, П. О семействах Шпернера, удовлетворяющих дополнительному условию / П. Франкл. - С .105-116 Пауль, В. Оценка памяти для одной игры на графах / В. Пауль, Р. Э. Тарьян, Д. Р. Селони. - С .117-132 Пауль, В. О соотношении времени и памяти в игре в камни / В. Пауль, Р. Э. Тарьян. - С .133-138 Плейстид, Д. А. Доказательство теорем с помощью абстракций / Д. А. Плейстид. - С .139-212 Зикманн, Й. Универсальная унификация и классификация эквациональных теорий / Й. Зикманн, П. Сабо. - С .213-234 Воз, Л. Решение некоторых открытых проблем с помощью программы для автоматического доказательства теорем / Л. Воз. - С .235-263 Рубрики: Радиоэлектроника--Кибернетика Кл.слова (ненормированные): абстракции -- автоматическое доказательство теорем -- булевы функции -- эквациональные теории Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Лупанов, О. Б. \\ред.\\ |