Электронды каталог
М басталады
Басылымды шығарған мемлекет:РЕСЕЙ ФЕДЕРАЦИЯСЫ
Тақырыптама:Математика и естественные науки
Басылым тілі:Орыс
Басылым түрі:кітап
Нәтежелер:
201-210 из 225
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика [Текст] : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 2-е ., стер.. – Москва : Едиториал УРСС, 2005. - 238 с.– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – 1500 экз. – ISBN 5-354-01003-9 (в пер.) : 1210 тг.
ӘОЖ индексі:
510.6(075.8)
Сөрмелік мүқам:
Л 2006/6776
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Кілт сөздер
математическая логика, логико-математические языки, теория множеств, логические законы, теория алгоритмов, теории доказательств
кітап
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
Математическая логика: курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников Т. Г. Сукачева . – Изд. 3-е ., испр.. – Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 c., схемы : формулы;– (Учебники для вузов. Специальная литература. . – Библиогр.: с. 273 . – 2000 экз. – ISBN 978-5-8114-0082-9 (в пер.) : 3185 тг.
ӘОЖ индексі:
510.6(075)
Сөрмелік мүқам:
Л 2008/2904
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам
Кілт сөздер
математическая логика, лекции по матеатической логике, задачи по математической логике, алгебра логики, логика предикатов
кітап
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 2-е изд. ., перераб.. – Москва : КДУ, 2007. - 302, [1] c., формула; . – Библиогр.: с. 294 . – 1000 экз. – ISBN 978-5-98227-307-9 : 1812 тг.
ӘОЖ индексі:
510.6(075.8)
Сөрмелік мүқам:
Л 2007/4635
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка
Кілт сөздер
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
кітап
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 2-е изд. ., стер.. – Москва : Академия, 2008. - 446, [1] с.– (Высшее профессиональное образование. . – Библиогр.: с. 435-442 . – 1500 экз. – ISBN 978-5-7695-4593-1 (в пер.) : 2561 тг.
ӘОЖ индексі:
510.5/6(075.8)
Сөрмелік мүқам:
Л 2008/3754
Тақырыпты айдарлар
- Теория алгоритмов
- Математическая логика
Аңдатпа
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов
Кілт сөздер
математическая логика, логика предикатов, теория алгоритмов, машины Тьюринга
кітап
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов Е. В. Овчинникова ; Министерство образования Российской Федерации ; Новосибирский государственный технический университет... – Москва ; Новосибирск : ИНФРА-М : Издательство НГТУ, 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
Тақырыпты айдарлар
- Математическая логика и теория алгоритмов
Аңдатпа
Излагаются основные исчисления математической логики; основы теории моделей и теории алгоритмов, а также элементы неклассических логик
Кілт сөздер
математическая логика, теория алгоритмов, исчисления высказываний, теория моделей, исчисления предикатов
кітап
КЛАЙН МОРИС
Математика. Утрата определенности = Mathematics. The Loss of Certainty [Текст] / М. Клайн ; перевод с английского Ю. А. Данилова ; под редакцией И. М. Яглома... – Москва : Мир, 1984. - 445, [1] c., ил.; . – Библиогр.: с. 424-432. - Имен. указатель: с. 433-437, предметный указатель: с. 438-444 . – 50000 экз. (в пер.) : 50 тг.
ӘОЖ индексі:
51(091)
Сөрмелік мүқам:
Л 2004/5338
Тақырыпты айдарлар
- История математики
Аңдатпа
Книга американского профессора математики о развитии математики с древнейших времен до наших дней, в которой автор пытается разъяснить сущность математики и стремится ознакомить с фундаментальными проблемами, которые возникли в математике в конце XIX и в XX веке
Кілт сөздер
история математики, математическая наука, математические истины, математика в современном мире
кітап
БОРИСОВ ПЕТР МИХАЙЛОВИЧ
Может ли человек изменить климат : 2 проекта / П. М. Борисов ; предисловие В. М. Котлякова ; художественное оформление: Г. М. Берштейн, Л. И. Орлова ; Российская академия наук. – 3-е изд. .. – Москва : Наука, 2005. - 267, [2] c., ил. : табл. : [1] к.;– (Научно-популярная литература. . . – ISBN 5-02-032881-2 (в пер.)
ӘОЖ индексі:
551.5
Сөрмелік мүқам:
Л 2006/18150
Тақырыпты айдарлар
- Метеорология. Климатология
Аңдатпа
Вернуть теплые климаты далекого прошлого Земли инженер и географ П. М. Борисов (1901-1973) предлагает путями, которыми эволюция климата шла в самой природе
Кілт сөздер
климат Земли, климат, климатология, метеорология, история географии
кітап
КУСТО ЖАК-ИВ
Могучий властелин морей [Текст] : Подводные исследования Ж.-И. Кусто / Ж.-И. Кусто Ф. Диоле ; [перевод с английского с незначительными сокращениями Н. Елисеева ; научная консультация, примечания и послесловие А. В. Яблокова ; художник Е. Адамов]... – Москва : Мысль, 1977. - 187, [1] с., ил.; . . – 80000 экз. (в пер.) : 80 тг.
ӘОЖ индексі:
569.5
Сөрмелік мүқам:
Л 2004/5054
Тақырыпты айдарлар
- Китообразные
Аңдатпа
В книге рассказывается о ярком, богатом мире Индийского, Атлантического и Тихого океанов, об интереснейших наблюдениях над китами в их родной среде
Кілт сөздер
китообразные, морские животные, киты, млекопитающие, подводные исследования
кітап
Морская геоморфология. Терминологический справочник [Текст] : береговая зона: процессы, понятия, определения / ; [научная редакция В. П. Зенковича и Б. А. Попова]... – Москва : Мысль, 1980. - 280 с., граф., схем., карты; . – Библиогр.: с. 256-267 . – 8000 экз. (в пер.) : 50 тг.
ӘОЖ индексі:
551.46(038)
Сөрмелік мүқам:
Л 2004/5081
Тақырыпты айдарлар
- Рельеф морского дна
Аңдатпа
Настоящая книга представляет собой первый опыт составления терминологического справочника по динамике и морфологии морских берегов и динамике береговой зоны моря
Кілт сөздер
морская геоморфология, терминологический справочник, береговая зона, развитие морских берегов, гидродинамика береговой зоны, формы рельефа, геоморфология морских берегов, волновая абразия
кітап
АДАМСОН ДЖОЙ
Моя беспокойная жизнь = 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 Бос