378
М34


    Матросов, В. Л.
    Избранные статьи и доклады [Текст] / В. Л. Матросов. - М. : Магистр, 1996. - 254 с. - Б.ц.
УДК

Кл.слова (ненормированные):
Педагогика -- УНИВЕРСИТЕТСКОЕ ОБРАЗОВАНИЕ -- ВЫСШЕЕ ОБРАЗОВАНИЕ -- Математика -- математическая кибернетика -- теория алгоритмов -- математическая логика
Аннотация: О вопросах университетского образования в России. Работы в области мат. логики, теории алгоритмов и мат. кибернетики

Экземпляры всего: 1
2к (1)
Свободны: 2к (1)

03
Э68


    Энциклопедия для детей [Текст] / Глав. ред. М.Д. Аксенова. - М. : Аванта+, 1999 - .
   Т. 11 : Математика. - 1999. - 688 с. : ил. - 200.00 р.
УДК

Кл.слова (ненормированные):
Математика -- энциклопедии -- математическая логика -- энциклопедия отраслевая -- энциклопедии для детей -- фигуры -- история математики -- числа

Экземпляры всего: 1
ч/з-1 (1)
Свободны: ч/з-1 (1)

51
Д35


    Депман, И. Я.
    Первое знакомство с математической логикой [Текст] / И. Я. Депман. - 2-е испр. изд. - Л. : О-во "Знание" РСФСР. Ленингр. организация, 1965. - 56 с. : ил. - 0.08 р.
УДК

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

Экземпляры всего: 1
2к (1)
Свободны: 2к (1)

51/07/
К17


    Калужнин, Л. А.
    Элементы теории множеств и математической логики в школьном курсе математики: Пособие для учителя [Текст] / Л. А. Калужнин. - М. : Просвещение, 1978. - 87 с. : ил. - (Пособие для учителя). - 0.15 р.
УДК

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

Экземпляры всего: 2
2к (2)
Свободны: 2к (2)

51/07/
К66


    Кордемский, Б. А.
    Математическая смекалка [Текст] / Б. А. Кордемский. - Изд. 7-е, перераб. - М. : Физматгиз, 1963. - 567 с. : ил. - 1.03 р.
УДК

Кл.слова (ненормированные):
Математика -- занимательная математика -- математическая логика -- ПРЕПОДАВАНИЕ МАТЕМАТИКИ

Экземпляры всего: 1
2к (1)
Свободны: 2к (1)

51/07/
К66


    Кордемский, Б. А.
    Математическая смекалка [Текст] / Б. А. Кордемский. - Изд. 6-е, стереотип. - М. : Физматгиз, 1959. - 575 с. : ил. - 1.03 р.
УДК

Кл.слова (ненормированные):
Математика -- занимательная математика -- математическая логика -- ПРЕПОДАВАНИЕ МАТЕМАТИКИ

Экземпляры всего: 2
2к (2)
Свободны: 2к (2)

51/07/
К66


    Кордемский, Б. А.
    Математическая смекалка [Текст] / Б. А. Кордемский. - Изд. 5-е, стереотип. - М. : Физматгиз, 1958. - 575 с. : ил. - 1.03 р.
УДК

Кл.слова (ненормированные):
Математика -- занимательная математика -- математическая логика -- ПРЕПОДАВАНИЕ МАТЕМАТИКИ

Экземпляры всего: 3
2к (3)
Свободны: 2к (3)

51/07/
К95


    Кутасов, А. Д.
    Элементы математической логики: Пособие для учащихся 9-10 классов [Текст] / А. Д. Кутасов. - М. : Просвещение, 1977. - 63 с. : ил. - 0.10 р.
УДК

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

Экземпляры всего: 9
2к (9)
Свободны: 2к (9)

51
Б59


    Бизам, Д.
    Игра и логика : 85 логических задач [Текст] / Д. Бизам, Я. Герцег; Пер. с венг. Ю.А. Данилова. - М. : Мир, 1975. - 359 с. : ил. - 1.15 р.
УДК

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

Экземпляры всего: 2
2к (2)
Свободны: 2к (2)

517.2/075/
М79


    Мордкович, А. Г.
    Математический анализ: учеб. пособие для педвузов [Текст] / А. Г. Мордкович. - М. : Вербум-М, 2000. - 416 с. - 99.00 р.
УДК

Кл.слова (ненормированные):
Математика -- комплексные переменные -- теория функций -- математическая логика -- математический анализ -- учебное пособие для пед. вузов -- ПЕДАГОГИЧЕСКИЙ ПРОФИЛЬ

