| Про книгу | |
| Видавництво, місто | Прогресс, М. |
| Рік видання | 1976 |
| Кількість сторінок | 452 |
| Обкладинка | тверд |
-
799грн.
Схожі товари
Философия математики и технических наук: Учебник для вузов
В учебном пособии анализируются современные философские проблемы математики, информатики, технических наук и логики. Книга написана профессорами МГУ им. М.В.Ломоносова и других российских вузов. В пособии раскрываются предмет, структура и закономерности математики, информатики, технических и технологических наук, их взаимосвязь с философией, эксплицируются философские основания этих областей знания и предлагаются решения их актуальных философских проблем. Учебное пособие адресовано прежде всего аспирантам технических и математических специальностей для подготовки к сдаче кандидатского минимума по истории и философии науки, а также студентам, преподавателям, научным сотрудникам, всем, кто интересуется современными проблемами философии науки...
Введение в математическую философию. Избранные работы
В книге представлены труды Бертрана Рассела, посвященные логике и основаниям математики. "Математическая логика, основанная на теории типов" - самая известная и наиболее цитируемая работа Рассела в области математической логики. Во "Введении в математическую философию" Бертран Рассел в популярной форме пересказывает Principia Mathematica, особо акцентируя внимание на философской значимости достигнутых результатов. В этой книге также нашли отражение взгляды Рассела на природу математики. В приложении публикуются классические работы Вилларда Куайна и Курта Геделя, посвященные математической философии Рассела.Оглавление:В.А. Суровцев. Программа логицизма и теория типов Бертрана РасселаБ. Рассел. Математическая логика, основанная на теории типовПарадоксыВсе и какой-тоЗначение и область обобщенных пропозицийИерархия типовАксиома сводимостиИсходные идеи и пропозиции символической логикиЭлементарная теория классов и отношенийДескриптивные функцииКардинальные числаОрдинальные числаБ. Рассел. Введение в математическую философиюПредисловиеРяд натуральных чиселОпределение числаКонечность и математическая индукцияОпределение порядкаВиды отношенийПодобие отношенийРациональные, действительные и комплексные числаБесконечные кардинальные числаБесконечные ряды и ординальные числаПределы и непрерывностьПределы и непрерывность функцийВыборки и аксиома мультипликативностиАксиома бесконечности и логические типыНесовместимость и теория дедукцииПропозициональные функцииГлава XVI. ДескрипцииГлава XVII. КлассыГлава XVIII. Математика и логикаПриложениеВ.О. Куайн. Расселовская теория типовКонструктивная частьКлассы и аксиома сводимостиК. Гёдель Расселовская математическая логика..
Найти идею.\обл.\ Введение в ТРИЗ-теорию решения изобрет.задач
Книга о ТРИЗ - теории решения изобретательских задач. Изучив десятки тысяч патентов и свидетельств, автор открыл основные законы изобретательства и показал, что процесс создания изобретений управляем. В своей книге он рассказывает о процессе изобретательства, который требует правильной организации мышления, преодоления психологической инерции, стремления к идеальному решению, разрешения противоречия, скрытого в любой нестандартной задаче...