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

8506

12.02.2012, 16:29

Темы

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

bubu gaga

1258

25.08.2008, 17:29

bubu gaga

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

bubu gaga

864

18.08.2008, 13:10

AGu

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

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

13526

15.06.2008, 21:25

Heathy

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

MMyaf

1278

06.06.2008, 14:48

Taras

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

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

Ирина1

3223

25.05.2008, 14:04

Ирина1

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

Marrow

1756

24.05.2008, 13:19

Marrow

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

knkpro

811

23.05.2008, 21:41

Echo-Off

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

knkpro

955

23.05.2008, 15:12

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

kdm

868

19.05.2008, 12:08

luitzen

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

Йцуке

2306

13.05.2008, 19:56

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

BpeDuHa

1512

12.05.2008, 10:53

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

Mikhail Sokolov

1449

24.04.2008, 15:55

ИСН

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

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

Amigo

7301

08.04.2008, 17:36

маткиб

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

enko

2692

20.02.2008, 20:53

Автомат

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

mastedm

8486

06.02.2008, 19:24

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

Vitamin

2655

28.01.2008, 23:27

нг

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

spectre

1304

28.01.2008, 16:24

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

1578

28.01.2008, 16:10

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

2345

27.01.2008, 20:45

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

teor

2226

25.01.2008, 14:18

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

1400

24.01.2008, 23:20

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

mastedm

1725

23.01.2008, 22:35

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

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

Михаиль

4989

23.01.2008, 00:29

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

Maviru

2789

21.01.2008, 18:14

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

Zlak

1680

05.01.2008, 16:30

lofar

Мат. лог

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

5180

27.12.2007, 14:20

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

HacTeHkA

1205

27.12.2007, 07:21

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

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

1592

24.12.2007, 13:25

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

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

143

49255

24.11.2007, 23:46

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

4001

22.10.2007, 09:42

Hymilev

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

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

Amigo

8561

21.10.2007, 17:15

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

SeverniyVeterok

2926

19.10.2007, 23:33

photon

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

Levon11

4140

15.10.2007, 23:34

luitzen

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

diff

4570

04.10.2007, 11:17

diff

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

epros

2203

19.09.2007, 15:27

epros

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

Посторонний

2080

15.09.2007, 02:50

Dan B-Yallay

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

Rif

2838

28.08.2007, 09:02

Rif

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

Mikhail Sokolov

4882

22.08.2007, 05:25

bot

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

АльфияР

3992

09.07.2007, 13:40

Lyoha

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

4909

28.05.2007, 18:30

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

2745

25.05.2007, 11:55

bot

Секвенция

3004

25.05.2007, 06:20

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

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

Dims

9916

25.05.2007, 02:20

Dims

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

Таня Тайс

5218

24.05.2007, 22:53

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

wovas

2584

20.05.2007, 23:31

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

Olympiya

2960

13.05.2007, 08:22

Olympiya

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

Ruslan_Sharipov

3083

12.05.2007, 12:31

Котофеич

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

elle

2714

19.04.2007, 19:54

elle

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

4802

03.04.2007, 21:30

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

epros

3748

02.04.2007, 18:39