Заметки по логике: пер. с англ.

Заметки по логике: пер. с англ.

Podrobná bibliografie
Hlavní autor:	Линдон Р.
Jazyk:	ruština
Vydáno:	Москва, Мир, 1968
Edice:	Современная математика. Популярная серия
Témata:	логика исследование задачи формулы алгебра теоремы
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=194950

Podobné jednotky

Математическая логика учебно-методическое пособие по укрупненной группе специальностей и направлений подготовки 44.03.05 – педагогическое образование с двумя профилями подготовки (профили: «математика и физика», «математика и информатика»)
Autor: Друшляк А. И.
Vydáno: (Севастополь, СевГУ, 2024)

Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике
Vydáno: (1983)

Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления
Autor: Верещагин Н. К
Vydáno: (Москва, МЦНМО, 2000)

Линейные неравенства
Autor: Черников С. Н. Сергей Николаевич
Vydáno: (Москва, Наука, 1968)

Алгебра и логика: сборник научных трудов
Vydáno: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Проектно-ориентированное обучение математической логике учебно-методическое пособие
Autor: Сангалова М. Е.
Vydáno: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2013)

Справочник по математике для научных работников и инженеров: пер. с англ.
Autor: Корн Г. А. Гранито А.
Vydáno: (Москва, Наука, 1974)

Справочник по математике для научных работников и инженеров; Определения, теоремы, формулы: пер. с англ.
Autor: Корн Г. А. Гранино
Vydáno: (Москва, Наука, 1973)

Учебник по логике
Autor: Гетманова А. Д. Александра Денисовна
Vydáno: (Москва, Владос, 1995)

Сборник задач по множествам, булевым функциям и математической логике учебное пособие
Autor: Дехтярь М. И.
Vydáno: (Тверь, ТвГУ, 2020)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
Autor: Игошин В. И. Владимир Иванович
Vydáno: (Москва, Академия, 2005)

Основы науки: трактат о логике и научном методе: пер. со второго англ. изд.
Autor: Джевонс У. С. Уильям Стэнли
Vydáno: (Санкт-Петербург, Издание Л. Ф. Пантелеева, 1881)

Первое знакомство с математической логикой
Autor: Депман И. Я. Иван Яковлевич
Vydáno: (Ленинград, Знание, 1965)

Математическая логика и булевы функции учебно-методическое пособие для обучающихся по дисциплине «дискретная математика» по направлению подготовки 09.03.03 прикладная информатика и 09.03.04 программная инженерия
Autor: Прокопенко Н. Ю.
Vydáno: (Нижний Новгород, ННГАСУ, 2021)

Справочник по математике для научных работников и инженеров; Определения, теоремы, формулы: пер. с англ.
Autor: Корн Г. А. Гранино
Vydáno: (Москва, Наука, 1970)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
Autor: Игошин В. И. Владимир Иванович
Vydáno: (Москва, Академия, 2006)

Решение задач математической логики с использованием элементарной алгебры
Autor: Коваленко С. И. Сергей Иванович
Vydáno: (Москва, Физматлит, 2004)

Задачи по теории множеств, математической логике и теории алгоритмов
Autor: Лавров И. А. Игорь Андреевич
Vydáno: (Москва, Физматлит, 2006)

Как же называется эта книга?: пер. с англ.
Autor: Смаллиан Р. М. Рэймонд М.
Vydáno: (Москва, Мир, 1981)

Комбинаторика: пер. с англ.
Autor: Холл М. Маршалл
Vydáno: (Москва, Мир, 1970)

Задачи и упражнения по логике: учебное пособие
Autor: Павлова К. Г. Клавдия Георгиевна
Vydáno: (Владивосток, Изд-во Дальневосточного ун-та, 1985)

Задачи по теории множеств, математической логике и теории алгоритмов
Autor: Лавров И. А. Игорь Андреевич
Vydáno: (Москва, Физматлит, 2002)

Задачи по теории множеств, математической логике и теории алгоритмов
Autor: Лавров И. А. Игорь Андреевич
Vydáno: (Наука, 1975)

Упражнения по логике: учебное пособие
Autor: Кириллов В. И. Вячеслав Иванович
Vydáno: (Москва, Юристъ, 1997)

Расходящиеся ряды: пер. с англ.
Autor: Харди Г.
Vydáno: (Москва, Изд-во иностранной литературы, 1951)

Лекции по математической логике: учебное пособие
Autor: Мощенский В. А. Владимир Андреевич
Vydáno: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Беседы о логике Монография
Autor: Новоселов М. М. Михаил Михайлович
Vydáno: (Москва, ИФ РАН, 2006)

Задачник по алгебре и элементарным функциям: учебное пособие
Autor: Кутепов А. К. Александр Кузьмич
Vydáno: (Москва, Высшая школа, 1969)

Математическая логика и автоматическое доказательство теорем: пер. с англ.
Autor: Чень Ч.
Vydáno: (Москва, Наука, 1983)

Булевы алгебры: пер. с англ.
Autor: Сикорский Р. Роман
Vydáno: (Москва, Мир, 1969)

Значение и необходимость. Исследование по семантике и модальной логике: пер. с англ.
Autor: Карнап Р. Рудольф
Vydáno: (Москва, Изд-во иностранной литературы, 1959)

Основания математики. Теория доказательств: пер. с нем.
Autor: Гилберт Д. Давид
Vydáno: (Москва, Наука, 1982)

Задачник по математической логике: учебное пособие
Autor: Горбатов В .А.
Vydáno: (Москва, Изд-во МЭИ, 1972)

Решение задач по планиметрии. Технология алгоритмического подхода на основе задач-теорем. Моделирование в среде Turbo Pascal
Autor: Зеленяк О. П.
Vydáno: (Москва, ДМК Пресс, 2009)

Алгебра логики в задачах
Autor: Гиндикин С. Г. Семен Григорьевич
Vydáno: (Москва, Наука, 1972)

Множества. Логика. Аксиоматические теории: пер. с англ.
Autor: Столл Р. Р. Роберт Р.
Vydáno: (Москва, Просвещение, 1968)

Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах
Autor: Вольфенгаген В. Э. Вячеслав Эрнстович
Vydáno: (Москва, Центр ЮрИнфоР, 2003)

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие
Vydáno: (СПб., Лань, 2008)

Справочник по математике для научных работников и инженеров; Определения, теоремы, формулы: пер. с англ.
Autor: Корн Г. А. Гранино
Vydáno: (Москва, Наука, 1968)

Математическая логика. Курс лекций и практических занятий: учебное пособие
Autor: Шапорев С. Д.
Vydáno: (СПб., БХВ-Петербург, 2005)