2014 dxdy logo

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

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




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


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

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

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


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

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


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

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

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



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

Сейчас этот форум просматривают: Stratim


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

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