Digital catalogue


 

Choice of metadata Electronic Library

Page 5, Results: 244

Report on unfulfilled requests: 0

87
Б91

Буравлев, О. Ю.
    Логика. Задания и упражнения [Электронный ресурс] : учебное пособие / О. Ю. Буравлев. - Тамбов : Изд-во ТГТУ, 2004. - 64 с. - Б. ц.

ББК 87

Рубрики: ФИЛОСОФИЯ

   ЛОГИКА


Кл.слова (ненормированные):
логика -- логические задания -- логические упражнения -- логика и язык

Буравлев, О.Ю. Логика. Задания и упражнения [Электронный ресурс] : Учебное пособие / О. Ю. Буравлев, 2004. - 64 с.

41.

Буравлев, О.Ю. Логика. Задания и упражнения [Электронный ресурс] : Учебное пособие / О. Ю. Буравлев, 2004. - 64 с.


87
Б91

Буравлев, О. Ю.
    Логика. Задания и упражнения [Электронный ресурс] : учебное пособие / О. Ю. Буравлев. - Тамбов : Изд-во ТГТУ, 2004. - 64 с. - Б. ц.

ББК 87

Рубрики: ФИЛОСОФИЯ

   ЛОГИКА


Кл.слова (ненормированные):
логика -- логические задания -- логические упражнения -- логика и язык

22.1я73
Б95

Быльцов, С.
    Логические головоломки и задачи. Занимательная задача для всей семьи [Электронный ресурс] / С. Быльцов. - М. : Де Агостини, 2014. - 496 с. : 160. - Б. ц.

УДК
ББК 22.1я73

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   ВЫСШАЯ МАТЕМАТИКА


Кл.слова (ненормированные):
знаминитая логика -- манипулирование -- разрезание -- перегибание

Быльцов, С. Логические головоломки и задачи. Занимательная задача для всей семьи [Электронный ресурс] / С. Быльцов, 2014. - 496 с.

42.

Быльцов, С. Логические головоломки и задачи. Занимательная задача для всей семьи [Электронный ресурс] / С. Быльцов, 2014. - 496 с.


22.1я73
Б95

Быльцов, С.
    Логические головоломки и задачи. Занимательная задача для всей семьи [Электронный ресурс] / С. Быльцов. - М. : Де Агостини, 2014. - 496 с. : 160. - Б. ц.

УДК
ББК 22.1я73

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   ВЫСШАЯ МАТЕМАТИКА


Кл.слова (ненормированные):
знаминитая логика -- манипулирование -- разрезание -- перегибание

88.3я73
В27

Величковский, Б. М.
    Когнитивная наука. Основы психологии познания. В 2 т. [Электронный ресурс] : учебник. Т.2 / Б. М. Величковский. - М. : Академия, 2006. - 432 с. - Б. ц.

ББК 88.3я73

Рубрики: ПСИХОЛОГИЯ

   ОБЩАЯ ПСИХОЛОГИЯ


Кл.слова (ненормированные):
психологические методы -- логика -- нейропсихологические исследования -- антология -- речевая активность -- мышление -- метапознание -- виртуальная жизнь -- вертикальная интеграция -- структура интеллекта

Величковский, Б.М. Когнитивная наука. Основы психологии познания. В 2 т. [Электронный ресурс] : Учебник. Т.2 / Б. М. Величковский, 2006. - 432 с.

43.

Величковский, Б.М. Когнитивная наука. Основы психологии познания. В 2 т. [Электронный ресурс] : Учебник. Т.2 / Б. М. Величковский, 2006. - 432 с.


88.3я73
В27

Величковский, Б. М.
    Когнитивная наука. Основы психологии познания. В 2 т. [Электронный ресурс] : учебник. Т.2 / Б. М. Величковский. - М. : Академия, 2006. - 432 с. - Б. ц.

ББК 88.3я73

Рубрики: ПСИХОЛОГИЯ

   ОБЩАЯ ПСИХОЛОГИЯ


Кл.слова (ненормированные):
психологические методы -- логика -- нейропсихологические исследования -- антология -- речевая активность -- мышление -- метапознание -- виртуальная жизнь -- вертикальная интеграция -- структура интеллекта

22.3
В27

Велокуров, В. В.
    Квантовая телепортация - обыкновенное чудо [Электронный ресурс] / В. В. Велокуров, О. Д. Тимофеевская, О. А. Хрусталев. - Ижевск : РХД, 2000. - 256 с. - Б. ц.

ББК 22.3

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   КВАНТОВАЯ МЕХАНИКА


Кл.слова (ненормированные):
квантовая механика -- квантовая телепортация -- квантовая логика

Доп.точки доступа:
Тимофеевская, О.Д.
Хрусталев, О.А.

Велокуров, В.В. Квантовая телепортация - обыкновенное чудо [Электронный ресурс] / В. В. Велокуров, О. Д. Тимофеевская, О. А. Хрусталев, 2000. - 256 с.

44.

Велокуров, В.В. Квантовая телепортация - обыкновенное чудо [Электронный ресурс] / В. В. Велокуров, О. Д. Тимофеевская, О. А. Хрусталев, 2000. - 256 с.


