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

9150

12.02.2012, 16:29

Темы

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

bubu gaga

1351

25.08.2008, 17:29

bubu gaga

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

bubu gaga

921

18.08.2008, 13:10

AGu

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

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

14392

15.06.2008, 21:25

Heathy

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

MMyaf

1332

06.06.2008, 14:48

Taras

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

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

Ирина1

3430

25.05.2008, 14:04

Ирина1

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

Marrow

1856

24.05.2008, 13:19

Marrow

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

knkpro

843

23.05.2008, 21:41

Echo-Off

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

knkpro

1003

23.05.2008, 15:12

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

kdm

892

19.05.2008, 12:08

luitzen

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

Йцуке

2394

13.05.2008, 19:56

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

BpeDuHa

1560

12.05.2008, 10:53

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

Mikhail Sokolov

1497

24.04.2008, 15:55

ИСН

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

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

Amigo

7757

08.04.2008, 17:36

маткиб

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

enko

2798

20.02.2008, 20:53

Автомат

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

mastedm

8796

06.02.2008, 19:24

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

Vitamin

2718

28.01.2008, 23:27

нг

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

spectre

1335

28.01.2008, 16:24

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

1616

28.01.2008, 16:10

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

2424

27.01.2008, 20:45

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

teor

2271

25.01.2008, 14:18

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

1431

24.01.2008, 23:20

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

mastedm

1775

23.01.2008, 22:35

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

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

Михаиль

5130

23.01.2008, 00:29

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

Maviru

2875

21.01.2008, 18:14

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

Zlak

1731

05.01.2008, 16:30

lofar

Мат. лог

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

5312

27.12.2007, 14:20

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

HacTeHkA

1222

27.12.2007, 07:21

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

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

1630

24.12.2007, 13:25

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

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

143

50484

24.11.2007, 23:46

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

4072

22.10.2007, 09:42

Hymilev

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

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

Amigo

8706

21.10.2007, 17:15

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

SeverniyVeterok

2988

19.10.2007, 23:33

photon

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

Levon11

4221

15.10.2007, 23:34

luitzen

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

diff

4653

04.10.2007, 11:17

diff

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

epros

2222

19.09.2007, 15:27

epros

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

Посторонний

2099

15.09.2007, 02:50

Dan B-Yallay

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

Rif

2862

28.08.2007, 09:02

Rif

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

Mikhail Sokolov

4958

22.08.2007, 05:25

bot

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

АльфияР

4052

09.07.2007, 13:40

Lyoha

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

4998

28.05.2007, 18:30

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

2790

25.05.2007, 11:55

bot

Секвенция

3049

25.05.2007, 06:20

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

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

Dims

10055

25.05.2007, 02:20

Dims

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

Таня Тайс

5309

24.05.2007, 22:53

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

wovas

2641

20.05.2007, 23:31

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

Olympiya

3011

13.05.2007, 08:22

Olympiya

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

Ruslan_Sharipov

3102

12.05.2007, 12:31

Котофеич

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

elle

2758

19.04.2007, 19:54

elle

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

4895

03.04.2007, 21:30

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

epros

3810

02.04.2007, 18:39