Unilibrary. Oliy ta'lim muassasalarining yagona elektron kutubxona axborot tizimi.

What is Mathematics. Gödel's Theorem and Around

I define mathematical theories as stable self-contained (autonomous?) systems of reasoning, and formal theories - as mathematical models of such systems. Working with stable self-contained models mathematicians have developed their ability to draw a maximum of conclusions from a minimum of premises. This is why mathematical modeling is so efficient (my solution to the problem of "The Incomprehensible Effectiveness of Mathematics in the Natural Sciences" - as put by Eugene Wigner). For me, Goedel's results are the crucial evidence that stable self-contained systems of reasoning cannot be perfect (just because they are stable and self-contained). Such systems are either non-universal (i.e. they cannot express the notion of natural numbers: 0, 1, 2, 3, 4, ...), or they are universal, yet then they run inevitably either into contradictions, or into unsolvable problems. For humans, Platonist thinking is the best way of working with imagined structures. (Another version of this thesis was proposed in 1991 by Keith Devlin on p. 67 of his Logic and Information.) Thus, a correct philosophical position of a mathematician should be: a) Platonism - on working days - when I'm doing mathematics (otherwise, my "doing" will be inefficient), b) Formalism - on weekends - when I'm thinking "about" mathematics (otherwise, I will end up in mysticism). (The initial version of this aphorism was proposed in 1979 by Reuben Hersh (picture) on p. 32 of his Some proposals for reviving the philosophy of mathematics.)

Электроразведочная аппаратура и оборудование.

В учебнике излагаются принципы построения современной электроразведочной аппаратуры , предназначенной для измерения параметров искусственно возбуждаемых и естественных электромагнитных полей. Анализируется обобщенная структурная схема электроразведочного информационно-измерительного канала и кратко рассматриваются основные методы измерения электрических и магнитных компонент электромагнитного поля.

Горные машины и комплексы для добычи руд.

Рассмотрены конструкция и принцип действия горных машин, получивших широкое распространение на шахтах и карьерах при разработке рудных месторождений. Большое внимание уделено вопросам эксплуатации горных машин, организации работ и технике безопасности при их обслуживании. Широко представлены современные машины вращательно-ударного бурения, самоходное оборудование, применяемое на рудниках, новейшие буровые станки, горные комбайны, экскаваторы и др.

Переключения в электроустановках 0,4-10 кВ распределительных сетей

Описана эксплуатация оперативным персоналом коммутационных аппаратов, устройств релейной защиты и автоматики распределительных сетей напряжением до 10 кВ. Изложены методы выполнения оперативных переключений в нормальных режимах.

