Абстракция в лабиринтах познания (логический анализ)
| Prif Awdur: | Новоселов М. М. Михаил Михайлович |
|---|---|
| Awdur Corfforaethol: | Российская академия наук Институт философии (ИФ РАН) |
| Crynodeb: | К 10-й годовщине Российского Гуманитарного научного фонда. Предмет монографии философский анализ формирования и применения абстракций в технологии научного мышления. Поскольку выбор абстракций определяет гносеологические основы любой положительной науки, объясняющая роль философии здесь неоспорима. На такую именно роль и рассчитана эта книга. При этом она субъективна в такой же степени, в какой субъективна любая философская установка. Установку своей книги автор называет интервальным анализом. Это установка на интервальные образы в научной картине мира. Одновременно книга задумана как шаг к новому направлению исследований, базовым понятием которых должно стать понятие о логических моделях абстракций (логика абстракций). Поиски логических моделей абстракций и их классификация это задача каждого, кто решится на создание общей теории абстракций. |
| Iaith: | Rwseg |
| Cyhoeddwyd: |
Москва, Идея-Пресс, 2005
|
| Pynciau: | |
| Fformat: | Llyfr |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=64799 |
Eitemau Tebyg
Логика научного исследования
Cyhoeddwyd: (Москва, Наука, 1965)
Cyhoeddwyd: (Москва, Наука, 1965)
Обобщение и познание
gan: Горский Д. П. Дмитрий Павлович
Cyhoeddwyd: (Москва, Мысль, 1985)
gan: Горский Д. П. Дмитрий Павлович
Cyhoeddwyd: (Москва, Мысль, 1985)
Абстракция и структуры данных: Вводный курс; пер. с англ.
gan: Райли Д. Д. Дэвид Д.
Cyhoeddwyd: (Москва, Мир, 1993)
gan: Райли Д. Д. Дэвид Д.
Cyhoeddwyd: (Москва, Мир, 1993)
Данные в языках программирования. Абстракция и типология: [сборник статей]; пер. с англ.; Типы и абстракция данных в языках программирования
Cyhoeddwyd: (Москва, Мир, 1982)
Cyhoeddwyd: (Москва, Мир, 1982)
Логический анализ форм научного поиска
gan: Сергеев К. А. Константин Андреевич
Cyhoeddwyd: (Ленинград, Наука, 1986)
gan: Сергеев К. А. Константин Андреевич
Cyhoeddwyd: (Ленинград, Наука, 1986)
Основы проектирования на ПЛИС: практикум учебное текстовое электронное издание локального распространения
gan: Аверченко А. П.
Cyhoeddwyd: (Омск, ОмГТУ, 2023)
gan: Аверченко А. П.
Cyhoeddwyd: (Омск, ОмГТУ, 2023)
Язык C++ и основы технологии объектноориентированного программирования. Часть II учебно-методическое пособие по специальности ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМАТИКА (01.03.02)
gan: Чернышов М. К.
Cyhoeddwyd: (Воронеж, ВГУ, 2017)
gan: Чернышов М. К.
Cyhoeddwyd: (Воронеж, ВГУ, 2017)
Беседа с нашими художниками-абстракционистами
gan: Маринельо Х. Хуан
Cyhoeddwyd: (Москва, Советский художник, 1964)
gan: Маринельо Х. Хуан
Cyhoeddwyd: (Москва, Советский художник, 1964)
Объектно-ориентированное программирование. Часть 2 учебно-методическое пособие
gan: Авсеева О. В.
Cyhoeddwyd: (Воронеж, ВГУ, 2021)
gan: Авсеева О. В.
Cyhoeddwyd: (Воронеж, ВГУ, 2021)
От математики к обобщенному программированию
gan: Cтепанов А. А.
Cyhoeddwyd: (Москва, ДМК Пресс, 2016)
gan: Cтепанов А. А.
Cyhoeddwyd: (Москва, ДМК Пресс, 2016)
Абстракция в математике и физике
gan: Каганов М. И. Моисей Исаакович
Cyhoeddwyd: (Москва, Физматлит, 2005)
gan: Каганов М. И. Моисей Исаакович
Cyhoeddwyd: (Москва, Физматлит, 2005)
Программирование на языке Python учеб. пособие
gan: Гегечкори Е. Т.
Cyhoeddwyd: (Омск, ОмГТУ, 2023)
gan: Гегечкори Е. Т.
Cyhoeddwyd: (Омск, ОмГТУ, 2023)
От вербальной абстракции к количественной мере; Стандарты и качество; № 5
gan: Короткий Ю. Юрий
Cyhoeddwyd: (2003)
gan: Короткий Ю. Юрий
Cyhoeddwyd: (2003)
Современные проблемы системного анализа и управления конспект лекций
gan: Григоровский Б. К.
Cyhoeddwyd: (Самара, СамГУПС, 2017)
gan: Григоровский Б. К.
Cyhoeddwyd: (Самара, СамГУПС, 2017)
Вып. 1; Элементарная теория обобщенных функций
Cyhoeddwyd: (1959)
Cyhoeddwyd: (1959)
Об использовании в программировании проблемно-ориентированных языков; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика
gan: Васильев С. С. Сергей Сергеевич
Cyhoeddwyd: (2008)
gan: Васильев С. С. Сергей Сергеевич
Cyhoeddwyd: (2008)
Методы и средства вычислений с объектами. Аппликативные вычислительные системы
gan: Вольфенгаген В. Э. Вячеслав Эрнстович
Cyhoeddwyd: (Москва, JurInfoR Lrd, 2004)
gan: Вольфенгаген В. Э. Вячеслав Эрнстович
Cyhoeddwyd: (Москва, JurInfoR Lrd, 2004)
Русский язык для программистов: Читаем тексты по специальности учебное пособие для иностранных студентов
gan: Токарева Г. В.
Cyhoeddwyd: (Иваново, ИГЭУ, 2019)
gan: Токарева Г. В.
Cyhoeddwyd: (Иваново, ИГЭУ, 2019)
Структура и интерпретация компьютерных программ: [пер. с англ.]
gan: Абельсон Х. Харольд
Cyhoeddwyd: (Москва, КДУ, 2010)
gan: Абельсон Х. Харольд
Cyhoeddwyd: (Москва, КДУ, 2010)
Красота и стандарт
gan: Борисовский Г. Б. Георгий Борисович
Cyhoeddwyd: (Москва, Изд-во стандартов, 1968)
gan: Борисовский Г. Б. Георгий Борисович
Cyhoeddwyd: (Москва, Изд-во стандартов, 1968)
Объектно-ориентированное программирование. Наследование: Практикум к выполнению курсовой работы по дисциплинам «Основы программирования» и «Технологии программирования на языках высокого уровня»
gan: Згуральская Е. Н.
Cyhoeddwyd: (Ульяновск, УлГТУ, 2019)
gan: Згуральская Е. Н.
Cyhoeddwyd: (Ульяновск, УлГТУ, 2019)
Вып. 2; Элементарная теория обобщенных функций
Cyhoeddwyd: (1963)
Cyhoeddwyd: (1963)
Концепция формализации и программной реализации ИТ-задач: анализ, модель, алгоритмизация, инженерия; Известия Томского политехнического университета [Известия ТПУ]. Промышленная кибернетика; Т. 3, № 4
Cyhoeddwyd: (2025)
Cyhoeddwyd: (2025)
Диалоговые системы "Человек - ЭВМ" Адаптация к требованиям пользователя: пер. с англ.
gan: Денинг В. Вальтрауд
Cyhoeddwyd: (Москва, Мир, 1984)
gan: Денинг В. Вальтрауд
Cyhoeddwyd: (Москва, Мир, 1984)
Верификация моделей программ: Model Checking: пер. с англ.
gan: Кларк, мл. Э. М. Эдмунд М.
Cyhoeddwyd: (Москва, МЦНМО, 2002)
gan: Кларк, мл. Э. М. Эдмунд М.
Cyhoeddwyd: (Москва, МЦНМО, 2002)
Анализ данных. Построение трансляторов. Вопросы программирования: сборник статей
Cyhoeddwyd: (Таллин, Изд-во ТалПИ, 1979)
Cyhoeddwyd: (Таллин, Изд-во ТалПИ, 1979)
Сб. 8. Математика и философия I; Новые идеи в математике
Cyhoeddwyd: (1914)
Cyhoeddwyd: (1914)
Сб. 1. Математика. Метод, проблемы и значение её; Новые идеи в математике; Общее учение о математическом методе; Чистая математика и учение о протяженности; Новейшие работы о началах математики; Ценность и мнимая неценность математики
Cyhoeddwyd: (1913)
Cyhoeddwyd: (1913)
Логика учебное пособие
gan: Светлов В. А.
Cyhoeddwyd: (Санкт-Петербург, ПГУПС, 2013)
gan: Светлов В. А.
Cyhoeddwyd: (Санкт-Петербург, ПГУПС, 2013)
Языки программирования методические указания по лабораторным работам, практическим занятиям, самостоятельной и индивидуальной работе
gan: Романов А. С.
Cyhoeddwyd: (Москва, ТУСУР, 2018)
gan: Романов А. С.
Cyhoeddwyd: (Москва, ТУСУР, 2018)
Проблемы базы данных, построения трансляторов и анализа данных
Cyhoeddwyd: (Таллин, Изд-во ТалПИ, 1981)
Cyhoeddwyd: (Таллин, Изд-во ТалПИ, 1981)
Наука: возможности и границы
Cyhoeddwyd: (Москва, Наука, 2003)
Cyhoeddwyd: (Москва, Наука, 2003)
Как мы познаем. Исследование процесса научного познания: пер. с англ.
gan: Голдстейн М. Мартин
Cyhoeddwyd: (Москва, Знание, 1984)
gan: Голдстейн М. Мартин
Cyhoeddwyd: (Москва, Знание, 1984)
Личность. Индивидуальность. Общество. Проблема индивидуализации и ее социально-философский смысл
gan: Резвицкий И. И. Иван Иванович
Cyhoeddwyd: (Москва, Политиздат, 1984)
gan: Резвицкий И. И. Иван Иванович
Cyhoeddwyd: (Москва, Политиздат, 1984)
Логический анализ понятия количества
gan: Сайфуллаев Н. М. Нигматулла Мирзоевич
Cyhoeddwyd: (Душанбе, Дониш, 1989)
gan: Сайфуллаев Н. М. Нигматулла Мирзоевич
Cyhoeddwyd: (Душанбе, Дониш, 1989)
Математические методы моделирования физических процессов: компьютерная поддержка физического эксперимента учебно-методическое пособие
gan: Филипьев Н. А.
Cyhoeddwyd: (Москва, МИСИС, 2013)
gan: Филипьев Н. А.
Cyhoeddwyd: (Москва, МИСИС, 2013)
Эстетика и стандарт
gan: Борисовский Г. Б. Георгий Борисович
Cyhoeddwyd: (Москва, Изд-во стандартов, 1983)
gan: Борисовский Г. Б. Георгий Борисович
Cyhoeddwyd: (Москва, Изд-во стандартов, 1983)
Проблема наблюдаемости и ненаблюдаемости: философско-логический аспект: учебное пособие
gan: Петров Ю. Е. Юрий Евдокимович
Cyhoeddwyd: (Харьков, Изд-во Харьковского ун-та, 1991)
gan: Петров Ю. Е. Юрий Евдокимович
Cyhoeddwyd: (Харьков, Изд-во Харьковского ун-та, 1991)
Фатализм и случайность будущего: логический анализ
gan: Карпенко А. С. Александр Степанович
Cyhoeddwyd: (Москва, Наука, 1990)
gan: Карпенко А. С. Александр Степанович
Cyhoeddwyd: (Москва, Наука, 1990)
Метод гипотез в истории научного познания
gan: Меркулов И. П. Игорь Петрович
Cyhoeddwyd: (Москва, Наука, 1984)
gan: Меркулов И. П. Игорь Петрович
Cyhoeddwyd: (Москва, Наука, 1984)
Eitemau Tebyg
-
Логика научного исследования
Cyhoeddwyd: (Москва, Наука, 1965) -
Обобщение и познание
gan: Горский Д. П. Дмитрий Павлович
Cyhoeddwyd: (Москва, Мысль, 1985) -
Абстракция и структуры данных: Вводный курс; пер. с англ.
gan: Райли Д. Д. Дэвид Д.
Cyhoeddwyd: (Москва, Мир, 1993) -
Данные в языках программирования. Абстракция и типология: [сборник статей]; пер. с англ.; Типы и абстракция данных в языках программирования
Cyhoeddwyd: (Москва, Мир, 1982) -
Логический анализ форм научного поиска
gan: Сергеев К. А. Константин Андреевич
Cyhoeddwyd: (Ленинград, Наука, 1986)