22.3
В27

Велокуров, В. В.
    Квантовая телепортация - обыкновенное чудо [Электронный ресурс] / В. В. Велокуров, О. Д. Тимофеевская, О. А. Хрусталев. - Ижевск : РХД, 2000. - 256 с. - Б. ц.

ББК 22.3

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   КВАНТОВАЯ МЕХАНИКА


Кл.слова (ненормированные):
квантовая механика -- квантовая телепортация -- квантовая логика

Доп.точки доступа:
Тимофеевская, О.Д.
Хрусталев, О.А.

22.3
В31

Верещагин, И. А.
    Донимательная физика [Электронный ресурс] / И. А. Верещагин. - М. : БФ ПГУ, 2002. - 96 с. - Б. ц.

ББК 22.3

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   ФИЗИКА


Кл.слова (ненормированные):
логика -- теория множеств -- квантовая механика -- теория всего -- математическая экономика

Верещагин, И.А. Донимательная физика [Электронный ресурс] / И. А. Верещагин, 2002. - 96 с.

45.

Верещагин, И.А. Донимательная физика [Электронный ресурс] / И. А. Верещагин, 2002. - 96 с.


22.3
В31

Верещагин, И. А.
    Донимательная физика [Электронный ресурс] / И. А. Верещагин. - М. : БФ ПГУ, 2002. - 96 с. - Б. ц.

ББК 22.3

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   ФИЗИКА


Кл.слова (ненормированные):
логика -- теория множеств -- квантовая механика -- теория всего -- математическая экономика

22.3
В31

Верещагин, И. А.
    Дополнительная физика [Электронный ресурс] / И. А. Верещагин. - М. : БФ ПГУ, 2015. - 96 с. - Б. ц.

ББК 22.3

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   ФИЗИКА


Кл.слова (ненормированные):
физика -- логика -- теория множеств -- квантовая механика

Верещагин, И.А. Дополнительная физика [Электронный ресурс] / И. А. Верещагин, 2015. - 96 с.

46.

Верещагин, И.А. Дополнительная физика [Электронный ресурс] / И. А. Верещагин, 2015. - 96 с.


22.3
В31

Верещагин, И. А.
    Дополнительная физика [Электронный ресурс] / И. А. Верещагин. - М. : БФ ПГУ, 2015. - 96 с. - Б. ц.

ББК 22.3

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   ФИЗИКА


Кл.слова (ненормированные):
физика -- логика -- теория множеств -- квантовая механика

22.12
В31

Верещагин, Н. К.
    Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 192 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
вычислимость -- перечислимость -- разрешимость -- универсальные функции -- неразрешимость -- простые множества -- конструкция Поста -- нумерации -- операции -- множества номеров -- изоморфизм -- неподвижная точка -- системный трюк

Доп.точки доступа:
Шень, А.

Верещагин, Н.К. Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень, 2002. - 192 с.

47.

Верещагин, Н.К. Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень, 2002. - 192 с.


22.12
В31

Верещагин, Н. К.
    Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 192 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
вычислимость -- перечислимость -- разрешимость -- универсальные функции -- неразрешимость -- простые множества -- конструкция Поста -- нумерации -- операции -- множества номеров -- изоморфизм -- неподвижная точка -- системный трюк

Доп.точки доступа:
Шень, А.

22.12
В31

Верещагин, Н. К.
    Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.1. Начала теории множеств / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 128 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
множества и мощности -- упорядоченные множества -- множества -- число -- элементы

Доп.точки доступа:
Шень, А.

Верещагин, Н.К. Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.1. Начала теории множеств / Н. К. Верещагин, А. Шень, 2002. - 128 с.

48.

Верещагин, Н.К. Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.1. Начала теории множеств / Н. К. Верещагин, А. Шень, 2002. - 128 с.


22.12
В31

Верещагин, Н. К.
    Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.1. Начала теории множеств / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 128 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
множества и мощности -- упорядоченные множества -- множества -- число -- элементы

Доп.точки доступа:
Шень, А.

22.12
В31

Верещагин, Н. К.
    Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории

Доп.точки доступа:
Шень, А.

Верещагин, Н.К. Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень, 2002. - 288 с.

49.

Верещагин, Н.К. Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень, 2002. - 288 с.


22.12
В31

Верещагин, Н. К.
    Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории

Доп.точки доступа:
Шень, А.

22.12
В31

Верещагин, Н. К.
    Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : [б. и.], 1999. - 177 с. - Б. ц.

ББК 22.12

Рубрики: Основания математики. Математическая логика

Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- высшая математика -- вычислительные функции

Доп.точки доступа:
Шень, А.Ч.

Верещагин, Н.К. Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень, 1999. - 177 с.

50.

Верещагин, Н.К. Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень, 1999. - 177 с.


22.12
В31

Верещагин, Н. К.
    Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : [б. и.], 1999. - 177 с. - Б. ц.

ББК 22.12

Рубрики: Основания математики. Математическая логика

Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- высшая математика -- вычислительные функции

Доп.точки доступа:
Шень, А.Ч.

Page 5, Results: 244

 

All acquisitions for 
Or select a month