2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки





Начать новую тему Ответить на тему На страницу Пред.  1 ... 3, 4, 5, 6, 7
 
 Re: Вопрос о физических моделях логики.
Сообщение14.03.2017, 14:21 


30/08/13
323
arseniiv в сообщении #1156887 писал(а):
Давайте всё-таки перейдём от этой беспощадной элементарности к нормальной математике. Есть понятие полного класса булевых функций — это такое множество булевых функций, композицией которых можно получить все. И есть теорема/критерий Поста, говорящая: класс полон, если и только если в него входит по хотя бы одной не сохраняющей ноль, не сохраняющей единицу, нелинейной, несамодвойственной, немонотонной функции (определения простые, их можно найти хотя бы в статье в ру-вики про критерий
). Во-первых, так можно полные классы печь как пирожки. Во-вторых, само понятие таково, что ни один полный класс не лучше другого априори, и нет ни надобности, ни пользы выделять какой-то в качестве «элементарного». Даже если захотеть класс из лишь одного элемента, их выйдет два — со стрелкой Пирса и со штрихом Шеффера (и немудрено: лемма: класс двойственных всем функциям полного класса функций полон), и ни один не лучше. В-третьих, стандартная терминология.

Замечательно.
Начиная с 1975года любой справочник по интегральным микросхемам содержал указанные серии микросхем, к примеру 155серия
Все правильно.

 Профиль  
                  
 
 Re: Вопрос о физических моделях логики.
Сообщение15.03.2017, 15:52 


23/02/12
1531
А что относится к математике? Число 155? Кроме призывов математики в теме нет.

 Профиль  
                  
 
 Re: Вопрос о физических моделях логики.
Сообщение16.03.2017, 10:03 


30/08/13
323
vicvolf в сообщении #1200621 писал(а):
А что относится к математике? Число 155? Кроме призывов математики в теме нет.
Замечательно.-это про математику , лучше чем arseniiv не сказать .
А 155-это серия микросхем , использовавшихся тогда и представлявших полный набор
реализации булевых функций: моделист-конструктор для ЦВМ.(Тема: "Вопрос о физических моделях логики.").
Схемы их аналогичны тем, что нарисовал Глубокоуважаемый Munin.
Странно то, что никто не сказал про оптимизацию схем , карты Карно и т.п. - это было давно,
лет 60 назад.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 93 ]  На страницу Пред.  1 ... 3, 4, 5, 6, 7

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group