Наверх
Обратно
8 800 250-06-18
  
Корзина пуста
x
Выбор города

Ваш город: Судоверфь ?

Ваш город: Судоверфьизменить )
Оплата и доставка
x
Ваш город: Судоверфь, вам доступны способы доставки:
  • отправка Почтой РФ (от 200 руб)
Вам доступны способы оплаты:
  • при получении заказа
  • предоплата: банковские карты, терминалы оплаты и многое другое
  • банковский перевод для физ. лиц
  • банковский перевод для юр. лиц
Вам нравится эта книга?  
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»

Abstract Algebraic Logic. An Introductory Textbook
Josep Maria Font

Добавить тэг
xАвторизуйтесь или зарегистрируйтесь на сайте, чтобы получить возможность добавлять тэги или проголосовать за понравившиеся  
Добавить тэги к книге
Abstract Algebraic Logic. An Introductory Textbook
Abstract Algebraic Logic. An Introductory Textbook
Josep Maria Font
Тэги помогают другим читателям выбирать товары, книги и быстро понимать, о чем они. Пожалуйста, поддержите имеющиеся тэги или добавьте свои.
Добавленные тэги
Добавить свои тэги
Мы модерируем тэги перед публикацией. Пожалуйста, наберитесь терпения.
Тэги — это описание книги или товара в одном-двух словах. Используйте их, чтобы помочь другим пользователям выбрать книги и товары

Нельзя
― нецензурно выражаться
― спойлерить
― вставлять ссылки
― писать личную информацию
— добавлять теги больше 25 символов
×
Вы можете заказать:
Подробнее о технологии 
Экономьте до 30% с бонусными баллами! При покупке вы получите
от 124 баллов
на свой бонусный счёт. Получить баллы и скидку
Вам доступны способы доставки:
  • отправка Почтой РФ (от 200 руб)
Способы оплаты

Описание

Abstract algebraic logic is the more general and abstract side of algebraic logic, the branch of mathematics that studies the connections between logics and their algebra-based semantics. This emerging subfield of mathematical logic consolidated since the 1980s, and is considered as the algebraic logic of the twenty-first century; as such it is increasingly becoming an indispensable tool to approach the algebraic study of any (mainly sentential) logic in a systematic way. This book is an introductory textbook on abstract algebraic logic, and takes a bottom-up approach, treating first logics with a simpler algebraic study, such as Rasiowa's implicative logics, and then guides readers, by means of successive steps of generalization and abstraction, to meet more and more complicated algebra-based semantics. An entire chapter is devoted to Blok and Pigozzi's theory of algebraizable logics, proving the main theorems and incorporating later developments by other scholars. After a chapter with the basics of the classical theory of matrices, one chapter is devoted to an in-depth exposition of the semantics of generalized matrices. There are also two more avanced chapters providing introductions to the two hierachies that organize the logical landscape according to the criteria of abstract algebraic logic, the Leibniz hierarchy and the Frege hierarchy. All throughout the book, particular care is devoted to the presentation and classification of dozens of examples of particular logics. The book is addressed to mathematicians and logicians with little or no previous exposure to algebraic logic. Some acquaintance with examples of non-classical logics is desirable in order to appreciate the extremely general theory. The book is written with students (or beginners in the field) in mind, and combines a textbook style in its main sections, including more than 400 carefully graded exercises, with a survey style in the exposition of some research directions. The book includes scattered historical notes and numerous bibliographic references.
далее Читать
Свернуть
   Читать далее
Год:2016
Страниц:554
ISBN:9781848902077
Формат:23.4cm x 15.6cm x 2.8cm
Код:pod 4638269
Авторы:Font, Josep
Тематика:Информатика

Мнения и отзывы

Написать отзыв
xАвторизуйтесь или зарегистрируйтесь на сайте, чтобы оставить отзыв и получить возможность заработать 15 бонусных баллов в бонусной программе
Оставить отзыв
Спасибо
за отзыв!
Отслеживать статус можно в
«Ваших отзывах».
Вернуться на страницу
Оставить отзыв
Abstract Algebraic Logic. An Introductory Textbook
Abstract Algebraic Logic. An Introductory Textbook
Josep Maria Font
 
Авторизуйтесь, чтобы оставить свой отзыв о товаре
Общее впечатление
Вам нравится эта книга?  
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
0 букв
Изображения

Отзыв длиной более 500 букв, который будет принят модератором, принесет вам 15 баллов для участия в нашей бонусной программе!

Отзыв должен быть уникальным и содержательным: нельзя копировать отзывы, мнения и информацию с других сайтов.

Не содержать нецензурную брань.

Отзыв должен относиться к товару, на который он написан.

Без спойлеров.

Мы не рекомендуем пересказ аннотации или содержания.

Нельзя указывать ссылки на сторонние ресурсы и email адреса

Назад к написанию отзыва
×

С товаром «Abstract Algebraic Logic. An Introductory Textbook» часто покупают

x

Если Вы обнаружили ошибку в описании товара «Abstract Algebraic Logic. An Introductory Textbook» Josep Maria Font, выделите её мышкой и нажмите: Ctrl+Enter. Спасибо!

Задать вопрос

Обращение создано

Номер и текст обращения уже отправили вам письмом на почту.

Ответ также отправим по почте.

x
x