Электронды каталог
М басталады
Басылымды шығарған мемлекет:РЕСЕЙ ФЕДЕРАЦИЯСЫ
Тақырыптама:Математика и естественные науки
Басылым тілі:Орыс
Басылым түрі:кітап
Нәтежелер:
201-210 из 222
![](/FileStore/dataFiles/d5/2a/101848/content/cover.png?time=1720917887642&key=d4084380d780b498bc838d1b0f901e6c)
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика [Текст] : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 2-е ., стер.. – Москва : Едиториал УРСС, 2005. - 238 с.– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – 1500 экз. – ISBN 5-354-01003-9 (в пер.) : 1210 тг.
ӘОЖ индексі:
510.6(075.8)
Сөрмелік мүқам:
Л 2006/6776
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Кілт сөздер
математическая логика, логико-математические языки, теория множеств, логические законы, теория алгоритмов, теории доказательств
![](/FileStore/dataFiles/84/97/109287/content/cover.png?time=1720917887647&key=ed069bc217385e0be518659cd2d3d997)
кітап
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
Математическая логика: курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников Т. Г. Сукачева . – Изд. 3-е ., испр.. – Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 c., схемы : формулы;– (Учебники для вузов. Специальная литература. . – Библиогр.: с. 273 . – 2000 экз. – ISBN 978-5-8114-0082-9 (в пер.) : 3185 тг.
ӘОЖ индексі:
510.6(075)
Сөрмелік мүқам:
Л 2008/2904
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам
Кілт сөздер
математическая логика, лекции по матеатической логике, задачи по математической логике, алгебра логики, логика предикатов
![](/FileStore/dataFiles/c7/f7/135785/content/cover.png?time=1720917887656&key=3b1b4741fb6466142a2cd5ade0ac0f06)
кітап
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 2-е изд. ., перераб.. – Москва : КДУ, 2007. - 302, [1] c., формула; . – Библиогр.: с. 294 . – 1000 экз. – ISBN 978-5-98227-307-9 : 1812 тг.
ӘОЖ индексі:
510.6(075.8)
Сөрмелік мүқам:
Л 2007/4635
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка
Кілт сөздер
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
![](/FileStore/dataFiles/4a/82/96957/content/cover.png?time=1720917887665&key=c3bb121476c3ff2962f14e110ee12bff)
кітап
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 2-е изд. ., стер.. – Москва : Академия, 2008. - 446, [1] с.– (Высшее профессиональное образование. . – Библиогр.: с. 435-442 . – 1500 экз. – ISBN 978-5-7695-4593-1 (в пер.) : 2561 тг.
ӘОЖ индексі:
510.5/6(075.8)
Сөрмелік мүқам:
Л 2008/3754
Тақырыпты айдарлар
- Теория алгоритмов
- Математическая логика
Аңдатпа
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов
Кілт сөздер
математическая логика, логика предикатов, теория алгоритмов, машины Тьюринга
![](/FileStore/dataFiles/63/99/134192/content/cover.png?time=1720917887666&key=e226d3be6fce6cc0f71f3b35b4b95112)
кітап
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов Е. В. Овчинникова ; Министерство образования Российской Федерации ; Новосибирский государственный технический университет... – Москва ; Новосибирск : ИНФРА-М : Издательство НГТУ, 2008. - 223, [1] с., формула;– (Высшее образование. : серия основана в 1996 г. . – Библиогр.: с. 212-214 . – 1500 экз. – ISBN 978-5-16-001975-8 (ИНФРА-М), ISBN 978-5-7782-0458-4 (НГТУ) (в пер.) : 1100 тг.
ӘОЖ индексі:
510.6(075.8)
Сөрмелік мүқам:
Л 2008/2382
Тақырыпты айдарлар
- Математическая логика и теория алгоритмов
Аңдатпа
Излагаются основные исчисления математической логики; основы теории моделей и теории алгоритмов, а также элементы неклассических логик
Кілт сөздер
математическая логика, теория алгоритмов, исчисления высказываний, теория моделей, исчисления предикатов
![](/FileStore/dataFiles/b7/88/1011364/content/cover.png?time=1720917887676&key=e1efe90bcae0bd47ae25029e92f5a2c5)
кітап
КЛАЙН МОРИС
Математика. Утрата определенности = Mathematics. The Loss of Certainty [Текст] / М. Клайн ; перевод с английского Ю. А. Данилова ; под редакцией И. М. Яглома... – Москва : Мир, 1984. - 445, [1] c., ил.; . – Библиогр.: с. 424-432. - Имен. указатель: с. 433-437, предметный указатель: с. 438-444 . – 50000 экз. (в пер.) : 50 тг.
ӘОЖ индексі:
51(091)
Сөрмелік мүқам:
Л 2004/5338
Тақырыпты айдарлар
- История математики
Аңдатпа
Книга американского профессора математики о развитии математики с древнейших времен до наших дней, в которой автор пытается разъяснить сущность математики и стремится ознакомить с фундаментальными проблемами, которые возникли в математике в конце XIX и в XX веке
Кілт сөздер
история математики, математическая наука, математические истины, математика в современном мире
![](/FileStore/dataFiles/c1/c0/148589/content/cover.png?time=1720917887681&key=06328bf2827970b2b27a04b6f2cd7540)
кітап
БОРИСОВ ПЕТР МИХАЙЛОВИЧ
Может ли человек изменить климат : 2 проекта / П. М. Борисов ; предисловие В. М. Котлякова ; художественное оформление: Г. М. Берштейн, Л. И. Орлова ; Российская академия наук. – 3-е изд. .. – Москва : Наука, 2005. - 267, [2] c., ил. : табл. : [1] к.;– (Научно-популярная литература. . . – ISBN 5-02-032881-2 (в пер.)
ӘОЖ индексі:
551.5
Сөрмелік мүқам:
Л 2006/18150
Тақырыпты айдарлар
- Метеорология. Климатология
Аңдатпа
Вернуть теплые климаты далекого прошлого Земли инженер и географ П. М. Борисов (1901-1973) предлагает путями, которыми эволюция климата шла в самой природе
Кілт сөздер
климат Земли, климат, климатология, метеорология, история географии
![](/FileStore/dataFiles/13/4e/1010757/content/cover.png?time=1720917887693&key=52d1023bc78a2aae68df043e5c92519f)
кітап
КУСТО ЖАК-ИВ
Могучий властелин морей [Текст] : Подводные исследования Ж.-И. Кусто / Ж.-И. Кусто Ф. Диоле ; [перевод с английского с незначительными сокращениями Н. Елисеева ; научная консультация, примечания и послесловие А. В. Яблокова ; художник Е. Адамов]... – Москва : Мысль, 1977. - 187, [1] с., ил.; . . – 80000 экз. (в пер.) : 80 тг.
ӘОЖ индексі:
569.5
Сөрмелік мүқам:
Л 2004/5054
Тақырыпты айдарлар
- Китообразные
Аңдатпа
В книге рассказывается о ярком, богатом мире Индийского, Атлантического и Тихого океанов, об интереснейших наблюдениях над китами в их родной среде
Кілт сөздер
китообразные, морские животные, киты, млекопитающие, подводные исследования
![](/FileStore/dataFiles/f1/db/1010866/content/cover.png?time=1720917887694&key=44061bc5f573e830915c339f028500be)
кітап
Морская геоморфология. Терминологический справочник [Текст] : береговая зона: процессы, понятия, определения / ; [научная редакция В. П. Зенковича и Б. А. Попова]... – Москва : Мысль, 1980. - 280 с., граф., схем., карты; . – Библиогр.: с. 256-267 . – 8000 экз. (в пер.) : 50 тг.
ӘОЖ индексі:
551.46(038)
Сөрмелік мүқам:
Л 2004/5081
Тақырыпты айдарлар
- Рельеф морского дна
Аңдатпа
Настоящая книга представляет собой первый опыт составления терминологического справочника по динамике и морфологии морских берегов и динамике береговой зоны моря
Кілт сөздер
морская геоморфология, терминологический справочник, береговая зона, развитие морских берегов, гидродинамика береговой зоны, формы рельефа, геоморфология морских берегов, волновая абразия
![](/FileStore/dataFiles/7d/df/1010794/content/cover.png?time=1720917887695&key=6a9a2088adc9faf0e7ccb963ee503766)
кітап
АДАМСОН ДЖОЙ
Моя беспокойная жизнь = The Searching spirit [Текст] / Д. Адамсон ; сокращенный перевод с английского В. В. Агафонова, Г. М. Улицкой ; послесловие В. Е. Флинта ; [редактор И. М. Максимова]... – Москва : Прогресс, 1981. - 224 с., [8] л. ил.; . . – 200000 экз. : 50 тг.
ӘОЖ индексі:
591.5
Сөрмелік мүқам:
Л 2004/5138
Тақырыпты айдарлар
- Образ жизни животных. Поведение животных. Экология. Этология. Животное и окружающая среда
Аңдатпа
Читатель с большим интересом прочитает новую, автобиографическую книгу писательницы, почти всю свою жизнь посвятившей путешествиям и изучению животных и растений Африки и защите их от угрозы исчезновения
Кілт сөздер
автобиографическая книга, природа Африки, животные Африки, защита животных Африки, охрана природы, гепарды
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2005)
кітап
1/1 Бос
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА: КУРС ЛЕКЦИЙ (2008)
кітап
1/1 Бос
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2007)
кітап
1/1 Бос
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
1/1 Бос
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
2/2 Бос
кітап
3/3 Бос
БОРИСОВ ПЕТР МИХАЙЛОВИЧ
МОЖЕТ ЛИ ЧЕЛОВЕК ИЗМЕНИТЬ КЛИМАТ (2005)
кітап
1/1 Бос
кітап
1/1 Бос
МОРСКАЯ ГЕОМОРФОЛОГИЯ. ТЕРМИНОЛОГИЧЕСКИЙ СПРАВОЧНИК (1980)
кітап
1/1 Бос
кітап
2/2 Бос