Экземпляры всего: 42
ч/з-2 (1), 2к (41)
Свободны: ч/з-2 (1), 2к (41)

16
С81


    Столяр, А. А.
    Как мы рассуждаем? [Текст] / А. А. Столяр. - Мн. : Нар. асвета, 1968. - 109 с. - 0.15 р.
УДК

Кл.слова (ненормированные):
Математика -- внеклассная работа -- Педагогика -- математическая логика

Экземпляры всего: 1
1к (1)
Свободны: 1к (1)

51/075/
И26


    Игошин, В. И.
    Задачник-практикум по математической логике: Учеб. пособие для студ.-заочников физ.-мат. фак. пед. ин-тов [Текст] / В. И. Игошин. - М. : Просвещение, 1986. - 159 с. : ил. - 0.30 р.
УДК

Кл.слова (ненормированные):
Математика -- ЗАОЧНОЕ ОБУЧЕНИЕ -- Педагогика -- практикумы -- учебное пособие для пед. вузов -- задачи -- математическая логика

Экземпляры всего: 46
2к (46)
Свободны: 2к (46)

517.1
Л65


    Лихтарников, Л. М.
    Первое знакомство с математической логикой: Кн. для начинающих изучать математическую логику и преподавателей [Текст] / Л. М. Лихтарников. - СПб. : Лань, 1997. - 112 с. : ил. - 15.00 р.
УДК

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

Экземпляры всего: 1
2к (1)
Свободны: 2к (1)

51/07/
Е74


    Ермолаева, Н. А.
    Математика в восьмилетней школе: Обзор содержания: Пособие для учителей [Текст] / Н. А. Ермолаева. - М. : Просвещение, 1976. - 79 с. - 0.17 р.
УДК

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

Экземпляры всего: 2
2к (2)
Свободны: 2к (2)

73
Л88


    Лыскова, В. Ю.
    Логика в информатике: Метод. пособие [Текст] / В. Ю. Лыскова. - М. : Лаборатория Базовых Знаний, 2001. - 160 с. : ил. - (Информатика). - 68.00 р.
ББК 73

Кл.слова (ненормированные):
ЭВМ -- математическая логика -- учебно-методическое пособие -- логика -- информатика -- Науковедение

Экземпляры всего: 1
2к (1)
Свободны: 2к (1)

51
Г75


    Градштейн, И. С.
    Прямая и обратная теоремы: Элементы алгебры логики [Текст] / И. С. Градштейн. - М. : Наука, 1972. - 128 с. : черт. - 0.24 р.
УДК

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

Экземпляры всего: 6
2к (6)
Свободны: 2к (6)

51
Г75


    Градштейн, И. С.
    Прямая и обратная теоремы: Элементы алгебры логики [Текст] / И. С. Градштейн. - 4-е изд., стереотип. - М. : Наука, 1965. - 128 с. : черт. - 0.22 р.
УДК

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

Экземпляры всего: 1
2к (1)
Свободны: 2к (1)

6П2.15
Ж78


    Жогелев, Е. А.
    Курс программирования: Учеб. пособие для университетов [Текст] / Е.А.Жогелев, Н.П.Трофинов. - 3-е изд., испр. - М. : Наука, 1971. - 400 с. - 1.03 р.
УДК

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

Экземпляры всего: 1
2к (1)
Свободны: 2к (1)

51
Н25


    Ивс, Г.
    О математической логике и философии математики [Текст] : Начальные сведения об основаниях математики / И. Ивс, К.В. Ньюсом; Пер. с англ. Ф.Л. Вархаповского. - М. : Знание, 1968. - 48 с. - (Новое в жизни, науке, технике. Математика. Кибернетика ; вып.7). - 0.09 р.
УДК

Кл.слова (ненормированные):
Математика -- математическая логика -- философия математики -- основания математики -- символическая логика -- исчисление высказываний -- логики -- задачи


Доп.точки доступа:
Варпаховский, Ф.Л. \перевод.\
Экземпляры всего: 3
2к (3)
Свободны: 2к (3)

51
Д72


    Драбкина, М. Е.
    Логические упражнения по элементарной математике [Текст] : Учеб. пособие для матем. фак. пед. вузов / М. Е. Драбкина. - Минск : Высшая школа, 1965. - 160 с. - 0.28 р.
УДК

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

Экземпляры всего: 3
2к (3)
Свободны: 2к (3)