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

6326

12.02.2012, 16:29

Темы

Счётность антицепи

bubu gaga

1149

25.08.2008, 17:29

bubu gaga

Несоразмерность показательного множества и аксиома выделения

bubu gaga

804

18.08.2008, 13:10

AGu

пустое множество

[ На страницу: 1, 2, 3, 4, 5 ]

12470

15.06.2008, 21:25

Heathy

множество sin(n), n=1,2... всюду плотно в [-1,1]

MMyaf

1217

06.06.2008, 14:48

Taras

Пустое множество --- это не "ничего".

[ На страницу: 1, 2 ]

Ирина1

2972

25.05.2008, 14:04

Ирина1

задача: множество Кантора гомеоморфно ожерелью Антуана

Marrow

1643

24.05.2008, 13:19

Marrow

Сравнить мощности множеств (числовых последовательностей)

knkpro

766

23.05.2008, 21:41

Echo-Off

Задача про порядковые типы

knkpro

894

23.05.2008, 15:12

Найти длину совершенной ДНФ

kdm

825

19.05.2008, 12:08

luitzen

Логика предикатов, проблема разрешимости

Йцуке

2205

13.05.2008, 19:56

Машина Тьюринга, Нахождение модуля разности чисел

BpeDuHa

1454

12.05.2008, 10:53

Мощность множества биекций интервала на себя

Mikhail Sokolov

1375

24.04.2008, 15:55

ИСН

Ряд вопросов по формальным аксиоматическим системам

[ На страницу: 1, 2 ]

Amigo

6699

08.04.2008, 17:36

маткиб

мощность декартова произведения бесконечных множеств

enko

2547

20.02.2008, 20:53

Автомат

[ На страницу: 1, 2, 3 ]

mastedm

8030

06.02.2008, 19:24

Математическая логика (сигнатуры...)

Vitamin

2563

28.01.2008, 23:27

нг

Математическая логика (упорядоченные множества...)

spectre

1261

28.01.2008, 16:24

Фильтрованное произведение

1533

28.01.2008, 16:10

фильтры и ультрафильтры

2249

27.01.2008, 20:45

Нумерация множеств

teor

2161

25.01.2008, 14:18

мощность множества ультрафильтров на счетном множестве

1358

24.01.2008, 23:20

Задача на полноту системы функций

mastedm

1668

23.01.2008, 22:35

теорема Райса

[ На страницу: 1, 2 ]

Михаиль

4785

23.01.2008, 00:29

Определить мощность: рациональные последовательности

Maviru

2680

21.01.2008, 18:14

Интерпретация сигнатуры

Zlak

1623

05.01.2008, 16:30

lofar

Мат. лог

[ На страницу: 1, 2 ]

5018

27.12.2007, 14:20

Разрешимые множества и машина Тьюринга

HacTeHkA

1180

27.12.2007, 07:21

незваный гость

Математическая логика, рекурсивное определение функции f...

1543

24.12.2007, 13:25

дискретная математика (множества)

[ На страницу: 1 ... 8, 9, 10 ]

143

47782

24.11.2007, 23:46

Окружности: Выяснить мощность множеств

3874

22.10.2007, 09:42

Hymilev

Мощность множеств

[ На страницу: 1, 2 ]

Amigo

8373

21.10.2007, 17:15

Нарисовать цифровую микросхему на основе логики (палиндром)

SeverniyVeterok

2847

19.10.2007, 23:33

photon

что такое "cut-free Gentzen ..." ?

Levon11

4032

15.10.2007, 23:34

luitzen

Помогите решить задачу по мат.логике.

diff

4463

04.10.2007, 11:17

diff

Ещё раз про парадокс Сколема

epros

2176

19.09.2007, 15:27

epros

Метод форсинга на пальцах можете объяснить?

Посторонний

2052

15.09.2007, 02:50

Dan B-Yallay

Примитивно и частично рекурсивные функции (вопросы)

Rif

2806

28.08.2007, 09:02

Rif

Симметричное транзитивное бинарное отношение

Mikhail Sokolov

4772

22.08.2007, 05:25

bot

биекция R->R в заданными свойствами

АльфияР

3911

09.07.2007, 13:40

Lyoha

Порядковые типы

4799

28.05.2007, 18:30

Формула сигнатуры

2687

25.05.2007, 11:55

bot

Секвенция

2946

25.05.2007, 06:20

Как логически записать, что можно и то и то?

[ На страницу: 1, 2 ]

Dims

9723

25.05.2007, 02:20

Dims

порядковые (трансфинитные) числа

Таня Тайс

5096

24.05.2007, 22:53

Доказательство "аксиомы Дедекинда"

wovas

2511

20.05.2007, 23:31

Мощности множеств (9 класс)

Olympiya

2900

13.05.2007, 08:22

Olympiya

Аксиомы Пеано и формальная логика.

Ruslan_Sharipov

3058

12.05.2007, 12:31

Котофеич

"рекурсивно счетная функция"

elle

2656

19.04.2007, 19:54

elle

утверждения об истинности самих себя (задача)

4698

03.04.2007, 21:30

как в аксиоматич. теории множеств выводится a \notin a

epros

3662

02.04.2007, 18:39