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

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

Bibliographic Details
Main Author:	Линдон Р.
Language:	Russian
Published:	Москва, Мир, 1968
Series:	Современная математика. Популярная серия
Subjects:	логика исследование задачи формулы алгебра теоремы
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=194950

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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