Fudbol va uni o`qitish metodikasi

Ushbu darslik jismoniy madaniyat yo`nakishlari talabalari uchun mo`ljallangan bo`lib darslikda fudbol o`yini tarixi rivojlanish bosqichlari o`yin qoidalari o`yin texnikasi va taktikasi asoslari bayon etilgan

Обработка и интерпретация материалов геофизических исследований скважин

Изложены приемы обработки и интерпретации результатов комплекса геофизических исследований скважин (ГИС) на нефтяных, газовых, рудных, угольных и других месторождениях. Во втором издании (1-е изд. — 1975) существенно переработана глава по комплексной интерпретации данных ГИС при исследовании нефтяных и газовых скважин; расширены главы по радиометрии (аппаратурное обеспечение и теория методов), оценке качества диаграмм и методам оформления результатов исследования, обработке и интерпретации данных ГИС с помощью ЭВМ.

Краткий курс палеонтологии.

Учебное пособие предназначено для студентов геологических специальностей вузов и геологических факультетов; оно может быть использовано в горных и нефтяных вузах.

Исследование по теории тектонической деформации земли

Настоящая работа представляет собой попытку физико-геологического анализа явлений тектонической активности Земли. Центральное место в ней занимает проблема cоотношений эпейрогенеза и орогенеза, составляющая классическую задачу геологии.

Подсчет запасов месторождений полезных ископаемых

За годы Советской власти на территории нашей страны выявлены месторождения всех видов полезных ископаемых. По запасам таких важнейших полезных ископаемых, как уголь, нефть, железо, марганец, хром, медь, свинец, цинк, вольфрам, никель, кобальт, апатиты, асбест, калийные соли и алмазы Советский Союз занимает ведущее место в мире.

Тиристор - конденсаторные преобразователи

Рассматриваются тиристорные преобразователи постоянного и переменного напряжения и тока с дозированной передачей энергии в нагрузку с явно и неявно выраженным звеном полышенной частоты

Результаты испытаний паровоза с камерным перегревателем И.В. Пирина

Степенями перегрева на одном паровозе, будут являться частным случаем, который нельзя распространить целиком на все паровозы без учета особенностей каждой серии. Тем не менее надо полагать, что такая работа, проделанная впервые на одном и том же паровозе, будет дополнять и уточнять накопленный опыт.

CorelDRAW X3

Данный курс обучения работе с CorelDRAW X3 предоставляет возможность каждому читателю по достоинству оценить новую версию самой популярной программы векторной графики. Содержащиеся в книге сведения о базовых концепциях и приемах работы, а также несложные, но полезные практические упражнения помогут сделать освоение CorelDRAW X3 не только полезным, но и увлекательным.

Исследование современных форм и методов расчета мостовых конструкции

При проектировании висячих и вантовых мостов, а также некоторых типов рамных виадуков достаточно точное определение внутренних усилий и прогибов характерных конструкции возможно лишь при выполнении деформационного расчета.

YEROSTI KOMMUNIKATSIYALARINI PLANGA OLISH

Darslikda yerosti kommunikatsiyalarini planga olish masalalari bayor* e tilg a n Yerosti kommunikatsiyalarining turlari va joylashishi haqida umumiy m a'lum o tit*, berilgan. Ularni loyihalashda, loyihadan joyga ko'chirish-rejalashda. ta rm o q la rri qurishda va ulardan foydalanishda geodezik ishlar ko‘rib chiqilgan. Geodezik p la n g j olish natijalarini planda va boshqa texnik hujjatlarda qanday ko'rsatilishi h acfid j tushunchalar berilgan. Darsiik “Geodeziya, kartografiya va kadastr” bakalavrlik yo‘nalishi bo‘yicha t a 'l i n olayotgan talabalarga m o‘ljallangan bo‘lib, undan geodeziya, kadastr va q u rilis j sohasidagi xodimlar ham foydalanishlari mumkin.

UY-JOY KOMMUNAL XO‘JALIGI IQTISODIYOTI VA BOSHQARUVI

Mazkur darslik «Uy-joy kommunal xojaligi iqtisodiyoti va boshqaruvi» fanidan amaldagi.fan dasturiga muvofiq tayyorlangan. Darslikda fanning predmeti, nazariy va amaliy masalalari, Respublikamiz uy-joy kommunal xo‘jaligi sohasining tashkiliy tuzilmasi hamda faoliyatining iqtisodiy m exanizm i o ‘rganilgan. Darslikda bozor iqtisodiyoti sharoitida respublikamizda uy-joy kommunal xo'jaligi sohasida olib boriiayotgan islohotlarning va tarkibiy o'zgarishlaming pirovard maqsadlarini ochib berishga harakat qilingan.

UMUMIY ASTRONOMIYA

Umumiy astronomiya» darsligi pedagogika universiteti va institutlarining «Fizika va astronom iya» ixtisosliklari uchun mo'ljallangan kurs bo'lib, u «Sferik astronomiya», «Osmon mexanikasi va nazariy astronomiya asoslari», «Astrofizika metodlari va kuzatish asboblari», «Quyosh sistemasi jismlarining fizik tabiati», «Yulduzlar», «Bizning Galaktikamiz tuzilishi va tarkibi», «Tashqi galaktikaiar», «Kosmogoniya va kosmologiya elementlari» bo'limlarini o'z ichiga olgan. Pedagogika oliy o'quv yurlarining «Fizika», «Fizika va astronomiya» ixtisosliklari talabalari uchun «Umumiy astronomiya» kursidan o'quv materiallarini o'rganishda ham undan muhim o'quv vositasi sifatida foydalanish mumkin.