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

8924

12.02.2012, 16:29

Темы

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

bubu gaga

1313

25.08.2008, 17:29

bubu gaga

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

bubu gaga

896

18.08.2008, 13:10

AGu

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

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

14091

15.06.2008, 21:25

Heathy

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

MMyaf

1312

06.06.2008, 14:48

Taras

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

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

Ирина1

3343

25.05.2008, 14:04

Ирина1

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

Marrow

1817

24.05.2008, 13:19

Marrow

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

knkpro

827

23.05.2008, 21:41

Echo-Off

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

knkpro

980

23.05.2008, 15:12

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

kdm

881

19.05.2008, 12:08

luitzen

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

Йцуке

2352

13.05.2008, 19:56

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

BpeDuHa

1542

12.05.2008, 10:53

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

Mikhail Sokolov

1471

24.04.2008, 15:55

ИСН

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

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

Amigo

7546

08.04.2008, 17:36

маткиб

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

enko

2772

20.02.2008, 20:53

Автомат

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

mastedm

8672

06.02.2008, 19:24

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

Vitamin

2694

28.01.2008, 23:27

нг

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

spectre

1321

28.01.2008, 16:24

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

1600

28.01.2008, 16:10

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

2390

27.01.2008, 20:45

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

teor

2249

25.01.2008, 14:18

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

1418

24.01.2008, 23:20

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

mastedm

1755

23.01.2008, 22:35

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

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

Михаиль

5076

23.01.2008, 00:29

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

Maviru

2838

21.01.2008, 18:14

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

Zlak

1711

05.01.2008, 16:30

lofar

Мат. лог

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

5269

27.12.2007, 14:20

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

HacTeHkA

1214

27.12.2007, 07:21

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

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

1613

24.12.2007, 13:25

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

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

143

50227

24.11.2007, 23:46

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

4038

22.10.2007, 09:42

Hymilev

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

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

Amigo

8655

21.10.2007, 17:15

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

SeverniyVeterok

2962

19.10.2007, 23:33

photon

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

Levon11

4186

15.10.2007, 23:34

luitzen

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

diff

4629

04.10.2007, 11:17

diff

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

epros

2212

19.09.2007, 15:27

epros

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

Посторонний

2091

15.09.2007, 02:50

Dan B-Yallay

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

Rif

2852

28.08.2007, 09:02

Rif

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

Mikhail Sokolov

4927

22.08.2007, 05:25

bot

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

АльфияР

4026

09.07.2007, 13:40

Lyoha

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

4961

28.05.2007, 18:30

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

2770

25.05.2007, 11:55

bot

Секвенция

3029

25.05.2007, 06:20

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

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

Dims

10003

25.05.2007, 02:20

Dims

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

Таня Тайс

5270

24.05.2007, 22:53

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

wovas

2621

20.05.2007, 23:31

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

Olympiya

2990

13.05.2007, 08:22

Olympiya

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

Ruslan_Sharipov

3094

12.05.2007, 12:31

Котофеич

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

elle

2739

19.04.2007, 19:54

elle

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

4857

03.04.2007, 21:30

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

epros

3781

02.04.2007, 18:39